Antoine Meyer

According to our database1, Antoine Meyer authored at least 12 papers between 2004 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Counting CTL
Logical Methods in Computer Science, 2012

2010
Counting LTL.
Proceedings of the TIME 2010, 2010

Counting CTL.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

2008
Winning Regions of Higher-Order Pushdown Games.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.
Proceedings of the Computer Science, 2008

2007
Traces of Term-Automatic Graphs.
Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

2006
Context-Sensitive Languages, Rational Graphs and Determinism.
Logical Methods in Computer Science, 2006

A Logic of Reachable Patterns in Linked Data-Structures.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
Graphes infinis de présentation finie. (Finitely Presented Infinite Graphs).
PhD thesis, 2005

Linearly Bounded Infinite Graphs.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004
Symbolic Reachability Analysis of Higher-Order Context-Free Processes.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

On Term Rewriting Systems Having a Rational Derivation.
Proceedings of the Foundations of Software Science and Computation Structures, 2004


  Loading...