Alexis Fouilh\'e (VERIMAG - IMAG)

Identifiers

• name variant Alexis Fouilh\'e (VERIMAG - IMAG) 0.60 · backfill

Papers (1)

1. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra cs.PL · 2013 · author #1

Mentions

• 1304.0864 #1 · backfill · confidence 0.70 Alexis Fouilh\'e (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers
• Micha\"el P\'erin (VERIMAG - Imag) 1 shared papers