Romain Brenguier
发表
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
J. Raskin,
A. Pauly,
Romain Brenguier,
2018
.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2015,
Log. Methods Comput. Sci..
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Romain Brenguier,
Romain Brenguier,
2016,
FoSSaCS.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Romain Brenguier,
Romain Brenguier,
2013,
ArXiv.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2010,
FORMATS.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2010,
CONCUR.
Jean-François Raskin,
Romain Brenguier,
Franck Cassez,
2014,
HSCC.
Jean-François Raskin,
Romain Brenguier,
Mathieu Sassolas,
2013,
CSL-LICS.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2015,
CAV.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2012,
FoSSaCS.
Romain Brenguier,
Romain Brenguier,
2013,
CAV.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2011,
FSTTCS.
Romain Brenguier,
Stefan Göller,
Ocan Sankur,
2012,
CONCUR.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
D. Kroening,
L. Cordeiro,
Romain Brenguier,
2023,
ArXiv.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2014
.