Certified and Fast Computation of Supremum Norms of Approximation Errors. - Sylvain Chevillard; Mioara Joldes; Christoph Quirin Lauter (IEEE Symposium on Computer Arithmetic, 2009)

Automatic generation of polynomial-based hardware architectures for function evaluation. - Florent de Dinechin; Mioara Joldes; Bogdan Pasca 001 (ASAP, 2010)

Multiplicative Square Root Algorithms for FPGAs. - Florent de Dinechin; Mioara Joldes; Bogdan Pasca 001; Guillaume Revy (FPL, 2010)

Sollya: An Environment for the Development of Numerical Codes. - Sylvain Chevillard; Mioara Joldes; Christoph Quirin Lauter (ICMS, 2010)

Chebyshev interpolation polynomial-based tools for rigorous computing. - Nicolas Brisebarre; Mioara Joldes (ISSAC, 2010)

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2). - Nicolas Brisebarre; Mioara Joldes; Peter Kornerup; Érik Martin-Dorel; Jean-Michel Muller (IEEE Symposium on Computer Arithmetic, 2011)

Efficient and accurate computation of upper bounds of approximation errors. - Sylvain Chevillard; J. Harrison; Mioara Joldes; Christoph Quirin Lauter (Theor. Comput. Sci., 2011)

Rigorous Polynomial Approximations and Applications. (Approximations polynomiales rigoureuses et applications). - Mioara Joldes (2011)

Rigorous Polynomial Approximation Using Taylor Models in Coq. - Nicolas Brisebarre; Mioara Joldes; Érik Martin-Dorel; Micaela Mayero; Jean-Michel Muller; Ioana Pasca; Laurence Rideau; Laurent Théry (NASA Formal Methods, 2012)

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration. - Mioara Joldes; Jean-Michel Muller; Valentina Popescu (ASAP, 2014)

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library. - Mioara Joldes; Valentina Popescu; Warwick Tucker (SIGARCH Comput. Archit. News, 2014)

Parallel floating-point expansions for extended-precision GPU computations. - Caroline Collange; Mioara Joldes; Jean-Michel Muller; Valentina Popescu (ASAP, 2016)

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. - Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker (ICMS, 2016)

Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions. - Mioara Joldes; Olivier Marty; Jean-Michel Muller; Valentina Popescu (IEEE Trans. Computers, 2016)

Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming. - Mioara Joldes; Jean-Michel Muller; Valentina Popescu (ARITH, 2017)

Formal Verification of a Floating-Point Expansion Renormalization Algorithm. - Sylvie Boldo; Mioara Joldes; Jean-Michel Muller; Valentina Popescu (ITP, 2017)

Rigorous uniform approximation of D-finite functions using Chebyshev expansions. - Alexandre Benoît; Mioara Joldes; Marc Mezzarobba (Math. Comput., 2017)

Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic. - Mioara Joldes; Jean-Michel Muller; Valentina Popescu (ACM Trans. Math. Softw., 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)

Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations. - Florent Bréhard; Nicolas Brisebarre; Mioara Joldes (ACM Trans. Math. Softw., 2018)

Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials. - Denis Arzelier; Florent Bréhard; Mioara Joldes (ARITH, 2019)

On Moment Problems with Holonomic Functions. - Florent Bréhard; Mioara Joldes; Jean-Bernard Lasserre (ISSAC, 2019)

Algorithms for Manipulating Quaternions in Floating-Point Arithmetic. - Mioara Joldes; Jean-Michel Muller (ARITH, 2020)

Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform. - Nicolas Brisebarre; Mioara Joldes; Jean-Michel Muller; Ana-Maria Nanes; Joris Picot (ACM Trans. Math. Softw., 2020)

Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. - Denis Arzelier; Florent Bréhard; Mioara Joldes; Jean B. Lasserre; S. Laurens; Aude Rondepierre (CDC, 2021)

Special Section on "Emerging and Impacting Trends on Computer Arithmetic". - Mioara Joldes; Fabrizio Lamberti; Alberto Nannarelli (IEEE Trans. Emerg. Top. Comput., 2021)

Efficient Floating-Point Implementation of the Probit Function on FPGAs. - Mioara Joldes; Bogdan Pasca 001 (J. Signal Process. Syst., 2021)

Validated Numerics: Algorithms and Practical Applications in Aerospace. - Mioara Joldes (ISSAC, 2022)

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. - Denis Arzelier; Florent Bréhard; Mioara Joldes; Marc Mezzarobba (ARITH, 2024)

Impulsive thrust collision avoidance for long-term space encounters. - Matthieu Masson; Christian Artigues; Denis Arzelier; Fabrizio Dabbene; Mioara Joldes; Martina Mammarella; Federica Paganelli Azza (CDC, 2024)

Efficient and Validated Numerical Evaluation of Abelian Integrals. - Florent Bréhard; Nicolas Brisebarre; Mioara Joldes; Warwick Tucker (ACM Trans. Math. Softw., 2024)

Optimization-aided construction of multivariate Chebyshev polynomials. - Mareike Dressler; Simon Foucart; Mioara Joldes; Etienne de Klerk; Jean B. Lasserre; Yuan Xu (J. Approx. Theory, 2025)