| 2026 | ISSAC | Fast and Reliable Evaluation of the Distribution of Quadratic Forms of Gaussian Random Variables. | Denis Arzelier, Florent Brhard, Mioara Joldes |
| 2024 | ARITH | Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. | Denis Arzelier, Florent Brhard, Mioara Joldes, Marc Mezzarobba |
| 2022 | ISSAC | Validated Numerics: Algorithms and Practical Applications in Aerospace. | Mioara Joldes |
| 2020 | ARITH | Algorithms for Manipulating Quaternions in Floating-Point Arithmetic. | Mioara Joldes, Jean-Michel Muller |
| 2019 | ARITH | Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials. | Denis Arzelier, Florent Brhard, Mioara Joldes |
| 2019 | ISSAC | On Moment Problems with Holonomic Functions. | Florent Brhard, Mioara Joldes, Jean-Bernard Lasserre |
| 2017 | ARITH | Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming. | Mioara Joldes, Jean-Michel Muller, Valentina Popescu |
| 2017 | ITP | Formal Verification of a Floating-Point Expansion Renormalization Algorithm. | Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu |
| 2011 | ARITH | 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 |
| 2010 | FPL | Multiplicative Square Root Algorithms for FPGAs. | Florent de Dinechin, Mioara Joldes, Bogdan Pasca, Guillaume Revy |
| 2010 | ISSAC | Chebyshev interpolation polynomial-based tools for rigorous computing. | Nicolas Brisebarre, Mioara Joldes |
| 2009 | ARITH | Certified and Fast Computation of Supremum Norms of Approximation Errors. | Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter |