| 2024 | ARITH | Useful applications of correctly-rounded operators of the form ab + cd + e. | Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller |
| 2023 | ARITH | Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic. | Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
| 2023 | ARITH | Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform. | Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
| 2022 | ARITH | High-level algorithms for correctly-rounded reciprocal square roots. | Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller |
| 2021 | ARITH | $a \cdot(x\cdot\ x)$ or $(a\cdot x)\cdot x?$. | Jean-Michel Muller |
| 2020 | ACSSC | An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division. | James E. Stine, Milos D. Ercegovac, Jean-Michel Muller |
| 2020 | ARITH | Alternative Split Functions and Dekker's Product. | Stef Graillat, Vincent Lefvre, Jean-Michel Muller |
| 2020 | ARITH | Algorithms for Manipulating Quaternions in Floating-Point Arithmetic. | Mioara Joldes, Jean-Michel Muller |
| 2019 | ARITH | Accurate Complex Multiplication in Floating-Point Arithmetic. | Vincent Lefvre, Jean-Michel Muller |
| 2019 | ARITH | Semi-Automatic Implementation of the Complementary Error Function. | Anastasia Volkova, Jean-Michel Muller |
| 2018 | ARITH | A High Throughput Polynomial and Rational Function Approximations Evaluator. | Nicolas Brisebarre, George A. Constantinides, Milos Ercezovac, Silviu-Ioan Filip, Matei Istoan, Jean-Michel Muller |
| 2018 | ARITH | On Various Ways to Split a Floating-Point Number. | Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann |
| 2017 | ACSSC | On the relative error of computing complex square roots in floating-point arithmetic. | Claude-Pierre Jeannerod, Jean-Michel Muller |
| 2017 | ARITH | The Classical Relative Error Bounds for Computing Sqrt(a^2 + b^2) and c / sqrt(a^2 + b^2) in Binary Floating-Point Arithmetic are Asymptotically Optimal. | Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet |
| 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 | CAV | Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. | Arthur Blot, Jean-Michel Muller, Laurent Thry |
| 2017 | ITP | Formal Verification of a Floating-Point Expansion Renormalization Algorithm. | Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu |
| 2016 | ARITH | Computing floating-point logarithms with fixed-point operations. | Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller |
| 2016 | ARITH | A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions. | Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang |
| 2013 | ACSSC | Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic. | Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller |
| 2013 | ACSSC | Avoiding double roundings in scaled Newton-Raphson division. | Jean-Michel Muller |
| 2013 | ARITH | Comparison between Binary64 and Decimal64 Floating-Point Numbers. | Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter |
| 2013 | ARITH | On the Componentwise Accuracy of Complex Floating-Point Division with an FMA. | Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller |
| 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 |
| 2009 | ARITH | On the Computation of Correctly-Rounded Sums. | Peter Kornerup, Vincent Lefvre, Nicolas Louvet, Jean-Michel Muller |
| 2005 | ARITH | Some Functions Computable with a Fused-Mac. | Sylvie Boldo, Jean-Michel Muller |
| 2005 | ARITH | Correctly Rounded Multiplication by Arbitrary Precision Constants. | Nicolas Brisebarre, Jean-Michel Muller |
| 2005 | ARITH | Division by Constant for the ST100 DSP Microprocessor. | Jean-Michel Muller, Arnaud Tisserand, Benot Dupont de Dinechin, Christophe Monat |
| 2003 | ARITH | "Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods. | Jean-Michel Muller |
| 2001 | ARITH | Bounds on Runs of Zeros and Ones for Algebraic Functions. | Toms Lang, Jean-Michel Muller |
| 2001 | ARITH | Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. | Vincent Lefvre, Jean-Michel Muller |
| 2001 | ARITH | Faithful Powering Computation Using Table Look-Up and a Fused Accumulation Tree. | Jos-Alejandro Pieiro, Javier D. Bruguera, Jean-Michel Muller |
| 2001 | DSD | FPGA Implementation of a Faithful Polynomial Approximation for Powering Function Computation. | Jos-Alejandro Pieiro, Javier D. Bruguera, Jean-Michel Muller |
| 1997 | ARITH | Towards Correctly Rounded Transcendentals. | Vincent Lefvre, Arnaud Tisserand, Jean-Michel Muller |
| 1996 | EuroPar | On-Line Algorithms for Computing Exponentials and Logarithms. | Asger Munk Nielsen, Jean-Michel Muller |
| 1995 | ARITH | Semi-Logarithmic Number Systems. | Jean-Michel Muller, Arnaud Tisserand, Alexandre Scherbyna |
| 1994 | FPL | Implementing On Line Arithmetic on PAM. | Marc Daumas, Jean-Michel Muller, Jean Vuillemin |
| 1993 | ARITH | BKM: A new hardware algorithm for complex elementary functions. | Jean-Claude Bajard, Sylvanus Kla, Jean-Michel Muller |
| 1993 | ARITH | Fast evaluation of polynomials and inverses of polynomials. | Xavier Merrheim, Jean-Michel Muller, Hong-Jin Yeh |
| 1991 | CCC | Delays of on-line floating point operators in borrow-save representation. | Jean Duprat, Mario Fiallos Aguilar, Jean-Michel Muller, Hong-Jin Yeh |
| 1991 | CCC | On-line computing: a survey and some new results. | Jean-Michel Muller |
| 1989 | ARITH | Some results about on-line computation of functions. | Jean Duprat, Yvan Herreros, Jean-Michel Muller |
| 1989 | ARITH | JANUS, an on-line multiplier/divider for manipulating large numbers. | Alain Guyot, Yvan Herreros, Jean-Michel Muller |
| 1987 | ARITH | The FELIN arithmetic coprocessor chip. | Michel Cosnard, Alain Guyot, Bertrand Hochet, Jean-Michel Muller, Hassan Ouaouicha, P. Paul, Eytan Zysman |