Raffaella Gentilini
发表
Jean-François Raskin,
Emmanuel Filiot,
Rodica Bozianu,
2016
.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2014,
FSTTCS.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2015,
J. Log. Comput..
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2003,
SODA '03.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2012,
CILC.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2011,
CONCUR.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2003,
Journal of Automated Reasoning.
Raffaella Gentilini,
R. Gentilini,
2014,
ICIT 2014.
Klaus Schneider,
Raffaella Gentilini,
Alexander Dreyer,
2007,
MBMV.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2002,
Electron. Notes Theor. Comput. Sci..
Marc Demange,
Raffaella Gentilini,
David Ellison,
2019,
ICTCS.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2018,
LICS.
Szymon Torunczyk,
Jean-François Raskin,
Laurent Doyen,
2010,
CSL.
Alberto Policriti,
Raffaella Gentilini,
2003,
ISAAC.
Klaus Schneider,
Raffaella Gentilini,
Alexander Dreyer,
2007,
GLSVLSI '07.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2002,
TACAS.
Raffaella Gentilini,
2005
.
Jean-François Raskin,
Emmanuel Filiot,
Rodica Condurache,
2016,
ICALP.
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2007,
Algorithmica.
Raffaella Gentilini,
R. Gentilini,
2014,
CILC.
Klaus Schneider,
Kerstin Bauer,
Raffaella Gentilini,
2010,
International Journal on Software Tools for Technology Transfer.
Klaus Schneider,
Kerstin Bauer,
Raffaella Gentilini,
2009,
WoLLIC.
Raffaella Gentilini,
2005,
FORMATS.
Klaus Schneider,
Bud Mishra,
Raffaella Gentilini,
2007,
LFCS.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2012,
CONCUR.
Emmanuel Filiot,
Raffaella Gentilini,
Jean-Franccois Raskin,
2020,
ICALP.
Klaus Schneider,
Kerstin Bauer,
Raffaella Gentilini,
2008,
Electron. Notes Theor. Comput. Sci..
Andrea Formisano,
Flavio Vella,
Raffaella Gentilini,
2017,
IA3@SC.
Klaus Schneider,
Kerstin Bauer,
Raffaella Gentilini,
2008,
Haifa Verification Conference.
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2002,
WoLLIC.
Andrea Formisano,
Flavio Vella,
Raffaella Gentilini,
2021,
IEEE Transactions on Parallel and Distributed Systems.
Raffaella Gentilini,
2005,
Genome informatics. International Conference on Genome Informatics.