Sylvie Boldo
发表
Sylvie Boldo,
Thi Minh Tuyen Nguyen,
S. Boldo,
2011,
Innovations in Systems and Software Engineering.
Sylvie Boldo,
Florian Faissole,
Vincent Tourneur,
2018,
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH).
Sylvie Boldo,
2004
.
Sylvie Boldo,
2015,
Electron. Notes Theor. Comput. Sci..
Sylvie Boldo,
Laurent Théry,
Marc Daumas,
2001,
ArXiv.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017,
Lecture Notes in Computer Science.
James Demmel,
William Kahan,
Guillaume Melquiond,
2008
.
Sylvie Boldo,
S. Boldo,
2006,
IJCAR.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
César A. Muñoz,
Sylvie Boldo,
S. Boldo,
2006,
SAC.
Alessandro Abate,
Sylvie Boldo,
S. Boldo,
2017
.
Guillaume Melquiond,
Sylvie Boldo,
2013
.
Sylvie Boldo,
2016,
NSV@CAV.
Jean-Michel Muller,
Sylvie Boldo,
2005,
17th IEEE Symposium on Computer Arithmetic (ARITH'05).
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2011,
ArXiv.
Sylvie Boldo,
Martin Langhammer,
2019
.
Guillaume Melquiond,
Xavier Leroy,
Jacques-Henri Jourdan,
2023,
Acta Numerica.
Jean-Michel Muller,
Valentina Popescu,
Sylvie Boldo,
2017,
ITP.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2018,
CICM.
Thibault Hilaire,
Sylvie Boldo,
Diane Gallois-Wong,
2020,
2020 IEEE 27th Symposium on Computer Arithmetic (ARITH).
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Sylvie Boldo,
S. Boldo,
2008,
IEEE Transactions on Computers.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2010,
ITP.
Sylvie Boldo,
Marc Daumas,
S. Boldo,
2004,
International Journal on Software Tools for Technology Transfer.
Jean-Michel Muller,
Sylvie Boldo,
2011,
IEEE Transactions on Computers.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2022
.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2006
.
Sylvie Boldo,
Marc Daumas,
2002,
Electron. Notes Theor. Comput. Sci..
Sylvie Boldo,
Marc Daumas,
2003,
Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.
Guillaume Melquiond,
Xavier Leroy,
Jacques-Henri Jourdan,
2014,
Journal of Automated Reasoning.
Vincent Martin,
François Clément,
Sylvie Boldo,
2017,
CPP.
Sylvie Boldo,
2014
.
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2015,
Math. Comput. Sci..
Claude Marché,
Sylvie Boldo,
S. Boldo,
2011,
Math. Comput. Sci..
Claude Marché,
Sylvie Boldo,
Nguyen Thi Minh Tuyen,
2010
.
Sylvie Boldo,
Ren-Cang Li,
Marc Daumas,
2007,
IEEE Transactions on Computers.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Sylvie Boldo,
S. Boldo,
2011,
2011 IEEE 20th Symposium on Computer Arithmetic.
Claude Marché,
Andrei Paskevich,
Jean-Christophe Filliâtre,
2011
.
Sylvie Boldo,
Marc Daumas,
2002
.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
Sylvie Boldo,
2010
.
Sylvie Boldo,
Thi Minh Tuyen Nguyen,
2010,
NASA Formal Methods.
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2015,
Mathematical Structures in Computer Science.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Guillaume Melquiond,
Sylvie Boldo,
2010
.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2017,
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).
Sylvie Boldo,
Ren-Cang Li,
Marc Daumas,
2003,
Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.
Sylvie Boldo,
2013,
2013 IEEE 21st Symposium on Computer Arithmetic.
Sylvie Boldo,
Marc Daumas,
2004,
Numerical Algorithms.
Sylvie Boldo,
S. Boldo,
2009,
ICALP.
Sylvie Boldo,
Pascal Cuoq,
Diane Gallois-Wong,
2020,
Numerical Algorithms.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2012,
Comput. Math. Appl..
Stef Graillat,
Sylvie Boldo,
Jean-Michel Muller,
2017,
ACM Trans. Math. Softw..
Sylvie Boldo,
2016
.
Sylvie Boldo,
2015,
ICFEM.
Jean-Michel Muller,
Sylvie Boldo,
Christoph Lauter,
2021,
IEEE Transactions on Computers.
Jean-Christophe Filliâtre,
Sylvie Boldo,
2007,
18th IEEE Symposium on Computer Arithmetic (ARITH '07).
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2012,
CPP.
Mariette Yvinec,
Jean-Daniel Boissonnat,
Frédéric Chazal,
2013
.
Sylvie Boldo,
2014
.
Sylvie Boldo,
S. Boldo,
2009,
IEEE Transactions on Computers.
Sylvie Boldo,
2014
.
Guillaume Melquiond,
Sylvie Boldo,
Catherine Lelay,
2013
.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
Sylvie Boldo,
2009,
Calculemus/MKM.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2020,
IEEE Transactions on Computers.
Guillaume Melquiond,
Sylvie Boldo,
2017
.
Sylvie Boldo,
2010
.
Guillaume Melquiond,
Sylvie Boldo,
2021,
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH).
Sylvie Boldo,
Florian Faissole,
Micaela Mayero,
2021,
Journal of Automated Reasoning.
Sylvie Boldo,
Franccois Cl'ement,
Louise Leclerc,
2022,
ArXiv.
Sylvie Boldo,
2009
.
Guillaume Melquiond,
Sylvie Boldo,
2005
.
César Muñoz,
Sylvie Boldo,
S. Boldo,
2006
.
Guillaume Melquiond,
Siegfried M. Rump,
Sylvie Boldo,
2009
.