Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Charles Duménil

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Related publications

Automated Inductive Verification of Parameterized Protocols?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Equational Theories and Database Constraints

1985English

Set Constraints in Some Equational Theories

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Linear Equational Theories and Semimodule Representations

International Journal of Algebra and Computation
Mathematics
1998English

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy