Antoine Mercier

LSV, CNRS & ENS de Cachan, France

other persons with the same name:

• Antoine Mercier - ECE, LACSC, France

	2012
3		Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reasoning 48(2): 197-217 (2012)
	2009
2		Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. ASIAN 2009: 94-108
	2008
1		Steve Kremer, Antoine Mercier, Ralf Treinen: Proving Group Protocols Secure Against Eavesdroppers. IJCAR 2008: 116-131

Coauthor Index

1	Steve Kremer	[1] [2] [3]
2	Ralf Treinen	[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page