×

zbMATH — the first resource for mathematics

Meyer, Antoine

Compute Distance To:
Author ID: meyer.antoine Recent zbMATH articles by "Meyer, Antoine"
Published as: Meyer, Antoine
Homepage: http://igm.univ-mlv.fr/~ameyer/
Documents Indexed: 13 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 33 times in 31 Documents Cited by Year
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Counting CTL. Zbl 1284.03149
Laroussinie, François; Meyer, Antoine; Petonnet, Eudes
7
2010
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Symbolic reachability analysis of higher-order context-free processes. Zbl 1117.68395
Bouajjani, Ahmed; Meyer, Antoine
4
2004
Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049
Carayol, Arnaud; Meyer, Antoine
3
2006
On the complexity of membership and counting in height-deterministic pushdown automata. Zbl 1142.68424
Limaye, Nutan; Mahajan, Meena; Meyer, Antoine
3
2008
Traces of term-automatic graphs. Zbl 1149.68395
Meyer, Antoine
2
2008
Counting \(\mathsf {CTL}\). Zbl 1260.68233
Laroussinie, François; Meyer, Antoine; Petonnet, Eudes
1
2013
Counting \(\mathsf {CTL}\). Zbl 1260.68233
Laroussinie, François; Meyer, Antoine; Petonnet, Eudes
1
2013
Counting CTL. Zbl 1284.03149
Laroussinie, François; Meyer, Antoine; Petonnet, Eudes
7
2010
On the complexity of membership and counting in height-deterministic pushdown automata. Zbl 1142.68424
Limaye, Nutan; Mahajan, Meena; Meyer, Antoine
3
2008
Traces of term-automatic graphs. Zbl 1149.68395
Meyer, Antoine
2
2008
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049
Carayol, Arnaud; Meyer, Antoine
3
2006
Symbolic reachability analysis of higher-order context-free processes. Zbl 1117.68395
Bouajjani, Ahmed; Meyer, Antoine
4
2004

Citations by Year