Massimo Bartoletti
发表
Massimo Bartoletti,
Tiziana Cimoli,
Nicola Atzei,
2017,
POST.
Massimo Bartoletti,
Roberto Saia,
Salvatore Carta,
2017,
Future Gener. Comput. Syst..
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
Lecture Notes in Computer Science.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2015,
Programming Languages with Applications to Biology and Security.
Massimo Bartoletti,
Nicola Atzei,
Nicola Atzei,
2016,
FORTE.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
1703.06322.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Massimo Bartoletti,
Livio Pompianu,
Bryn Bellomy,
2019,
Journal of Grid Computing.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
J. Comput. Secur..
Nicola Atzei,
Massimo Bartoletti,
Tiziana Cimoli,
2017
.
Massimo Bartoletti,
A. Scalas,
Roberto Zunino,
2015
.
Ivan Lanese,
Davide Sangiorgi,
Massimo Bartoletti,
2011,
Results of the SENSORIA Project.
G. Michele Pinna,
Massimo Bartoletti,
Tiziana Cimoli,
2014,
ICE.
Reiko Heckel,
Laura Ricci,
Robert M. Hierons,
2018
.
Massimo Bartoletti,
Tiziana Cimoli,
A. Scalas,
2014
.
Massimo Bartoletti,
Maurizio Murgia,
R. Zunino,
2022,
COORDINATION.
Tommi A. Junttila,
Massimo Bartoletti,
Alberto Lluch-Lafuente,
2022,
ISoLA.
Massimo Bartoletti,
P. D. Giamberardino,
Zunino Roberto,
2013
.
Massimo Bartoletti,
E. Tuosto,
A. Scalas,
2017
.
Massimo Bartoletti,
Maurizio Murgia,
R. Zunino,
2021,
2111.03117.
Massimo Bartoletti,
Maurizio Murgia,
Letterio Galletta,
2019,
DPM/CBT@ESORICS.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2019,
ICE.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2004,
MEFISTO.
Massimo Bartoletti,
Maurizio Murgia,
R. Zunino,
2021,
Log. Methods Comput. Sci..
Massimo Bartoletti,
Roberto Zunino,
Maurizio Murgia,
2022,
COORDINATION.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
James Hsin-yu Chiang,
2020,
Financial Cryptography Workshops.
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2015,
Sci. Comput. Program..
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2013,
ICE.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2009,
ICTCS.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2013,
POST.
Massimo Bartoletti,
Barbara Pes,
Sergio Serusi,
2018,
2018 Crypto Valley Conference on Blockchain Technology (CVCBT).
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
IEEE Transactions on Software Engineering.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2006,
FMOODS.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2006
.
Massimo Bartoletti,
P. Degano,
2003
.
Massimo Bartoletti,
Livio Pompianu,
Tiziana Cimoli,
2018,
Goodtechs '18.
Massimo Bartoletti,
B. Pes,
Sergio Serusi,
2018
.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
J. Chiang,
2021,
Financial Cryptography.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
Sci. Ann. Comput. Sci..
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
COORDINATION.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
TOPL.
Ludovic Henrio,
Massimo Bartoletti,
Hugo Torres Vieira,
2018,
J. Log. Algebraic Methods Program..
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
Financial Cryptography Workshops.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
J. Chiang,
2021,
COORDINATION.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
Nobuko Yoshida,
Massimo Bartoletti,
Stefano Lande,
2019,
ESEC/SIGSOFT FSE.
MASSIMO BARTOLETTI,
LETTERIO GALLETTA,
MAURIZIO MURGIA,
2020,
Log. Methods Comput. Sci..
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2003
.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2003,
ICTCS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2004
.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2004
.
Massimo Bartoletti,
R. Zunino,
R. Marchesin,
2023,
ArXiv.
Massimo Bartoletti,
R. Zunino,
2023,
ArXiv.
Massimo Bartoletti,
Stefano Lande,
Maurizio Murgia,
2020,
Log. Methods Comput. Sci..
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ISoLA.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2018,
IACR Cryptol. ePrint Arch..
Massimo Bartoletti,
Stefano Lande,
Livio Pompianu,
2021,
IEEE Access.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2019,
IACR Cryptol. ePrint Arch..
Alceste Scalas,
Massimo Bartoletti,
Andrea Bracciali,
2020,
Financial Cryptography.
Massimo Bartoletti,
Roberto Zunino,
Maurizio Murgia,
2020,
COORDINATION.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2017,
Financial Cryptography Workshops.
Massimo Bartoletti,
Andrea Bracciali,
Stefano Lande,
2017,
SERIAL@Middleware.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ArXiv.
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia,
2019,
COORDINATION.
Alceste Scalas,
Massimo Bartoletti,
Roberto Zunino,
2014,
CONCUR.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2015,
ICDCIT.
Massimo Bartoletti,
Stefano Lande,
Alessandro Massa,
2016,
WISE.
Massimo Bartoletti,
Livio Pompianu,
Tiziana Cimoli,
2015,
FACS.
Massimo Bartoletti,
R. Zunino,
R. Marchesin,
2023,
2309.10781.
Bernardo Toninho,
Peter Thiemann,
Massimo Bartoletti,
2015,
J. Log. Algebraic Methods Program..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2005,
FoSSaCS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2011,
Results of the SENSORIA Project.
G. Michele Pinna,
Massimo Bartoletti,
Tiziana Cimoli,
2012,
Sci. Comput. Program..
Massimo Bartoletti,
P. Degano,
P. D. Giamberardino,
2015,
Logic, Rewriting, and Concurrency.
Massimo Bartoletti,
G. Ferrari,
P. Degano,
2008,
IEEE Transactions on Software Engineering.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2016,
J. Log. Algebraic Methods Program..
Alceste Scalas,
Massimo Bartoletti,
Julien Lange,
2015,
Sci. Comput. Program..
Massimo Bartoletti,
Tiziana Cimoli,
P. D. Giamberardino,
2013,
ICE.
Laura Bocchi,
Massimo Bartoletti,
Maurizio Murgia,
2018,
CONCUR.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2001,
ConCoord.