Nathalie Revol

	2008
16		Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Springer 2008
15		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
14		Florent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol: Digital Arithmetic. Wiley Encyclopedia of Computer Science and Engineering 2008
	2006
13		Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
12		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
11		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
10		Marc Daumas, Nathalie Revol: Preface. Theor. Comput. Sci. 351(1): 1 (2006)
	2005
9		Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol: A New Range-Reduction Algorithm. IEEE Trans. Computers 54(3): 331-339 (2005)
8		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)
7		Nathalie Revol, Fabrice Rouillier: Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliable Computing 11(4): 275-290 (2005)
	2003
6		Markus Grimmer, Knut Petras, Nathalie Revol: Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification 2003: 64-90
	2001
5		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
	2000
4		Nathalie Revol, Jean-Claude Yakoubsohn: Accelerated Shift-and-Add Algorithms. Reliable Computing 6(2): 193-205 (2000)
	1999
3		Benoît Planquelle, Jean-François Méhaut, Nathalie Revol: Multi-protocol Communications and High Speed Networks. Euro-Par 1999: 139-143
2		Benoît Planquelle, Jean-François Méhaut, Nathalie Revol: MC-PM2: Multi-Cluster Approach With PM2. PDPTA 1999: 779-785
	1996
1		Nathalie Revol, Jean-Louis Roch: Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. 162(1): 133-150 (1996)

Coauthor Index

1	Martin Berz	[8]
2	Nicolas Brisebarre	[9]
3	Marc Daumas	[10]
4	David Defour	[9]
5	Yves Denneulin	[5]
6	Florent de Dinechin	[14]
7	Milos D. Ercegovac	[14]
8	Markus Grimmer	[6]
9	Peter Hertling	[11] [12] [13] [16]
10	Christoph M. Hoffmann	[11] [12] [13] [16]
11	R. Baker Kearfott	[15]
12	Peter Kornerup	[9]
13	Wolfram Luther	[11] [12] [13] [16]
14	Kyoko Makino	[8]
15	Jean-François Méhaut	[2] [3] [5]
16	Jean-Michel Muller	[9] [14]
17	Knut Petras	[6]
18	Benoît Planquelle	[2] [3] [5]
19	John D. Pryce	[15]
20	Jean-Louis Roch	[1]
21	Fabrice Rouillier	[7]
22	Jean-Claude Yakoubsohn	[4]

Colors in the list of coauthors