Antoine Meyer

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 1

Top Venues

PASC

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Saibal De, Hemanth Kolla, Antoine Meyer, Eric T. Phipps, Francesco Rizzi
Hybrid Parallel Tucker Decomposition of Streaming Data. PASC (2024)
François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting CTL Log. Methods Comput. Sci. 9 (1) (2012)
François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting CTL. FoSSaCS (2010)
François Laroussinie, Antoine Meyer, Eudes Petonnet
Counting LTL. TIME (2010)
Nutan Limaye, Meena Mahajan, Antoine Meyer
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. J. Autom. Lang. Comb. 14 (3/4) (2009)
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre
Winning Regions of Higher-Order Pushdown Games. LICS (2008)
Nutan Limaye, Meena Mahajan, Antoine Meyer
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. CSR (2008)
Antoine Meyer
Traces of term-automatic graphs. RAIRO Theor. Informatics Appl. 42 (3) (2008)
Antoine Meyer
Traces of Term-Automatic Graphs. MFCS (2007)
Ahmed Bouajjani, Antoine Meyer
Symbolic Reachability Analysis of Higher-Order Context-Free Processes CoRR (2007)
Antoine Meyer
On Term Rewriting Systems Having a Rational Derivation CoRR (2007)
Arnaud Carayol, Antoine Meyer
Linearly bounded infinite graphs CoRR (2007)
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
A logic of reachable patterns in linked data-structures. J. Log. Algebraic Methods Program. 73 (1-2) (2007)
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
A Logic of Reachable Patterns in Linked Data-Structures CoRR (2007)
Arnaud Carayol, Antoine Meyer
Context-Sensitive Languages, Rational Graphs and Determinism. Log. Methods Comput. Sci. 2 (2) (2006)
Arnaud Carayol, Antoine Meyer
Linearly bounded infinite graphs. Acta Informatica 43 (4) (2006)
Arnaud Carayol, Antoine Meyer
Context-Sensitive Languages, Rational Graphs and Determinism CoRR (2006)
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
A Logic of Reachable Patterns in Linked Data-Structures. FoSSaCS (2006)
Arnaud Carayol, Antoine Meyer
Linearly Bounded Infinite Graphs. MFCS (2005)
Antoine Meyer
On Term Rewriting Systems Having a Rational Derivation. FoSSaCS (2004)
Ahmed Bouajjani, Antoine Meyer
Symbolic Reachability Analysis of Higher-Order Context-Free Processes. FSTTCS (2004)

Antoine Meyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antoine Meyer