Universit\'e Paris-Est

Identifiers

• name variant Universit\'e Paris-Est 0.60 · backfill

Papers (2)

1. Saturation algorithms for model-checking pushdown systems cs.FL · 2014 · author #2
2. Proceedings Workshop on Fixed Points in Computer Science cs.LO · 2013 · author #4

Mentions

• 1405.5593 #2 · backfill · confidence 0.70 Universit\'e Paris-Est
• 1308.5896 #4 · backfill · confidence 0.70 Universit\'e Paris-Est

Frequent Coauthors

• Arnaud Carayol (CNRS 1 shared papers
• Arnaud Carayol (LIGM 1 shared papers
• CNRS) 1 shared papers
• David Baelde (LSV 1 shared papers
• ENS Cachan) 1 shared papers
• Marne-la-Vall\'ee) 1 shared papers
• Matthew Hague (Department of Computer Science 1 shared papers
• Royal Holloway University of London) 1 shared papers