Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits). - Nathalie Revol (1994)

Parallel Evaluation of Arithmetic Circuits. - Nathalie Revol; Jean-Louis Roch (Theor. Comput. Sci., 1996)

Multi-protocol Communications and High Speed Networks. - Benoît Planquelle; Jean-François Méhaut; Nathalie Revol (Euro-Par, 1999)

MC-PM2: Multi-Cluster Approach With PM2. - Benoît Planquelle; Jean-François Méhaut; Nathalie Revol (PDPTA, 1999)

Accelerated Shift-and-Add Algorithms. - Nathalie Revol; Jean-Claude Yakoubsohn (Reliab. Comput., 2000)

A Methodology of Parallelization for Continuous Verified Global Optimization. - Nathalie Revol; Yves Denneulin; Jean-François Méhaut; Benoît Planquelle (PPAM, 2001)

Multiple Precision Interval Packages: Comparing Different Approaches. - Markus Grimmer; Knut Petras; Nathalie Revol (Numerical Software with Result Verification, 2003)

Interval Newton Iteration in Multiple Precision for the Univariate Case. - Nathalie Revol (Numer. Algorithms, 2003)

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. - David Defour; Guillaume Hanrot; Vincent Lefèvre; Jean-Michel Muller; Nathalie Revol; Paul Zimmermann (Numer. Algorithms, 2004)

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. - Nathalie Revol; Kyoko Makino; Martin Berz (J. Log. Algebraic Methods Program., 2005)

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. - Nathalie Revol; Fabrice Rouillier (Reliab. Comput., 2005)

A New Range-Reduction Algorithm. - Nicolas Brisebarre; David Defour; Peter Kornerup; Jean-Michel Muller; Nathalie Revol (IEEE Trans. Computers, 2005)

06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice. - Peter Hertling; Christoph M. Hoffmann; Wolfram Luther; Nathalie Revol (Reliable Implementation of Real Number Algorithms, 2006)

06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice. - Peter Hertling; Christoph M. Hoffmann; Wolfram Luther; Nathalie Revol (Reliable Implementation of Real Number Algorithms, 2006)

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

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. - R. Baker Kearfott; John D. Pryce; Nathalie Revol (Numerical Validation in Current Hardware Architectures, 2008)

Digital Arithmetic. - Florent de Dinechin; Milos D. Ercegovac; Jean-Michel Muller; Nathalie Revol (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Handbook of Floating-Point Arithmetic. - Jean-Michel Muller; Nicolas Brisebarre; Florent de Dinechin; Claude-Pierre Jeannerod; Vincent Lefèvre; Guillaume Melquiond; Nathalie Revol; Damien Stehlé; Serge Torres (Birkhäuser, 2010)

High performance linear algebra using interval arithmetic. - Hong Diep Nguyen; Nathalie Revol (PASCO, 2010)

Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. - Nathalie Revol (ICMS, 2010)

LEMA: towards a language for reliable arithmetic. - Vincent Lefèvre; Philippe Théveny; Florent de Dinechin; Claude-Pierre Jeannerod; Christophe Mouilleron; David Pfannholzer; Nathalie Revol (ACM Commun. Comput. Algebra, 2010)

Refining and verifying the solution of a linear system. - Hong Diep Nguyen; Nathalie Revol (SNC, 2011)

A Validated Real Function Calculus. - Pieter Collins; Milad Niqui; Nathalie Revol (Math. Comput. Sci., 2011)

Solving and Certifying the Solution of a Linear System. - Hong Diep Nguyen; Nathalie Revol (Reliab. Comput., 2011)

Editorial. - Nathalie Revol; Götz Alefeld (Computing, 2012)

Parallel Implementation of Interval Matrix Multiplication. - Nathalie Revol; Philippe Théveny (Reliab. Comput., 2013)

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. - Nathalie Revol; Philippe Théveny (IEEE Trans. Computers, 2014)

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. - Nathalie Revol (NSV@CAV, 2017)

Introduction to the Special Issue on Computer Arithmetic. - Javier Hormigo; Jean-Michel Muller; Stuart F. Oberman; Nathalie Revol; Arnaud Tisserand; Julio Villalba-Moreno (IEEE Trans. Computers, 2017)

Handbook of Floating-Point Arithmetic (2nd Ed.). - Jean-Michel Muller; Nicolas Brunie; Florent de Dinechin; Claude-Pierre Jeannerod; Mioara Joldes; Vincent Lefèvre; Guillaume Melquiond; Nathalie Revol; Serge Torres (Springer, 2018)

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. - Nathalie Revol; Luis Benet; Luca Ferranti; Sergei I. Zhilin (PPAM (2), 2022)

About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic. - Nathalie Revol (CoRR, 2023)

Affine Iterations and Wrapping Effect: Various Approaches. - Nathalie Revol (Acta Cybern., 2023)

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. - Luis Benet; Luca Ferranti; Nathalie Revol (Concurr. Comput. Pract. Exp., 2024)