a person in the record
Nathalie Revol
French computer scientistborn 1967
Supervised 1 doctoral student at Ecole normale supérieure de lyon - ENS LYON; doctorate at Institut National Polytechnique de Grenoble - INPG in 1994 under Della Dora Jean; Wikidata names Jean Della Dora and Jean-Louis Roch as doctoral advisors and lists 3 doctoral students. Linked to Wikidata, ORCID, and 6 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
The thesis record names Della Dora Jean; Wikidata names Jean Della Dora and Jean-Louis Roch.
- cited by a thesis record
Della Dora Jean“Complexite de l'evaluation parallele des circuits arithmetiques”
1994 · Institut National Polytechnique de Grenoble - INPG · doctoral
Students1
- cited by a thesis record
Francisco Cháves“Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves”
2007 · Ecole normale supérieure de lyon - ENS LYON · doctoral
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordDella Dora Jeanstated by WikidataJean Della Dorastated by WikidataJean-Louis Roch
- 2 steps up
stated by WikidataNoël Gastinel
- 3 steps up
stated by WikidataJean Kuntzmann
- 4 steps up
stated by WikidataGeorges Valiron
Below them, within 3 steps, the record reaches 4 people: 1 cited by thesis records, 3 stated by Wikidata.
Theses1
- cited by a thesis record
Complexite de l'evaluation parallele des circuits arithmetiques
1994 · Institut National Polytechnique de Grenoble - INPG · doctoral · in French · the thesis's own page ›
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1996 to 2001worked
- from 2001
- undated
Works1
1994 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Complexite de l'evaluation parallele des circuits arithmetiques
1994 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Papers in OpenAlex122
1994most in 2009: 222026
writes on Numerical Methods and Algorithms, Mathematical and Computational Methods, Polynomial and algebraic computation, Logic, programming, and type systems, Formal Methods in Verification
- indexed by OpenAlex2009 · Birkhäuser Boston eBooks · 9 authorscited 460
- indexed by OpenAlex2018 · Springer eBooks · 9 authorscited 233
- indexed by OpenAlexcited 134
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
2005 · Reliable Computing · 2 authors - indexed by OpenAlexcited 86
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
2004 · The Journal of Logic and Algebraic Programming · 3 authors - indexed by OpenAlexcited 31
Multiple Precision Interval Packages: Comparing Different Approaches
2004 · Lecture notes in computer science · 3 authors - indexed by OpenAlex2005 · IEEE Transactions on Computers · 5 authorscited 30
- indexed by OpenAlexcited 30
Interval Newton Iteration in Multiple Precision for the Univariate Case
2003 · Numerical Algorithms · 1 author - indexed by OpenAlexcited 21
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic
2017 · Lecture notes in computer science · 1 author - indexed by OpenAlexcited 21
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
2014 · IEEE Transactions on Computers · 2 authors - indexed by OpenAlexcited 18
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008 · Lecture notes in computer science · 19 authors
the 25 most cited of 122
- indexed by OpenAlexcited 15
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
2004 · Numerical Algorithms · 6 authors - indexed by OpenAlexcited 12
- indexed by OpenAlex2011 · Mathematics in Computer Science · 3 authorscited 12
- indexed by OpenAlex2013 · 3 authorscited 10
- indexed by OpenAlex2011 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 authorscited 9
- indexed by OpenAlex2014 · ESAIM Proceedings and Surveys · 3 authorscited 8
- indexed by OpenAlex2002 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 authorscited 8
- indexed by OpenAlex1997 · HAL (Le Centre pour la Communication Scientifique Directe) · 11 authorscited 7
- indexed by OpenAlexcited 6
A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq
2010 · Data Archiving and Networked Services (DANS) · 3 authors - indexed by OpenAlexcited 6
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
2010 · Lecture notes in computer science · 1 author - indexed by OpenAlex1996 · Theoretical Computer Science · 2 authorscited 6
- indexed by OpenAlex2018 · Springer eBooks · 9 authorscited 5
- indexed by OpenAlex2010 · 2 authorscited 5
- indexed by OpenAlexcited 5
Computation of the error functions erf & erfc in arbitrary precision with correct rounding
2008 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 authors - indexed by OpenAlexcited 5
A Methodology of Parallelization for Continuous Verified Global Optimization
2002 · Lecture notes in computer science · 4 authors
Sat beside the lineage10
jury member, not advisor
- cited by a thesis record
Pierre Filiol“Hardware Acceleration of Interval Arithmetic in the RISC-V and Application to Mobile Robotics”
jury member · 2026 · ENSTA Bretagne - Brest · doctoral - cited by a thesis record
Maria Luiza Costa Vianna“A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot”
jury member · 2023 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Nuwan Herath Mudiyanselage“Fast high-resolution drawing of algebraic curves and surfaces”
jury member · 2023 · Université de Lorraine · doctoral - cited by a thesis record
Daria Pchelina“Densité des arrangements de disques et de sphères : aspects théoriques et computationnels de l’approche de densité locale”
jury member · 2023 · Université Paris-Nord - Paris XIII · doctoral - cited by a thesis record
Tiago Trevisan Jost“Compilation and optimizations for variable precision floating-Point arithmetic : from language and libraries to code generation”
jury member · 2021 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Andrea Bocco“A variable precision hardware acceleration for scientific computing”
jury member · 2020 · Université de Lyon · doctoral - cited by a thesis record
Romain Picot“Amélioration de la fiabilité numérique de codes de calcul industriels”
jury member · 2018 · Sorbonne Université · doctoral - cited by a thesis record
Philippe Theveny“Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors”
jury member · 2014 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Hong Diep Nguyen“Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic”
jury member · 2011 · Ecole normale supérieure de lyon - ENS LYON · doctoral - cited by a thesis record
Francisco Cháves“Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves”
jury member · 2007 · Ecole normale supérieure de lyon - ENS LYON · doctoral