Nathalie Revol

Nathalie Revol, Götz Alefeld: Editorial. Computing 94(2-4): 95 (2012)

Pieter Collins, Milad Niqui, Nathalie Revol: A Validated Real Function Calculus. Mathematics in Computer Science 5(4): 437-467 (2011)

Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres: Handbook of Floating-Point Arithmetic. Birkhäuser 2010, isbn 978-0-8176-4704-9, pp. I-XXIII, 1-572

Hong Diep Nguyen, Nathalie Revol: High performance linear algebra using interval arithmetic. PASCO 2010: 171-172

Nathalie Revol: Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS 2010: 337-341

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

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

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Lecture Notes in Computer Science 5045, Springer 2008, isbn 978-3-540-85520-0

Marc Daumas, Nathalie Revol: Preface. Theor. Comput. Sci. 351(1): 1 (2006)

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

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

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Nathalie Revol, Kyoko Makino, Martin Berz: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebr. Program. 64(1): 135-154 (2005)

Nathalie Revol, Fabrice Rouillier: Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliable Computing 11(4): 275-290 (2005)

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

David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann: Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms 37(1-4): 367-375 (2004)

Nathalie Revol: Interval Newton Iteration in Multiple Precision for the Univariate Case. Numerical Algorithms 34(2-4): 417-426 (2003)

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

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

Nathalie Revol, Jean-Claude Yakoubsohn: Accelerated Shift-and-Add Algorithms. Reliable Computing 6(2): 193-205 (2000)

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

Benoît Planquelle, Jean-François Méhaut, Nathalie Revol: MC-PM²: Multi-Cluster Approach With PM². PDPTA 1999: 779-785

Nathalie Revol, Jean-Louis Roch: Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. 162(1): 133-150 (1996)