Mioara Joldes
发表
Nicolas Brisebarre,
Florent Bréhard,
Mioara Joldes,
2018,
ACM Trans. Math. Softw..
Denis Arzelier,
Florent Bréhard,
Mioara Joldes,
2019,
2019 IEEE 26th Symposium on Computer Arithmetic (ARITH).
Jean-Michel Muller,
Olivier Marty,
Valentina Popescu,
2016,
IEEE Transactions on Computers.
Alexandre Benoit,
Mioara Joldes,
Marc Mezzarobba,
2014,
Math. Comput..
Nicolas Brisebarre,
Mioara Joldes,
Laurent Théry,
2012,
NASA Formal Methods.
M. Joldes,
Mioara Joldes,
2011
.
M. Joldes,
Mioara Joldes,
2011
.
Aude Rondepierre,
Denis Arzelier,
Romain Serra,
2016
.
Jean-Michel Muller,
Nicolas Brisebarre,
Florent de Dinechin,
2018
.
Mioara Maria Joldes,
M. Joldes,
Mioara Joldes,
2019
.
A Fast and Accurate Method to Compute the Probability of Orbital Collision for Short-term Encounters
J. Lasserre,
D. Arzelier,
Romain Serra,
2015
.
Florent de Dinechin,
Bogdan Pasca,
Guillaume Revy,
2010,
2010 International Conference on Field Programmable Logic and Applications.
Jean-Michel Muller,
Valentina Popescu,
Sylvie Boldo,
2017,
ITP.
Mioara Joldes,
2022,
ISSAC.
Mioara Joldes,
Christophe Louembet,
Frederic Camps,
2019,
Journal of Guidance, Control, and Dynamics.
Christophe Louembet,
Mioara Joldes,
Frédéric Camps,
2017
.
Florent de Dinechin,
Bogdan Pasca,
Mioara Joldes,
2010,
ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors.
Christoph Quirin Lauter,
Mioara Joldes,
Sylvain Chevillard,
2010,
ICMS.
Florent Bréhard,
Mioara Joldes,
J. B. Lasserre,
2019,
ISSAC.
Jean-Michel Muller,
Nicolas Brisebarre,
Mioara Joldes,
2020,
ACM Trans. Math. Softw..
J. Muller,
N. Brisebarre,
M. Joldes,
2018
.
Nicolas Brisebarre,
Florent de Dinechin,
Claude-Pierre Jeannerod,
2011
.
D. Arzelier,
M. Joldes,
Florent Bréhard,
2020,
Journal of Guidance Control and Dynamics.
B. Salvy,
D. Arzelier,
M. Masson,
2023
.
Aude Rondepierre,
Denis Arzelier,
Bruno Salvy,
2016
.
J. Lasserre,
B. Salvy,
D. Arzelier,
2015
.
Aude Rondepierre,
Denis Arzelier,
Bruno Salvy,
2014
.