Yohan Boichut
发表
Pierre Réty,
Yohan Boichut,
Vivien Pelletier,
2018,
WRLA@ETAPS.
Pierre-Cyrille Héam,
Yohan Boichut,
Yohan Boichut,
2008,
Inf. Process. Lett..
Fabrice Bouquet,
Bruno Legeard,
Calogero G. Zarba,
2005
.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2008,
Nord. J. Comput..
Jacques Chabin,
Pierre Réty,
Yohan Boichut,
2013,
RTA.
Thi-Bich-Hanh Dao,
Yohan Boichut,
Valérie Murat,
2011,
RP.
Jacques Chabin,
Pierre Réty,
Yohan Boichut,
2015,
LATA.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2009,
RP.
Laurent Vigneron,
Nikolai Kosmatov,
Yohan Boichut,
2006
.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2008,
RTA.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2006,
ICTAC.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2005,
CAV.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2008,
RP.
Yohan Boichut,
Olivier Heen,
Thomas Genet,
2007
.
Yohan Boichut,
Jean-Michel Couvreur,
Xavier Ferry,
2019,
VECoS.
Yohan Boichut,
Thomas Genet,
Luka Leroux,
2006
.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2005
.
Jacques Chabin,
Pierre Réty,
Yohan Boichut,
2019,
J. Comput. Syst. Sci..
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2009,
INFINITY.
Axel Legay,
Benoît Boyer,
Yohan Boichut,
2012,
ICFEM.
Yohan Boichut,
Thomas Genet,
T. Genet,
2006,
RTA.
Pierre Réty,
Yohan Boichut,
Vivien Pelletier,
2016,
WRLA.
Pierre-Etienne Moreau,
Yohan Boichut,
Thomas Genet,
2008,
AMAST.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2006
.
Olga Kouchnarenko,
Pierre-Cyrille Héam,
Yohan Boichut,
2009,
Int. J. Found. Comput. Sci..
Yohan Boichut,
Thomas P. Jensen,
Thomas Genet,
2007,
RTA.
Yohan Boichut,
Jean-Michel Couvreur,
Duy-Tùng Nguyên,
2011,
Int. J. Crit. Comput. Based Syst..