Concepedia

Antoine Meyer

AM

4

Publications

107

Citations

4

H-Index

1997

Active since

Affiliations

Université Paris Cité(Current)

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Centre National de la Recherche Scientifique

Antoine Meyer is an author at Université Paris Cité specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationMathematical ProgrammingGamesBusinessStrategyManagement

Publications per year

1997–2010

4

Publications

4

Counting LTL

François Laroussinie, Antoine Meyer, Eudes Petonnet · 2010 · 35 citations · Full text

Logical Automaton, Engineering, Quantitative Extension +10

A logic of reachable patterns in linked data-structures

Greta Yorsh, Alexander Rabinovich, Mooly Sagiv et al. · The Journal of Logic and Algebraic Programming · 2007 · 30 citations · Full text

Database Theory, Engineering, Automated Reasoning +9

Winning Regions of Higher-Order Pushdown Games

Arnaud Carayol, Matthew Hague, Antoine Meyer et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 25 citations

Mathematical Programming, Engineering, Combinatorial Game +23

Intersection Statements for Systems of Sets

Walter Deuber, P. Erdös, David S. Gunderson et al. · Journal of Combinatorial Theory Series A · 1997 · 17 citations

Mathematical Programming, Engineering, Automated Reasoning +5

Rows per page

1–4 of 4