| Sollya: An environment for the development of numerical codes S Chevillard, M Joldeş, C Lauter Mathematical Software–ICMS 2010: Third International Congress on …, 2010 | 145 | 2010 |
| Efficient and accurate computation of upper bounds of approximation errors S Chevillard, J Harrison, M Joldeş, C Lauter Theoretical Computer Science 412 (16), 1523-1543, 2011 | 84 | 2011 |
| Fast and accurate computation of orbital collision probability for short-term encounters R Serra, D Arzelier, M Joldes, JB Lasserre, A Rondepierre, B Salvy Journal of Guidance, Control, and Dynamics 39 (5), 1009-1021, 2016 | 82 | 2016 |
| Fast and accurate computation of orbital collision probability for short-term encounters R Serra, D Arzelier, M Joldes, JB Lasserre, A Rondepierre, B Salvy Journal of Guidance, Control, and Dynamics 39 (5), 1009-1021, 2016 | 82 | 2016 |
| CAMPARY: Cuda multiple precision arithmetic library and applications M Joldes, JM Muller, V Popescu, W Tucker Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 64 | 2016 |
| Automatic generation of polynomial-based hardware architectures for function evaluation F De Dinechin, M Joldes, B Pasca ASAP 2010-21st IEEE International Conference on Application-specific Systems …, 2010 | 64 | 2010 |
| Chebyshev interpolation polynomial-based tools for rigorous computing N Brisebarre, M Joldeş Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010 | 57 | 2010 |
| Multiplicative square root algorithms for FPGAs F De Dinechin, M Joldes, B Pasca, G Revy 2010 International Conference on Field Programmable Logic and Applications …, 2010 | 42 | 2010 |
| Rigorous polynomial approximations and applications MM Joldes Ecole normale supérieure de lyon-ENS LYON, 2011 | 40 | 2011 |
| Arithmetic algorithms for extended precision using floating-point expansions M Joldeş, O Marty, JM Muller, V Popescu IEEE Transactions on Computers 65 (4), 1197-1210, 2015 | 37 | 2015 |
| A Coq formal proof of the Lax-Milgram theorem S Boldo, F Clément, F Faissole, V Martin, M Mayero Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 35 | 2017 |
| Tight and rigorous error bounds for basic building blocks of double-word arithmetic M Joldes, JM Muller, V Popescu ACM Transactions on Mathematical Software (TOMS) 44 (2), 1-27, 2017 | 33 | 2017 |
| Certified and fast computation of supremum norms of approximation errors S Chevillard, M Joldes, C Lauter 2009 19th IEEE Symposium on Computer Arithmetic, 169-176, 2009 | 27 | 2009 |
| Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories PRA Gilz, M Joldes, C Louembet, F Camps IFAC-PapersOnLine 50 (1), 7229-7234, 2017 | 25 | 2017 |
| Rigorous Polynomial Approximation Using Taylor Models in Coq N Brisebarre, M Joldeş, É Martin-Dorel, M Mayero, JM Muller, I Paşca, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 25 | 2012 |
| Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations F Bréhard, N Brisebarre, M Joldeş ACM Transactions on Mathematical Software (TOMS) 44 (4), 1-42, 2018 | 23 | 2018 |
| Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming M Joldes, JM Muller, V Popescu 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 27-34, 2017 | 23 | 2017 |
| Error analysis of some operations involved in the cooley-tukey fast fourier transform N Brisebarre, M Joldeş, JM Muller, AM Naneş, J Picot ACM Transactions on Mathematical Software (TOMS) 46 (2), 1-27, 2020 | 20 | 2020 |
| Stable model predictive strategy for rendezvous hovering phases allowing for control saturation PR Arantes Gilz, M Joldes, C Louembet, F Camps Journal of Guidance, Control, and Dynamics 42 (8), 1658-1675, 2019 | 20 | 2019 |
| Rigorous uniform approximation of D-finite functions using Chebyshev expansions A Benoit, M Joldeş, M Mezzarobba Mathematics of Computation 86 (305), 1303-1341, 2017 | 19 | 2017 |
