Antoine Mercier

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Decision Process

Theorem Proving

Equational Theories

Top Venues

J. Autom. Reason.

Publications

Steve Kremer, Antoine Mercier, Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reason. 48 (2) (2012)
Steve Kremer, Antoine Mercier, Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence. ASIAN (2009)
Steve Kremer, Antoine Mercier, Ralf Treinen
Proving Group Protocols Secure Against Eavesdroppers. IJCAR (2008)