Antoine Meyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDT | Designing and Comparing RPQ Semantics. | Victor Marsault, Antoine Meyer |
| 2010 | FOSSACS | Counting CTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | TIME | Counting LTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2008 | CSR | On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. | Nutan Limaye, Meena Mahajan, Antoine Meyer |
| 2008 | LICS | Winning Regions of Higher-Order Pushdown Games. | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
| 2007 | MFCS | Traces of Term-Automatic Graphs. | Antoine Meyer |
| 2006 | FOSSACS | A Logic of Reachable Patterns in Linked Data-Structures. | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
| 2005 | MFCS | Linearly Bounded Infinite Graphs. | Arnaud Carayol, Antoine Meyer |
| 2004 | FOSSACS | On Term Rewriting Systems Having a Rational Derivation. | Antoine Meyer |