Design of a fast validated dot product operation. - Marc Daumas; David W. Matula (IEEE Symposium on Computer Arithmetic, 1993)

Results of Parallel Implementations of the Selection Problem Using Sisal. - Marc Daumas; Paraskevas Evripidou (Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993)

Implementing On Line Arithmetic on PAM. - Marc Daumas; Jean-Michel Muller; Jean Vuillemin (FPL, 1994)

Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. - Marc Daumas; Christophe Mazenc; Xavier Merrheim; Jean-Michel Muller (J. Univers. Comput. Sci., 1995)

Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision. (Contributions to Computer Arithmetic: Towards a Control of Precision). - Marc Daumas (1996)

Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. - Marc Daumas; Françoise Bataille (PP, 1997)

Validated Roundings of Dot Products by Sticky Accumulation. - Marc Daumas; David W. Matula (IEEE Trans. Computers, 1997)

Multiplications of Floating Point Expansions. - Marc Daumas (IEEE Symposium on Computer Arithmetic, 1999)

Division of Floating Point Expansions with an Application to the Computation of a Determinant. - Marc Daumas; Claire Finot (J. Univers. Comput. Sci., 1999)

A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. - Marc Daumas; David W. Matula (ASAP, 2000)

Parallel Implementations of the Selection Problem: A Case Study. - Marc Daumas; Paraskevas Evripidou (Int. J. Parallel Program., 2000)

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. - Marc Daumas; Laurence Rideau; Laurent Théry (TPHOLs, 2001)

Computer validated proofs of a toolset for adaptable arithmetic - Sylvie Boldo; Marc Daumas; Claire Moreau-Finot; Laurent Théry (CoRR, 2001)

Compte rendu d'habilitation - Écrire les nombres autrement. - Marc Daumas (Tech. Sci. Informatiques, 2001)

Properties of the subtraction valid for any floating point system. - Sylvie Boldo; Marc Daumas (FMICS, 2002)

Representable Correcting Terms for Possibly Underflowing Floating Point Operations. - Sylvie Boldo; Marc Daumas (IEEE Symposium on Computer Arithmetic, 2003)

Theorems on Efficient Argument Reductions. - Ren-Cang Li; Sylvie Boldo; Marc Daumas (IEEE Symposium on Computer Arithmetic, 2003)

Additive symmetries: the non-negative case. - Marc Daumas; Philippe Langlois (Theor. Comput. Sci., 2003)

Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. - Marc Daumas; David W. Matula (J. VLSI Signal Process., 2003)

A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. - Sylvie Boldo; Marc Daumas (Numer. Algorithms, 2004)

Properties of two's complement floating point notations. - Sylvie Boldo; Marc Daumas (Int. J. Softw. Tools Technol. Transf., 2004)

Guaranteed Proofs Using Interval Arithmetic. - Marc Daumas; Guillaume Melquiond; César A. Muñoz (IEEE Symposium on Computer Arithmetic, 2005)

A library of Taylor models for PVS automatic proof checker - Francisco Cháves; Marc Daumas (CoRR, 2006)

Caractéristiques arithmétiques des processeurs graphiques - Marc Daumas; Guillaume Da Graça; David Defour (CoRR, 2006)

Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors - Marc Daumas; David R. Lester (CoRR, 2006)

Preface. - Marc Daumas; Nathalie Revol (Theor. Comput. Sci., 2006)

Graphic processors to speed-up simulations for the design of high performance solar receptors. - Caroline Collange; Marc Daumas; David Defour (ASAP, 2007)

Stochastic Formal Methods: An Application to Accuracy of Numeric Software. - Marc Daumas; David R. Lester (HICSS, 2007)

Formal proof for delayed finite field arithmetic using floating point operators - Marc Daumas; Pascal Giorgi (CoRR, 2007)

Line-by-line spectroscopic simulations on graphics processing units. - Caroline Collange; Marc Daumas; David Defour (Comput. Phys. Commun., 2008)

État de l'intégration de la virgule flottante dans les processeurs graphiques. - Caroline Collange; Marc Daumas; David Defour (Tech. Sci. Informatiques, 2008)

Using Graphics Processors for Parallelizing Hash-Based Data Carving. - Caroline Collange; Yoginder S. Dandass; Marc Daumas; David Defour (HICSS, 2009)

A Formal Theory of Cooperative TU-Games. - Marc Daumas; Érik Martin-Dorel; Annick Truffert; Michel Ventou (MDAI, 2009)

Stochastic Formal Methods for Hybrid Systems. - Marc Daumas; Érik Martin-Dorel; David R. Lester; Annick Truffert (NASA Formal Methods, 2009)

Formally Verified Argument Reduction with a Fused Multiply-Add. - Sylvie Boldo; Marc Daumas; Ren-Cang Li (IEEE Trans. Computers, 2009)

Verified Real Number Calculations: A Library for Interval Arithmetic. - Marc Daumas; David R. Lester; César A. Muñoz (IEEE Trans. Computers, 2009)

Barra: A Parallel Functional Simulator for GPGPU. - Caroline Collange; Marc Daumas; David Defour; David Parello (MASCOTS, 2010)

Improved bound for stochastic formal correctness of numerical algorithms. - Marc Daumas; David R. Lester; Érik Martin-Dorel; Annick Truffert (Innov. Syst. Softw. Eng., 2010)

Certification of bounds on expressions involving rounded operators. - Marc Daumas; Guillaume Melquiond (ACM Trans. Math. Softw., 2010)

Guest Editors' Introduction. - Vicenç Torra; Yasuo Narukawa; Marc Daumas (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011)

8th Conference on Real Numbers and Computers. - Marc Daumas; Javier D. Bruguera (Inf. Comput., 2012)

Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France. - Marc Daumas (HICSS, 2013)