| 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 | 24 | 2018 |
| Linearized impulsive fixed-time fuel-optimal space rendezvous: A new numerical approach D Arzelier, F Bréhard, N Deak, M Joldes, C Louembet, A Rondepierre, ... IFAC-PapersOnLine 49 (17), 373-378, 2016 | 19 | 2016 |
| On moment problems with holonomic functions F Bréhard, M Joldes, JB Lasserre Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 11 | 2019 |
| Exchange algorithm for evaluation and approximation error-optimized polynomials D Arzelier, F Bréhard, M Joldes 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH), 30-37, 2019 | 9 | 2019 |
| A certificate-based approach to formally verified approximations F Bréhard, A Mahboubi, D Pous 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 8 | 2019 |
| Validated semi-analytical transition matrix for linearized relative spacecraft dynamics via Chebyshev polynomials PR Arantes Gilz, F Bréhard, C Gazzino 2018 Space Flight Mechanics Meeting, 1960, 2018 | 8 | 2018 |
| Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem R Serra, D Arzelier, F Bréhard, M Joldes IAC 2018-69th International Astronautical Congress; IAF Astrodynamics …, 2018 | 7 | 2018 |
| Certified numerics in function spaces: Polynomial approximations meet computer algebra and formal proof F Bréhard | 6 | 2019 |
| Global Probability of Collision: Problem modeling via occupation measures D Arzelier, F Bréhard, M Joldes, JB Lasserre, L Martire, A Rondepierre LAAS/CNRS; CNES, 2019 | 5 | 2019 |
| Comment on “Series for Collision Probability in Short-Encounter Model” D Arzelier, F Bréhard, M Joldes Journal of Guidance, Control, and Dynamics 43 (5), 1034-1036, 2020 | 4 | 2020 |
| A Newton-like validation method for chebyshev approximate solutions of linear ordinary differential systems F Bréhard Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 2 | 2018 |
| A New Lower Bound on the Hilbert Number for Quartic Systems F Bréhard, N Brisebarre, M Joldes, W Tucker | | 2019 |
