Antoine Meyer

Antoine Meyer

Université Gustave-Eiffel - Champs-sur-Marne / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4347015
Gustave Eiffel University
person_outline Antoine Meyer's MOST POPULAR ARTICLES
1-) A logic of reachable patterns in linked data-structuresG Yorsh, A Rabinovich, M Sagiv, A Meyer, A BouajjaniThe Journal of Logic and Algebraic Programming 73 (1-2), 111-142, 2007952007
2-) Counting LTLF Laroussinie, A Meyer, E PetonnetTIME 2010 - 17th International Symposium on Temporal Representation and …, 2010562010
3-) Winning regions of higher-order pushdown gamesA Carayol, M Hague, A Meyer, CHL Ong, O Serre2008 23rd Annual IEEE Symposium on Logic in Computer Science, 193-204, 2008442008
4-) Symbolic reachability analysis of higher-order context-free processesA Bouajjani, A MeyerFSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005422005
5-) Context-sensitive languages, rational graphs and determinismA Carayol, A MeyerLogical Methods in Computer Science 2 (2), 2006242006