Antoine Meyer

24 papers A* 1A 1B 5C 1Misc 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A conf
Designing and Comparing RPQ Semantics.
ICDT
Victor Marsault, Antoine Meyer
2026 J jnl
Designing and Comparing RPQ Semantics.
CoRR
Victor Marsault, Antoine Meyer
2024 — conf
Hybrid Parallel Tucker Decomposition of Streaming Data.
PASC
Saibal De, Hemanth Kolla, Antoine Meyer, Eric T. Phipps, Francesco Rizzi
2012 J jnl
Counting CTL
Log. Methods Comput. Sci.
François Laroussinie, Antoine Meyer, Eudes Petonnet
2010 B conf
Counting CTL.
FoSSaCS
François Laroussinie, Antoine Meyer, Eudes Petonnet
2010 C conf
Counting LTL.
TIME
François Laroussinie, Antoine Meyer, Eudes Petonnet
2009 J jnl
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.
J. Autom. Lang. Comb.
Nutan Limaye, Meena Mahajan, Antoine Meyer
2008 Misc conf
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.
CSR
Nutan Limaye, Meena Mahajan, Antoine Meyer
2008 J jnl
Traces of term-automatic graphs.
RAIRO Theor. Informatics Appl.
Antoine Meyer
2008 A* conf
Winning Regions of Higher-Order Pushdown Games.
LICS
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre
2007 J jnl
A Logic of Reachable Patterns in Linked Data-Structures
CoRR
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2007 J jnl
A logic of reachable patterns in linked data-structures.
J. Log. Algebraic Methods Program.
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2007 J jnl
Linearly bounded infinite graphs
CoRR
Arnaud Carayol, Antoine Meyer
2007 J jnl
On Term Rewriting Systems Having a Rational Derivation
CoRR
Antoine Meyer
2007 J jnl
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
CoRR
Ahmed Bouajjani, Antoine Meyer
2007 B conf
Traces of Term-Automatic Graphs.
MFCS
Antoine Meyer
2006 B conf
A Logic of Reachable Patterns in Linked Data-Structures.
FoSSaCS
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2006 J jnl
Context-Sensitive Languages, Rational Graphs and Determinism
CoRR
Arnaud Carayol, Antoine Meyer
2006 J jnl
Context-Sensitive Languages, Rational Graphs and Determinism.
Log. Methods Comput. Sci.
Arnaud Carayol, Antoine Meyer
2006 J jnl
Linearly bounded infinite graphs.
Acta Informatica
Arnaud Carayol, Antoine Meyer
2005 — —
Graphes infinis de présentation finie. (Finitely Presented Infinite Graphs).
Antoine Meyer
2005 B conf
Linearly Bounded Infinite Graphs.
MFCS
Arnaud Carayol, Antoine Meyer
2004 B conf
On Term Rewriting Systems Having a Rational Derivation.
FoSSaCS
Antoine Meyer
2004 — conf
Symbolic Reachability Analysis of Higher-Order Context-Free Processes.
FSTTCS
Ahmed Bouajjani, Antoine Meyer