Antoine Meyer

According to our database, Antoine Meyer authored at least 12 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Hybrid Parallel Tucker Decomposition of Streaming Data.

Saibal De, Hemanth Kolla, Antoine Meyer, Eric T. Phipps, Francesco Rizzi

Proceedings of the Platform for Advanced Scientific Computing Conference, 2024

2010

Counting LTL.

François Laroussinie, Antoine Meyer, Eudes Petonnet

Proceedings of the TIME 2010, 2010

Counting CTL.

François Laroussinie, Antoine Meyer, Eudes Petonnet

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2008

Winning Regions of Higher-Order Pushdown Games.

Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre

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.

Nutan Limaye, Meena Mahajan, Antoine Meyer

Proceedings of the Computer Science, 2008

2007

Traces of Term-Automatic Graphs.

Antoine Meyer

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

2006

Context-Sensitive Languages, Rational Graphs and Determinism.

Arnaud Carayol, Antoine Meyer

Log. Methods Comput. Sci., 2006

A Logic of Reachable Patterns in Linked Data-Structures.

Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Graphes infinis de présentation finie. (Finitely Presented Infinite Graphs).

Antoine Meyer

PhD thesis, 2005

Linearly Bounded Infinite Graphs.

Arnaud Carayol, Antoine Meyer

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

Symbolic Reachability Analysis of Higher-Order Context-Free Processes.

Ahmed Bouajjani, Antoine Meyer

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

On Term Rewriting Systems Having a Rational Derivation.

Antoine Meyer

Proceedings of the Foundations of Software Science and Computation Structures, 2004