Roberto Gorrieri
Orcid: 0000-0001-5502-0584Affiliations:
- University of Bologna, Italy
According to our database1,
Roberto Gorrieri
authored at least 159 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.unibo.it
On csauthors.net:
Bibliography
2024
2023
Log. Methods Comput. Sci., 2023
2022
Theor. Comput. Sci., 2022
2021
Acta Informatica, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11).
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
J. Log. Algebraic Methods Program., 2018
2017
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-55559-1, 2017
2016
Vietnam. J. Comput. Sci., 2016
2015
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-21491-7, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2011
Proceedings of the Foundations of Security Analysis and Design VI, 2011
2010
Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
J. Log. Algebraic Methods Program., 2009
On Petri Net semantics for Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
J. Autom. Reason., 2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008
2007
Obituary, Nadia Busi (1968-2007).
Bull. EATCS, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
Proceedings of the Service-Oriented Computing, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Theor. Comput. Sci., 2005
Proceedings of the First International Workshop on Security and Trust Management, 2005
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
2004
A simple framework for real-time cryptographic protocol analysis with compositional proof rules.
Sci. Comput. Program., 2004
J. Comput. Secur., 2004
Int. J. Inf. Sec., 2004
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
Proceedings of the Security and Protection in Information Processing Systems, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
EURASIP J. Adv. Signal Process., 2003
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
Proceedings of the Programming Languages and Systems, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.
ACM Trans. Comput. Log., 2002
Theor. Comput. Sci., 2002
Perform. Evaluation, 2002
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Process Algebra and Probabilistic Methods, 2002
Proceedings of the Foundations of Security Analysis and Design II, 2002
Proceedings of the Foundations of Security Analysis and Design II, 2002
2001
ACM Trans. Model. Comput. Simul., 2001
Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54].
Theor. Comput. Sci., 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Information Assurance in Computer Networks: Methods, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Coordination Models: A Guided Tour.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001
2000
ACM Trans. Softw. Eng. Methodol., 2000
Introduction: International Workshop on Process Algebra and Performance Modelling.
Proceedings of the ICALP Workshops 2000, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
Proceedings of the Foundations of Security Analysis and Design, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999
ACM Comput. Surv., 1999
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999
1998
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
Theor. Comput. Sci., 1998
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.
Inf. Comput., 1998
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.
Formal Aspects Comput., 1998
Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.
IEEE Trans. Software Eng., 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Action refinement for Vertical Implementation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
A Study on the Specification and Verification of Performance Properties (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Theor. Comput. Sci., 1995
Comput. J., 1995
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
The security checker: a semantics-based tool for the verification of security properties.
Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
Axiomatising ST-Bisimulation Equivalence.
Proceedings of the Programming Concepts, 1994
Integrated analysis of concurrent distributed systems using Markovian process algebra.
Proceedings of the Formal Description Techniques VII, 1994
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994
Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Distributed Logic Programming.
J. Log. Program., 1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Towards Performance Evaluation in Process Algebras.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
A hierarchy of system descriptions via atomic linear refinement.
Fundam. Informaticae, 1992
Proceedings of the Sematics: Foundations and Applications, 1992
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
Proceedings of the Advances in Petri Nets 1993, 1991
1990
Int. J. Found. Comput. Sci., 1990
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.
Proceedings of the Logic Programming, 1989
1988
Proceedings of the CAAP '88, 1988
1987
Proceedings of the Advances in Petri Nets 1988, 1987