Travelled to:1 × Austria
1 × Cyprus
1 × Spain
1 × USA
Collaborated with:∅ F.Laroussinie E.Petonnet A.Carayol M.Hague C.L.Ong O.Serre G.Yorsh A.M.Rabinovich M.Sagiv A.Bouajjani
Talks about:structur (1) reachabl (1) pushdown (1) pattern (1) system (1) rewrit (1) region (1) ration (1) higher (1) order (1)
Person: Antoine Meyer
DBLP: Meyer:Antoine
Contributed to:
2010
200820062004Wrote 4 papers:
- FoSSaCS-2010-LaroussinieMP
- Counting CTL (FL, AM, EP), pp. 206–220.
- LICS-2008-CarayolHMOS #automaton #game studies #higher-order
- Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
- FoSSaCS-2006-YorshRSMB #linked data #logic #open data
- A Logic of Reachable Patterns in Linked Data-Structures (GY, AMR, MS, AM, AB), pp. 94–110.
- FoSSaCS-2004-Meyer #on the #term rewriting
- On Term Rewriting Systems Having a Rational Derivation (AM), pp. 378–392.