Romain Demangeon
发表
Nobuko Yoshida,
Romain Demangeon,
N. Yoshida,
2015,
FSTTCS 2015.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2010,
CONCUR.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2015,
Formal Methods Syst. Des..
Davide Sangiorgi,
Naoki Kobayashi,
Daniel Hirschkoff,
2007,
TGC.
Romain Demangeon,
Kohei Honda,
2011,
CONCUR.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2008,
IFIP TCS.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2009,
FSEN.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2010,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2014,
Concurrent Objects and Beyond.
Laura Bocchi,
Romain Demangeon,
2013,
PLACES.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2009,
Semantics and Algebraic Specification.
Ugo Dal Lago,
Davide Sangiorgi,
Daniel Hirschkoff,
2010
.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2012
.
Nobuko Yoshida,
Romain Demangeon,
2018,
LICS.
Davide Sangiorgi,
Daniel Hirschkoff,
Romain Demangeon,
2011,
FSEN.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2013,
RV.
Laura Bocchi,
Nobuko Yoshida,
Romain Demangeon,
2013,
FMOODS/FORTE.
Laura Bocchi,
Nobuko Yoshida,
Romain Demangeon,
2012,
TGC.
Romain Demangeon,
Kohei Honda,
Kohei Honda,
2012,
CONCUR.
Nobuko Yoshida,
Romain Demangeon,
2015,
FSTTCS.
Laura Bocchi,
Romain Demangeon,
Nobuko Yoshida,
2017,
Theor. Comput. Sci..