Isabelle Braems
发表
N. Jeremy Kasdin,
Isabelle Braems,
2003
.
Eric Walter,
Michel Kieffer,
Isabelle Braems,
2003
.
Bernard Legrand,
Isabelle Braems,
Fabienne Berthier,
2005
.
Eric Walter,
Luc Jaulin,
Isabelle Braems,
2002,
Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2003,
Numerical Software with Result Verification.
N. Jeremy Kasdin,
Isabelle Braems,
2006
.
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2001
.
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2000
.
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2001
.
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2001
.
Eric Walter,
Luc Jaulin,
Michel Kieffer,
2001
.