Roberto Gorrieri
发表
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2002,
TOCL.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2000,
FMOODS.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1994
.
Antonio Brogi,
Roberto Gorrieri,
R. Gorrieri,
1993,
J. Log. Program..
Arend Rensink,
Roberto Gorrieri,
Ursula Goltz,
1996,
Inf. Comput..
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2005,
Theor. Comput. Sci..
Roberto Gorrieri,
P. Syverson,
1998,
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Roberto Gorrieri,
Alessandro Aldini,
Angelo Troina,
2004,
Global Computing.
Roberto Gorrieri,
Fabio Martinelli,
Ilaria Matteucci,
2009,
VODCA@FOSAD.
Roberto Gorrieri,
Fabio Martinelli,
F. Martinelli,
2003,
MFCS.
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
2001
.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1996,
TACAS.
Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1997
.
Roberto Gorrieri,
Ugo Montanari,
Sergio Marchetti,
1990,
Theor. Comput. Sci..
Roberto Gorrieri,
Marco Bernardo,
R. Gorrieri,
2011
.
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999,
EXPRESS.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1994
.
Roberto Gorrieri,
Nadia Busi,
Rob J. van Glabbeek,
1994,
PROCOMET.
Arend Rensink,
Roberto Gorrieri,
A. Rensink,
2001,
Inf. Comput..
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
2000
.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1995,
J. Comput. Secur..
Roberto Gorrieri,
Cristian Versari,
2015
.
Marco Roccetti,
Roberto Gorrieri,
Enrico Stancampiano,
1995,
Theor. Comput. Sci..
Roberto Gorrieri,
Alessandro Aldini,
Angelo Troina,
2003
.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2001,
FoSSaCS.
Roberto Gorrieri,
Giuseppe Rosolini,
Pierpaolo Degano,
1992,
REX Workshop.
Roberto Gorrieri,
Riccardo Focardi,
V. Panini,
1995,
Proceedings The Eighth IEEE Computer Security Foundations Workshop.
Roberto Gorrieri,
Alessandro Aldini,
Marco Bernardo,
1999
.
Roberto Gorrieri,
2008,
Concurrency, Graphs and Models.
Roberto Gorrieri,
2017
.
Roberto Gorrieri,
Riccardo Focardi,
Antonio Durante,
1999,
Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Roberto Gorrieri,
Heike Wehrheim,
R. Gorrieri,
2006
.
Roberto Gorrieri,
R. Gorrieri,
2009,
ICTCS.
Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
2003,
FMOODS.
Roberto Gorrieri,
Gianluigi Zavattaro,
Nadia Busi,
1997
.
Roberto Gorrieri,
Glauco Siliprandi,
R. Gorrieri,
1994,
CAV.
Roberto Gorrieri,
R. Gorrieri,
2000,
ICALP Satellite Workshops.
Roberto Gorrieri,
Sebastiano Vigna,
Pierpaolo Degano,
1993,
TAPSOFT.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2003,
Theor. Comput. Sci..
Roberto Gorrieri,
Riccardo Focardi,
Antonio Durante,
1999
.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2000,
ICALP.
Roberto Gorrieri,
2017
.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2006,
COORDINATION.
Roberto Gorrieri,
R. Gorrieri,
2020,
Petri Nets.
Roberto Gorrieri,
Philippe Darondeau,
Eike Best,
2010,
SecCo.
Marco Roccetti,
Roberto Gorrieri,
Marco Bernardo,
2011
.
Roberto Gorrieri,
Nadia Busi,
Cristian Versari,
2009,
Mathematical Structures in Computer Science.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2000,
ICALP.
Roberto Gorrieri,
Nadia Busi,
Roberto Lucchi,
2006
.
Roberto Gorrieri,
Pierpaolo Degano,
2009
.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2005,
ICSOC.
Roberto Gorrieri,
Matteo Vernali,
R. Gorrieri,
2011,
FOSAD.
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
1994,
ECOOP Workshop.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2000,
AMAST.
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
2009,
J. Log. Algebraic Methods Program..
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2002,
TOSCA.
Roberto Gorrieri,
Gianluigi Zavattaro,
Roberto Lucchi,
2006,
Fundam. Informaticae.
Roberto Gorrieri,
Cristian Versari,
R. Gorrieri,
2011,
Fundam. Informaticae.
Roberto Gorrieri,
R. Gorrieri,
2007,
Bull. EATCS.
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2004,
SAC '04.
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1997
.
Marco Roccetti,
Roberto Gorrieri,
Flavio Corradini,
1995,
MFCS.
Roberto Gorrieri,
R. Gorrieri,
1992,
Fundam. Informaticae.
Roberto Gorrieri,
2017
.
Roberto Gorrieri,
Pierpaolo Degano,
1995,
Inf. Comput..
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
1997,
EXPRESS.
Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
2006,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Alessandro Aldini,
R. Gorrieri,
2014,
Lecture Notes in Computer Science.
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
2006,
Trans. Comp. Sys. Biology.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
1998,
Theor. Comput. Sci..
Mario Bravetti,
Roberto Gorrieri,
Nadia Busi,
2004,
Formal Aspects in Security and Trust.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2002,
FOSAD.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1994,
FORTE.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
1999,
Workshop on Secure Architectures and Information Flow.
Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
2008,
Journal of Automated Reasoning.
Roberto Gorrieri,
Alessandro Aldini,
Angelo Troina,
2004,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Roland Meyer,
2009,
CONCUR.
Mario Bravetti,
Roberto Gorrieri,
Alessandro Aldini,
2011
.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
2000,
FOSAD.
Roberto Gorrieri,
Ugo Montanari,
1990,
Int. J. Found. Comput. Sci..
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
2003
.
Arend Rensink,
Roberto Gorrieri,
Ursula Goltz,
1994,
TACS.
Roberto Gorrieri,
Fabio Martinelli,
2004,
Sci. Comput. Program..
Martín Abadi,
Dieter Gollmann,
Roberto Gorrieri,
1998,
CSFW.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1994
.
Roberto Gorrieri,
Marco Bernardo,
Nadia Busi,
1995,
Comput. J..
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1997
.
Roberto Gorrieri,
Riccardo Focardi,
Antonio Durante,
2000,
TSEM.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
1997,
COORDINATION.
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1999,
CSUR.
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1997
.
Cosimo Laneve,
Roberto Gorrieri,
C. Laneve,
1995,
Inf. Comput..
Roberto Gorrieri,
Peter Wegner,
Pierpaolo Degano,
1999,
CSUR.
Roberto Gorrieri,
Marco Bernardo,
R. Gorrieri,
1996,
CONCUR.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2000,
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Roberto Gorrieri,
Pierpaolo Degano,
P. Degano,
2009,
CMSB.
Roberto Gorrieri,
Cristian Versari,
R. Gorrieri,
2010,
EXPRESS.
Cosimo Laneve,
Roberto Gorrieri,
C. Laneve,
1991,
International Symposium on Mathematical Foundations of Computer Science.
Roberto Gorrieri,
Riccardo Focardi,
Antonio Durante,
2001,
MMM-ACNS.
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2005,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
R. Gorrieri,
2017
.
Roberto Gorrieri,
2020,
Inf. Comput..
Roberto Gorrieri,
Paolo Ciancarini,
P. Ciancarini,
1998
.
Roberto Gorrieri,
R. Gorrieri,
1996,
CSUR.
Roberto Gorrieri,
2019,
Carl Adam Petri: Ideas, Personality, Impact.
Arend Rensink,
Roberto Gorrieri,
A. Rensink,
1997,
FBT.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2000,
AMAST.
Roberto Gorrieri,
Alessandro Aldini,
2007,
FOSAD.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2001,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Ulrich Herzog,
Jane Hillston,
2002,
Perform. Evaluation.
Roberto Gorrieri,
Heike Wehrheim,
2006
.
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Pierpaolo Degano,
1999
.
Marco Roccetti,
Roberto Gorrieri,
M. Roccetti,
1993,
AMAST.
Roberto Gorrieri,
P. Zanotti,
Pierpaolo Degano,
1991
.
Roberto Gorrieri,
Xiao Jun Chen,
Flavio Corradini,
1996,
AMAST.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1993
.
Roberto Gorrieri,
Gian Luigi Ferrari,
Andrea Asperti,
1989,
POPL '90.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2005,
14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05).
Arend Rensink,
Roberto Gorrieri,
1997,
TAPSOFT.
Roberto Gorrieri,
Riccardo Focardi,
Roberto Segala,
2000
.
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
2009,
Mathematical Structures in Computer Science.
Roberto Gorrieri,
Pierpaolo Degano,
P. Degano,
2009
.
Roberto Gorrieri,
Nadia Busi,
Fabio Martinelli,
2005,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2000,
Theor. Comput. Sci..
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
2003,
Lectures on Concurrency and Petri Nets.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2003,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Nadia Busi,
Cristian Versari,
2007,
CONCUR.
Roberto Gorrieri,
2020,
Acta Informatica.
Roberto Gorrieri,
Flavio Corradini,
D. Marchignoli,
1998,
RAIRO Theor. Informatics Appl..
Roberto Gorrieri,
Carlo Ferigato,
Simone Frau,
2009,
Formal Aspects in Security and Trust.
Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
2003,
SecCo.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1997,
IEEE Trans. Software Eng..
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2000
.
Roberto Gorrieri,
Cristian Versari,
R. Gorrieri,
2015,
Texts in Theoretical Computer Science. An EATCS Series.
J. van Leeuwen,
Jan van Leeuwen,
Roberto Gorrieri,
2001,
Lecture Notes in Computer Science.
Roberto Gorrieri,
Cristian Versari,
R. Gorrieri,
2008,
SFM.
Roberto Gorrieri,
Alessandro Aldini,
R. Gorrieri,
2002,
PAPM-PROBMIV.
Roberto Gorrieri,
Paolo Ciancarini,
Nadia Busi,
2001,
Coordination of Internet Agents: Models, Technologies, and Applications.
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2004,
COORDINATION.
Roberto Gorrieri,
Marco Bernardo,
R. Gorrieri,
2001,
Theor. Comput. Sci..
Roberto Gorrieri,
Paolo Ciancarini,
Alessandro Fantechi,
2006,
IFIP — The International Federation for Information Processing.
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
2003,
EURASIP J. Adv. Signal Process..
Roberto Gorrieri,
Gianluigi Zavattaro,
N. Busi,
2000
.
Roberto Gorrieri,
2017
.
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2004,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1998,
Inf. Comput..
Roberto Gorrieri,
2020,
Petri Nets.
Roberto Gorrieri,
Gian Luigi Ferrari,
Ugo Montanari,
1991,
TAPSOFT, Vol.2.
Roberto Gorrieri,
Cristian Versari,
2015
.
Roberto Gorrieri,
2017
.
Roberto Gorrieri,
Pierpaolo Degano,
Sergio Marchetti,
1988,
European Workshop on Applications and Theory of Petri Nets.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1995
.
Roberto Gorrieri,
R. Gorrieri,
2017,
Monographs in Theoretical Computer Science. An EATCS Series.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2000,
Inf. Comput..
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
1995,
CONCUR.
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro,
2006,
ICSOC.
Roberto Gorrieri,
Riccardo Focardi,
1993
.
Roberto Gorrieri,
Marco Bernardo,
R. Gorrieri,
1998,
Theor. Comput. Sci..
Roberto Gorrieri,
Ugo Montanari,
Sergio Marchetti,
1988,
CAAP.
Antonio Brogi,
Roberto Gorrieri,
R. Gorrieri,
1989,
TAPSOFT, Vol.1.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2002,
Theor. Comput. Sci..
Roberto Gorrieri,
Nadia Busi,
R. Gorrieri,
2004,
ICATPN.
Roberto Gorrieri,
2017,
Fundam. Informaticae.
Roberto Gorrieri,
Alessandro Aldini,
Fabio Martinelli,
2005,
FOSAD.
Roberto Gorrieri,
R. Gorrieri,
2016,
Vietnam Journal of Computer Science.
Marco Roccetti,
Roberto Gorrieri,
Flavio Corradini,
1997,
Acta Informatica.
Roberto Gorrieri,
Ugo Montanari,
1990,
CONCUR.
Roberto Gorrieri,
Ugo Montanari,
U. Montanari,
1995,
Theor. Comput. Sci..
Roberto Gorrieri,
2019,
The Art of Modelling Computational Systems.
Roberto Gorrieri,
Alessandro Aldini,
R. Gorrieri,
2011,
FOSAD.
Chris Hankin,
Roberto Gorrieri,
1998,
Theor. Comput. Sci..
Roberto Gorrieri,
Gianluigi Marchetti,
Maria Felicia Florio,
2000,
Comput. Commun..
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
1999
.
Roberto Gorrieri,
Vincenzo Ciaschini,
2004,
SEC.
Roberto Gorrieri,
Fabio Martinelli,
2005,
Theor. Comput. Sci..
Roberto Gorrieri,
Pierpaolo Degano,
1991,
MFCS.
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro,
2006
.
Roberto Gorrieri,
2017
.
Roberto Gorrieri,
Paolo Ciancarini,
Gianluigi Zavattaro,
1997
.
Roberto Gorrieri,
Ugo Montanari,
1991,
Applications and Theory of Petri Nets.
Roberto Gorrieri,
Riccardo Focardi,
2000
.
Roberto Gorrieri,
Fabio Martinelli,
Enrico Locatelli,
2003,
ESOP.
Enrico Tronci,
Andrea Maggiolo-Schettini,
Simone Tini,
2004,
International Journal of Information Security.
Roberto Gorrieri,
Alessandro Aldini,
R. Gorrieri,
2003,
Global Computing.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1995,
Proceedings 6th International Workshop on Petri Nets and Performance Models.
Roberto Gorrieri,
Cristian Versari,
2015
.
Marco Roccetti,
Roberto Gorrieri,
Alessandro Aldini,
2001,
TOMC.
Roberto Gorrieri,
2018,
J. Log. Algebraic Methods Program..
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2003,
IEEE J. Sel. Areas Commun..
Marco Roccetti,
Roberto Gorrieri,
Marco Bernardo,
1998,
Formal Aspects of Computing.
Roberto Gorrieri,
R. Gorrieri,
2015,
Programming Languages with Applications to Biology and Security.
Roberto Gorrieri,
Riccardo Focardi,
R. Gorrieri,
1994,
Proceedings The Computer Security Foundations Workshop VII.
Antonio Brogi,
Roberto Gorrieri,
A. Brogi,
1989,
ICLP.
Roberto Gorrieri,
Gilles Barthe,
Alessandro Aldini,
2009,
FOSAD.
Enrico Tronci,
Simone Tini,
Roberto Gorrieri,
2004
.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2004,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Roberto Lucchi,
Claudio Guidi,
2005,
EPEW/WS-FM.
Mario Bravetti,
Roberto Gorrieri,
Marco Bernardo,
1998,
CONCUR.
Roberto Gorrieri,
2021,
Theoretical Computer Science.
Roberto Gorrieri,
Arnaldo Cesco,
2021,
MFCS.
Roberto Gorrieri,
R. Gorrieri,
2021,
FORTE.
Roberto Gorrieri,
Arnaldo Cesco,
2021,
ICTCS.
Roberto Gorrieri,
2021,
ArXiv.
Roberto Gorrieri,
2021,
Fundam. Informaticae.
Roberto Gorrieri,
Sebastiano Vigna,
Pierpaolo Degano,
1993
.
Roberto Gorrieri,
Lorenzo Donatiello,
R. Gorrieri,
1994
.
Roberto Gorrieri,
Marco Bernardo,
Lorenzo Donatiello,
1994
.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999
.
Roberto Gorrieri,
Gianluigi Zavattaro,
G. Zavattaro,
1996
.
Mario Bravetti,
Roberto Gorrieri,
Marco Bernardo,
2011
.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999
.
Roberto Gorrieri,
Fabio Martinelli,
Riccardo Focardi,
2000
.
Marco Roccetti,
Roberto Gorrieri,
Enrico Stancampiano,
1994
.
Cosimo Laneve,
Roberto Gorrieri,
C. Laneve,
1993
.
Roberto Gorrieri,
Riccardo Focardi,
1997
.
Marco Roccetti,
Roberto Gorrieri,
M. Roccetti,
1993
.