Antoine Mercier

Affiliations:
  • LSV, CNRS & ENS Cachan, France


According to our database1, Antoine Mercier authored at least 2 papers between 2008 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Reducing Equational Theories for the Decision of Static Equivalence.
J. Autom. Reason., 2012

2008
Proving Group Protocols Secure Against Eavesdroppers.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008


  Loading...