Marc Daumas (ELIAUS)

Identifiers

• name variant Marc Daumas (ELIAUS) 0.60 · backfill

Papers (3)

1. Using Graphics Processors for Parallelizing Hash-based Data Carving cs.DC · 2009 · author #3
2. Formal proof for delayed finite field arithmetic using floating point operators cs.SC · 2007 · author #2
3. Stochastic Formal Methods for Hybrid Systems cs.MS · 2006 · author #1

Mentions

• 0901.1307 #3 · backfill · confidence 0.70 Marc Daumas (ELIAUS)

Frequent Coauthors

• Annick Truffert (LAMPS) 1 shared papers
• David Defour (ELIAUS) 1 shared papers
• David Lester (UNIVERSITY of Manchester) 1 shared papers
• Erik Martin-Dorel (ELIAUS 1 shared papers
• Lamps) 1 shared papers
• Pascal Giorgi (LIRMM) 1 shared papers
• Sylvain Collange (ELIAUS) 1 shared papers
• Sylvie Boldo (INRIA Futurs) 1 shared papers
• Yoginder Dandass (CSE) 1 shared papers