Roberto Zunino
发表
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2007,
FOSAD.
Reiko Heckel,
Laura Ricci,
Robert M. Hierons,
2018
.
Roberto Zunino,
Marco Benini,
Marco Girardi,
2020,
ICTCS.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
ICTAC.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2009,
TOPL.
Alceste Scalas,
Massimo Bartoletti,
Julien Lange,
2015,
Sci. Comput. Program..
Roberto Zunino,
2012,
J. Simulation.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2015,
ICDCIT.
Pierpaolo Degano,
Roberto Zunino,
P. Degano,
2005,
Theor. Comput. Sci..
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2012,
PLACES.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2015,
Programming Languages with Applications to Biology and Security.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2006
.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2016,
J. Log. Algebraic Methods Program..
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2019
.
Pierpaolo Degano,
Roberto Zunino,
P. Degano,
2006,
FoSSaCS.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2009,
ICTCS.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
Sci. Ann. Comput. Sci..
Pierpaolo Degano,
Roberto Zunino,
P. Degano,
2004,
FoSSaCS.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2018,
IACR Cryptol. ePrint Arch..
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.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2011,
ICE.
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2015,
Sci. Comput. Program..
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2019,
Int. J. Bioinform. Res. Appl..
Massimo Bartoletti,
Roberto Zunino,
2019,
Front. Blockchain.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2014,
The Journal of chemical physics.
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.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2016,
The Journal of chemical physics.
Massimo Bartoletti,
Roberto Zunino,
Tiziana Cimoli,
2013,
POST.
Massimo Bartoletti,
Paolo Di Giamberardino,
Roberto Zunino,
2013,
ICE.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2015,
The Journal of chemical physics.
Corrado Priami,
Roberto Zunino,
Paola Quaglia,
2012,
SAC '12.
Nobuko Yoshida,
Massimo Bartoletti,
Stefano Lande,
2019,
ESEC/SIGSOFT FSE.
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
EXPRESS.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ArXiv.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ISoLA.
Roberto Zunino,
Vo Hong Thanh,
2012,
SAC '12.
Massimo Bartoletti,
Paolo Di Giamberardino,
Pierpaolo Degano,
2015,
Logic, Rewriting, and Concurrency.
Massimo Bartoletti,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2015,
Math. Struct. Comput. Sci..
Roberto Zunino,
Vo Hong Thanh,
R. Zunino,
2013,
SimuTools.
Corrado Priami,
Ozan Kahramanogullari,
Tommaso Schiavinotto,
2015,
Programming Languages with Applications to Biology and Security.
Emilio Tuosto,
Massimo Bartoletti,
Roberto Zunino,
2012,
COORDINATION.
Corrado Priami,
Roberto Zunino,
Durica Nikolic,
2012,
SEFM.
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.
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,
Stefano Lande,
Roberto Zunino,
2018,
IACR Cryptol. ePrint Arch..
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,
2007,
FoSSaCS.
Massimo Bartoletti,
Roberto Zunino,
Massimo Bartoletti,
2019,
IACR Cryptol. ePrint Arch..
Roberto Zunino,
2011,
2011 IEEE Workshop on Principles of Advanced and Distributed Simulation.
Roberto Zunino,
Vo Hong Thanh,
R. Zunino,
2014,
Int. J. Comput. Biol. Drug Des..
Gian Luigi Ferrari,
Massimo Bartoletti,
Pierpaolo Degano,
2008,
TGC.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2017,
The Journal of chemical physics.
Roberto Zunino,
R. Zunino,
2004,
MEFISTO.
G. Michele Pinna,
Massimo Bartoletti,
Roberto Zunino,
2014,
Fundam. Informaticae.
Alceste Scalas,
Massimo Bartoletti,
Roberto Zunino,
2014,
WRLA.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2017,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Alceste Scalas,
Massimo Bartoletti,
Andrea Bracciali,
2021,
Financial Cryptography.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Massimo Bartoletti,
Roberto Zunino,
Maurizio Murgia,
2022,
COORDINATION.
Roberto Zunino,
R. Zunino,
2006
.
Massimo Bartoletti,
Stefano Lande,
Roberto Zunino,
2020,
ISoLA.
Corrado Priami,
Roberto Zunino,
Vo Hong Thanh,
2017,
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Massimo Bartoletti,
Roberto Zunino,
2009
.