# Antoine Meyer

According to our database

Collaborative distances:

^{1}, 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