Guillaume Melquiond (INRIA Saclay - Ile de France

Identifiers

• name variant Guillaume Melquiond (INRIA Saclay - Ile de France 0.60 · backfill

Papers (3)

1. Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program cs.LO · 2011 · author #8
2. Formal Proof of a Wave Equation Resolution Scheme: the Method Error cs.LO · 2010 · author #8
3. Formal Proof of a Wave Equation Resolution Scheme: the Method Error cs.LO · 2010 · author #8

Mentions

• 1112.1795 #8 · backfill · confidence 0.70 Guillaume Melquiond (INRIA Saclay - Ile de France
• 1005.0824 #8 · backfill · confidence 0.70 Guillaume Melquiond (INRIA Saclay - Ile de France
• 1001.4898 #8 · backfill · confidence 0.70 Guillaume Melquiond (INRIA Saclay - Ile de France

Frequent Coauthors

• Jean-Christophe Filli\^atre (INRIA Saclay - Ile de France 3 shared papers
• LRI) 3 shared papers
• Micaela Mayero (LIPN 3 shared papers
• Pierre Weis (INRIA Rocquencourt) 3 shared papers
• Sylvie Boldo (INRIA Saclay - Ile de France 3 shared papers
• Fran\c{c}ois Cl\'ement (INRIA Rocquencourt) 2 shared papers
• INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 2 shared papers
• Francois Clement (INRIA Rocquencourt) 1 shared papers
• INRIA Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 1 shared papers