Massimo Bartoletti
发表
Massimo Bartoletti,
Andrea Bracciali,
Stefano Lande,
2017,
ArXiv.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2007,
FOSAD.
Reiko Heckel,
Laura Ricci,
Robert M. Hierons,
2018
.
Massimo Bartoletti,
Roberto Saia,
Salvatore Carta,
2017,
Future Gener. Comput. Syst..
Massimo Bartoletti,
Livio Pompianu,
Tiziana Cimoli,
2015,
FACS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
ICTAC.
G. Michele Pinna,
Massimo Bartoletti,
Tiziana Cimoli,
2012,
Sci. Comput. Program..
Massimo Bartoletti,
2019
.
Ludovic Henrio,
Massimo Bartoletti,
Hugo Torres Vieira,
2018,
J. Log. Algebraic Methods Program..
Massimo Bartoletti,
Massimo Bartoletti,
2009,
ARSPA-WITS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
TOPL.
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
Lecture Notes in Computer Science.
Alceste Scalas,
Massimo Bartoletti,
Julien Lange,
2015,
Sci. Comput. Program..
Ludovic Henrio,
Massimo Bartoletti,
Hugo Torres Vieira,
2016,
ICE.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2015,
ICDCIT.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2005,
WITS '05.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2003,
ICTCS.
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia,
2019,
COORDINATION.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2012,
PLACES.
Massimo Bartoletti,
Stefano Lande,
Alessandro Sebastian Podda,
2017,
Financial Cryptography Workshops.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2015,
Programming Languages with Applications to Biology and Security.
Massimo Bartoletti,
Sophia Knight,
2018
.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2006
.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2019
.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2016,
J. Log. Algebraic Methods Program..
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
Massimo Bartoletti,
Nicola Atzei,
Nicola Atzei,
2016,
FORTE.
G. Michele Pinna,
Massimo Bartoletti,
Tiziana Cimoli,
2014,
ICE.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2009,
ICTCS.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
Sci. Ann. Comput. Sci..
Massimo Bartoletti,
2005
.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2018,
IACR Cryptol. ePrint Arch..
Massimo Bartoletti,
Sophia Knight,
2018,
ICE.
Massimo Bartoletti,
Andrea Bracciali,
Roberto Tagliaferri,
2017,
Lecture Notes in Computer Science.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2006
.
Massimo Bartoletti,
Gabriele Costa,
Roberto Zunino,
2009,
Electron. Notes Theor. Comput. Sci..
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2018,
IACR Cryptol. ePrint Arch..
Ivan Lanese,
Davide Sangiorgi,
Massimo Bartoletti,
2011,
Results of the SENSORIA Project.
Laura Bocchi,
Ludovic Henrio,
Massimo Bartoletti,
2019,
J. Log. Algebraic Methods Program..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2005,
FoSSaCS.
Massimo Bartoletti,
Livio Pompianu,
Tiziana Cimoli,
2018,
Goodtechs '18.
Massimo Bartoletti,
Tiziana Cimoli,
Maurizio Murgia,
2017,
Log. Methods Comput. Sci..
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2011,
ICE.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2018
.
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2015,
Sci. Comput. Program..
Massimo Bartoletti,
Roberto Zunino,
2019,
Front. Blockchain.
Emilio Tuosto,
Alceste Scalas,
Massimo Bartoletti,
2013,
FMOODS/FORTE.
Massimo Bartoletti,
Roberto Zunino,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Massimo Bartoletti,
Roberto Zunino,
2015,
WS-FM.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Laura Bocchi,
Ludovic Henrio,
Massimo Bartoletti,
2017
.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2019,
ICE.
Massimo Bartoletti,
2020,
Frontiers in Blockchain.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2013,
POST.
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2013,
ICE.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2004
.
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
1703.06322.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2005,
18th IEEE Computer Security Foundations Workshop (CSFW'05).
Ludovic Henrio,
Massimo Bartoletti,
Hugo Torres Vieira,
2016
.
Nobuko Yoshida,
Massimo Bartoletti,
Stefano Lande,
2019,
ESEC/SIGSOFT FSE.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
EXPRESS.
Massimo Bartoletti,
Barbara Pes,
Sergio Serusi,
2018,
2018 Crypto Valley Conference on Blockchain Technology (CVCBT).
Massimo Bartoletti,
Stefano Lande,
Alessandro Massa,
2016,
WISE.
Massimo Bartoletti,
Livio Pompianu,
Massimo Bartoletti,
2017,
Financial Cryptography Workshops.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ArXiv.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ISoLA.
Massimo Bartoletti,
Livio Pompianu,
Tiziana Cimoli,
2015,
FORTE.
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia,
2019,
DPM/CBT@ESORICS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
J. Comput. Secur..
Massimo Bartoletti,
Paolo Di Giamberardino,
Pierpaolo Degano,
2015,
Logic, Rewriting, and Concurrency.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2015,
Math. Struct. Comput. Sci..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2005,
ICTCS.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
COORDINATION.
Alceste Scalas,
Massimo Bartoletti,
Andrea Bracciali,
2020,
Financial Cryptography.
Massimo Bartoletti,
Fabio Martinelli,
Gabriele Costa,
2009,
J. Object Technol..
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2017,
Financial Cryptography Workshops.
Massimo Bartoletti,
Andrea Bracciali,
Stefano Lande,
2017,
SERIAL@Middleware.
Bernardo Toninho,
Peter Thiemann,
Massimo Bartoletti,
2015,
J. Log. Algebraic Methods Program..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
IEEE Transactions on Software Engineering.
Massimo Bartoletti,
Roberto Zunino,
Maurizio Murgia,
2020,
COORDINATION.
Alceste Scalas,
Massimo Bartoletti,
Roberto Zunino,
2017,
J. Log. Algebraic Methods Program..
Massimo Bartoletti,
Livio Pompianu,
Bryn Bellomy,
2019,
Journal of Grid Computing.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2001,
Electron. Notes Theor. Comput. Sci..
Alceste Scalas,
Massimo Bartoletti,
Roberto Zunino,
2014,
CONCUR.
Massimo Bartoletti,
Roberto Zunino,
2010,
ICE.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2011,
Results of the SENSORIA Project.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ArXiv.
Massimo Bartoletti,
Roberto Zunino,
2008
.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Alceste Scalas,
Massimo Bartoletti,
2015,
ICE.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2004,
MEFISTO.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2003
.
Ludovic Henrio,
Massimo Bartoletti,
Hugo Torres Vieira,
2016
.
Massimo Bartoletti,
Tiziana Cimoli,
Nicola Atzei,
2017,
POST.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2007,
FoSSaCS.
G. Michele Pinna,
Massimo Bartoletti,
Tiziana Cimoli,
2015,
Sci. Comput. Program..
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2019,
IACR Cryptol. ePrint Arch..
Massimo Bartoletti,
Alberto Lluch-Lafuente,
James Hsin-yu Chiang,
2020,
Financial Cryptography Workshops.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2004,
International Journal of Information Security.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
TGC.
Massimo Bartoletti,
Gwen Salaün,
Luís Cruz-Filipe,
2018
.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2014,
Fundam. Informaticae.
Alceste Scalas,
Massimo Bartoletti,
Roberto Zunino,
2014,
WRLA.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2006,
FMOODS.
Laura Bocchi,
Massimo Bartoletti,
Maurizio Murgia,
2018,
CONCUR.
Massimo Bartoletti,
Stefano Lande,
Livio Pompianu,
2021,
IEEE Access.
Alceste Scalas,
Massimo Bartoletti,
Andrea Bracciali,
2021,
Financial Cryptography.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
James Hsin-yu Chiang,
2021,
COORDINATION.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Massimo Bartoletti,
Roberto Zunino,
Maurizio Murgia,
2022,
COORDINATION.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
James Hsin-yu Chiang,
2021,
Financial Cryptography Workshops.
Massimo Bartoletti,
Alberto Lluch-Lafuente,
James Hsin-yu Chiang,
2021,
ArXiv.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ISoLA.
Massimo Bartoletti,
Roberto Zunino,
2009
.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2004
.