Pierre Weis (INRIA Rocquencourt)

Identifiers

• name variant Pierre Weis (INRIA Rocquencourt) 0.60 · backfill

Papers (6)

1. Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program cs.LO · 2011 · author #10
2. Image Segmentation with Multidimensional Refinement Indicators math.NA · 2010 · author #5
3. Formal Proof of a Wave Equation Resolution Scheme: the Method Error cs.LO · 2010 · author #10
4. Formal Proof of a Wave Equation Resolution Scheme: the Method Error cs.LO · 2010 · author #10
5. On the implementation of construction functions for non-free concrete data types cs.LO · 2007 · author #3
6. The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization math.NA · 2006 · author #3

Mentions

• 1011.2292 #5 · arxiv_oai · confidence 0.70 Pierre Weis (INRIA Rocquencourt)
• math/0606747 #3 · arxiv_oai · confidence 0.70 Pierre Weis (INRIA Rocquencourt)
• 1112.1795 #10 · backfill · confidence 0.70 Pierre Weis (INRIA Rocquencourt)
• 1011.2292 #5 · backfill · confidence 0.70 Pierre Weis (INRIA Rocquencourt)
• 1005.0824 #10 · backfill · confidence 0.70 Pierre Weis (INRIA Rocquencourt)
• 1001.4898 #10 · backfill · confidence 0.70 Pierre Weis (INRIA Rocquencourt)

Frequent Coauthors

• Fran\c{c}ois Cl\'ement (INRIA Rocquencourt) 3 shared papers
• Guillaume Melquiond (INRIA Saclay - Ile de France 3 shared papers
• Jean-Christophe Filli\^atre (INRIA Saclay - Ile de France 3 shared papers
• LRI) 3 shared papers
• Micaela Mayero (LIPN 3 shared papers
• Sylvie Boldo (INRIA Saclay - Ile de France 3 shared papers
• Guy Chavent (INRIA Rocquencourt) 2 shared papers
• INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 2 shared papers
• Francois Cl\'ement (INRIA Rocquencourt) 1 shared papers
• Francois Clement (INRIA Rocquencourt) 1 shared papers
• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 1 shared papers
• Hend Ben Ameur (LAMSIN 1 shared papers
• Hend Ben Ameur (LAMSIN) 1 shared papers
• INRIA Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 1 shared papers
• INRIA Rocquencourt) 1 shared papers
• Th\'er\`ese Hardin (LIP6) 1 shared papers