| 2024 | ARITH | An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy. | Vincent Lefvre |
| 2020 | ARITH | Alternative Split Functions and Dekker's Product. | Stef Graillat, Vincent Lefvre, Jean-Michel Muller |
| 2020 | WiMob | A Smart Grid WSN Research Testbed. | Farah Abdel Khalek, Jad Nassar, Vincent Lefvre, Flovic Gosselin, Nicolas Gouvy |
| 2019 | ARITH | Accurate Complex Multiplication in Floating-Point Arithmetic. | Vincent Lefvre, Jean-Michel Muller |
| 2017 | ARITH | Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. | Vincent Lefvre, Paul Zimmermann |
| 2016 | ARITH | Correctly Rounded Arbitrary-Precision Floating-Point Summation. | Vincent Lefvre |
| 2013 | ARITH | SIPE: Small Integer Plus Exponent. | Vincent Lefvre |
| 2009 | ARITH | On the Computation of Correctly-Rounded Sums. | Peter Kornerup, Vincent Lefvre, Nicolas Louvet, Jean-Michel Muller |
| 2007 | ARITH | Worst Cases of a Periodic Function for Large Arguments. | Guillaume Hanrot, Vincent Lefvre, Damien Stehl, Paul Zimmermann |
| 2005 | ARITH | New Results on the Distance between a Segment and Z | Vincent Lefvre |
| 2003 | ARITH | Worst Cases and Lattice Reduction. | Damien Stehl, Vincent Lefvre, Paul Zimmermann |
| 2001 | ARITH | Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. | Vincent Lefvre, Jean-Michel Muller |
| 2000 | PDPTA | Constant Multipliers for FPGAs. | Florent de Dinechin, Vincent Lefvre |
| 1997 | ARITH | Towards Correctly Rounded Transcendentals. | Vincent Lefvre, Arnaud Tisserand, Jean-Michel Muller |