Alain Finkel (LSV

Identifiers

• name variant Alain Finkel (LSV 0.60 · backfill

Papers (3)

1. Forward Analysis for WSTS, Part II: Complete WSTS cs.LO · 2012 · author #1
2. Model Checking Vector Addition Systems with one zero-test cs.DM · 2012 · author #5
3. Bounded Parikh Automata cs.FL · 2011 · author #3

Mentions

• 1208.4549 #1 · backfill · confidence 0.70 Alain Finkel (LSV
• 1205.4458 #5 · backfill · confidence 0.70 Alain Finkel (LSV
• 1108.3625 #3 · backfill · confidence 0.70 Alain Finkel (LSV

Frequent Coauthors

• CNRS 2 shared papers
• ENS Cachan 2 shared papers
• CNRS) 1 shared papers
• ENS Cachan & CNRS) 1 shared papers
• France 1 shared papers
• France) 1 shared papers
• INRIA) 1 shared papers
• Jean Goubault-Larrecq (LSV 1 shared papers
• J\'er\^ome Leroux (LaBRI 1 shared papers
• LaBRI 1 shared papers
• Marc Zeitoun (LSV 1 shared papers
• Micha\"el Cadilhac (DIRO 1 shared papers
• Pierre McKenzie (DIRO 1 shared papers
• R\'emi Bonnet (LSV 1 shared papers
• Universit\'e de Bordeaux 1 shared papers
• Universit\'e de Montr\'eal) 1 shared papers