Antoine Meyer (LIAFA)

Identifiers

• name variant Antoine Meyer (LIAFA) 0.60 · backfill

Papers (4)

1. Symbolic Reachability Analysis of Higher-Order Context-Free Processes cs.LO · 2007 · author #2
2. On Term Rewriting Systems Having a Rational Derivation cs.LO · 2007 · author #1
3. A Logic of Reachable Patterns in Linked Data-Structures cs.LO · 2007 · author #4
4. Linearly bounded infinite graphs cs.LO · 2007 · author #2

Mentions

• 0705.4064 #1 · backfill · confidence 0.70 Antoine Meyer (LIAFA)
• 0705.3888 #2 · backfill · confidence 0.70 Antoine Meyer (LIAFA)
• 0705.3610 #4 · backfill · confidence 0.70 Antoine Meyer (LIAFA)
• 0705.3487 #2 · backfill · confidence 0.70 Antoine Meyer (LIAFA)

Frequent Coauthors

• Ahmed Bouajjani (LIAFA) 2 shared papers
• Alexander Rabinovich 1 shared papers
• Arnaud Carayol (IRISA) 1 shared papers
• Greta Yorsh 1 shared papers
• Mooly Sagiv 1 shared papers