INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme)

Identifiers

• name variant INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 0.60 · backfill

Papers (4)

1. Faster Algorithms for Multivariate Interpolation with Multiplicities and Simultaneous Polynomial Approximations cs.IT · 2014 · author #3
2. Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program cs.LO · 2011 · author #7
3. Dynamic Fractional Resource Scheduling vs. Batch Scheduling cs.DC · 2011 · author #3
4. Formal Proof of a Wave Equation Resolution Scheme: the Method Error cs.LO · 2010 · author #7

Mentions

• 1402.0643 #3 · backfill · confidence 0.70 INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme)
• 1112.1795 #7 · backfill · confidence 0.70 INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme)
• 1106.4985 #3 · backfill · confidence 0.70 INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme)
• 1005.0824 #7 · backfill · confidence 0.70 INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme)

Frequent Coauthors

• Guillaume Melquiond (INRIA Saclay - Ile de France 2 shared papers
• Jean-Christophe Filli\^atre (INRIA Saclay - Ile de France 2 shared papers
• LRI) 2 shared papers
• Micaela Mayero (LIPN 2 shared papers
• Pierre Weis (INRIA Rocquencourt) 2 shared papers
• Sylvie Boldo (INRIA Saclay - Ile de France 2 shared papers
• Claude-Pierre Jeannerod (LIP 1 shared papers
• Eric Schost (ORCCA) 1 shared papers
• Fran\c{c}ois Cl\'ement (INRIA Rocquencourt) 1 shared papers
• Francois Clement (INRIA Rocquencourt) 1 shared papers
• Fr\'ed\'eric Vivien (LIP 1 shared papers
• Gilles Villard (LIP 1 shared papers
• Henri Casanova (CoRG) 1 shared papers
• LIP 1 shared papers
• Mark Stillwell (LIP 1 shared papers
• Muhammad F. I. Chowdhury (ORCCA) 1 shared papers
• Vincent Neiger (ORCCA 1 shared papers