Alois Dreyfus (INRIA Nancy - Grand Est / LORIA / LIFC

Identifiers

• name variant Alois Dreyfus (INRIA Nancy - Grand Est / LORIA / LIFC 0.60 · backfill

Papers (1)

1. Enhancing Approximations for Regular Reachability Analysis cs.FL · 2013 · author #1

Mentions

• 1311.6605 #1 · backfill · confidence 0.70 Alois Dreyfus (INRIA Nancy - Grand Est / LORIA / LIFC

Frequent Coauthors

• FEMTO-ST) 1 shared papers
• Olga Kouchnarenko (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• UMR 6174) 1 shared papers