Elena Giachino
发表
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2015,
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Viviana Bono,
Elena Giachino,
Ferruccio Damiani,
2008,
IFIP TCS.
Cosimo Laneve,
Elena Giachino,
Elena Giachino,
2011,
FMOODS/FORTE.
Frank S. de Boer,
Marcello M. Bonsangue,
Reiner Hähnle,
2012,
Lecture Notes in Computer Science.
Cosimo Laneve,
Davide Sangiorgi,
Michael Lienhardt,
2015
.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2009,
PPDP '09.
Cosimo Laneve,
Elena Giachino,
Elena Giachino,
2014,
ISoLA.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2009,
Theor. Comput. Sci..
Sophia Drossopoulou,
Elena Giachino,
Susan Eisenbach,
2009
.
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sara Capecchi,
2008,
Concurrency, Graphs and Models.
Nobuko Yoshida,
Elena Giachino,
Sara Capecchi,
2010,
FSTTCS.
Cosimo Laneve,
Einar Broch Johnsen,
Ka I Pun,
2015,
FACS.
Cosimo Laneve,
Michael Lienhardt,
Elena Giachino,
2015,
Software & Systems Modeling.
Sophia Drossopoulou,
Paola Giannini,
Elena Giachino,
2008,
Acta Informatica.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2008
.
Cosimo Laneve,
Elena Giachino,
2014,
SFM.
Paola Giannini,
Elena Giachino,
Ferruccio Damiani,
2006,
ICSOFT.
Cosimo Laneve,
Naoki Kobayashi,
Elena Giachino,
2014,
CONCUR.
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sara Capecchi,
2013,
Math. Struct. Comput. Sci..
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2019,
PPDP.
Cosimo Laneve,
Ludovic Henrio,
Elena Giachino,
2016,
PPDP.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Elena Giachino,
Sara Capecchi,
Lorenzo Bettini,
2008,
J. Object Technol..
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2006,
FMCO.
Cosimo Laneve,
Frank S. de Boer,
Reiner Hähnle,
2019,
VORTEX@ECOOP/ISSTA.
Davide Sangiorgi,
Elena Giachino,
Ornela Dardha,
2017,
Inf. Comput..
Viviana Bono,
Elena Giachino,
Ferruccio Damiani,
2007
.
Cosimo Laneve,
Elena Giachino,
2013
.
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2017,
J. Log. Algebraic Methods Program..
Cosimo Laneve,
Gianluigi Zavattaro,
Jacopo Mauro,
2015
.
Cosimo Laneve,
Elena Giachino,
Stijn de Gouw,
2016
.
Davide Sangiorgi,
Elena Giachino,
Ornela Dardha,
2012,
PPDP.
Cosimo Laneve,
Elena Giachino,
2012,
TGC.
Ivan Lanese,
Cosimo Laneve,
Mario Bravetti,
2015
.
Elena Giachino,
Sara Capecchi,
Lorenzo Bettini,
2007,
SAC '07.
Nobuko Yoshida,
Elena Giachino,
Sara Capecchi,
2014,
Mathematical Structures in Computer Science.
Mario Bravetti,
Michael Lienhardt,
Peter Y. H. Wong,
2017,
J. Log. Algebraic Methods Program..
Cosimo Laneve,
Elena Giachino,
Stijn de Gouw,
2016,
Theory and Practice of Formal Methods.
Michael Lienhardt,
Elena Giachino,
Ornela Dardha,
2013,
SEFM.
Paola Giannini,
Elena Giachino,
Ferruccio Damiani,
2008,
Fundam. Informaticae.
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2014,
FASE.
Cosimo Laneve,
Michael Lienhardt,
Peter Y. H. Wong,
2013,
IFM.
Marcello M. Bonsangue,
Reiner Hähnle,
Elena Giachino,
2012
.
Sophia Drossopoulou,
Paola Giannini,
Elena Giachino,
2006
.