J\'er\^ome Leroux (LaBRI

Identifiers

• name variant J\'er\^ome Leroux (LaBRI 0.60 · backfill

Papers (3)

1. Vector Addition System Reversible Reachability Problem cs.LO · 2013 · author #1
2. Reachability Analysis of Communicating Pushdown Systems cs.LO · 2012 · author #5
3. Model Checking Vector Addition Systems with one zero-test cs.DM · 2012 · author #9

Mentions

• 1301.4874 #1 · backfill · confidence 0.70 J\'er\^ome Leroux (LaBRI
• 1209.0359 #5 · backfill · confidence 0.70 J\'er\^ome Leroux (LaBRI
• 1205.4458 #9 · backfill · confidence 0.70 J\'er\^ome Leroux (LaBRI

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• Universit\'e de Bordeaux 2 shared papers
• Alain Finkel (LSV 1 shared papers
• Alexander Heussner (LaBRI 1 shared papers
• Anca Muscholl (LaBRI 1 shared papers
• CNRS) 1 shared papers
• ENS Cachan 1 shared papers
• France 1 shared papers
• Gr\'egoire Sutre (LaBRI 1 shared papers
• LaBRI 1 shared papers
• Marc Zeitoun (LSV 1 shared papers
• R\'emi Bonnet (LSV 1 shared papers