World's Best Scientists 2026 revealed!
Roberto Gorrieri

Roberto Gorrieri

D-Index & Metrics

Computer Science

D-Index
45
Citations
7735
World Ranking
7246
National Ranking
185

Overview

Roberto Gorrieri is affiliated with the University of Bologna in Italy. Their research primarily focuses on areas within computer science, with significant contributions in computational theory and mathematics, artificial intelligence, and management information systems. Their work reflects a multidisciplinary approach that also intersects with business, management, and accounting.

The scientist's main topics of research include:

  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Business Process Modeling and Analysis
  • Logic, Reasoning, and Knowledge
  • Logic, Programming, and Type Systems
  • Semigroups and Automata Theory
  • Access Control and Trust

Roberto Gorrieri has published extensively across several research venues. Frequent publication venues include:

  • arXiv (Cornell University)
  • Acta Informatica
  • Information and Computation
  • Theoretical Computer Science
  • Logical Methods in Computer Science

Their recent papers provide insight into topics such as bisimilarity, equivalence relations in finite-state machines, and decidability in Petri nets. Notable publications include:

  • "Team bisimilarity, and its associated modal logic, for BPP nets" (2020, Acta Informatica)
  • "Team equivalences for finite-state machines with silent moves" (2020, Information and Computation)
  • "A study on team bisimulation and H-team bisimulation for BPP nets" (2021, Theoretical Computer Science)
  • "Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets" (2021, arXiv (Cornell University))
  • "Place Bisimilarity is Decidable, Indeed!" (2021, arXiv (Cornell University))

Collaboration plays a role in their research, with frequent co-authors including Arnaldo Cesco and Ivan Lanese.

Roberto Gorrieri has also contributed to academic literature through book publications. A forthcoming work titled Syntax and Semantics of Petri Nets is scheduled for publication by Cambridge University Press in 2025.

Best Publications

  • Classification of Security Properties (Part I: Information Flow)

    Riccardo Focardi;Roberto Gorrieri

  • A Classification of Security Properties for Process Algebras

    Riccardo Focardi;Roberto Gorrieri

  • A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

    Marco Bernardo;Roberto Gorrieri

  • Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

    Alessandro Aldini;Gilles Barthe;Roberto Gorrieri

  • Choreography and orchestration conformance for system design

    Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi

  • A Classification of Security Properties

    R. Focardi;R. Gorrieri

  • The Compositional Security Checker: a tool for the verification of information flow security properties

    R. Focardi;R. Gorrieri

  • Choreography and orchestration : A synergic approach for system design

    Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi

  • SOCK: a calculus for service oriented computing

    Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi

  • Non Interference for the Analysis of Cryptographic Protocols

    Riccardo Focardi;Roberto Gorrieri;Fabio Martinelli

  • Extended Markovian Process Algebra

    Marco Bernardo;Roberto Gorrieri

  • A process algebraic view of Linda coordination primitives

    Nadia Busi;Roberto Gorrieri;Gianluigi Zavattaro

  • A Petri Net Semantics for pi-Calculus

    Nadia Busi;Roberto Gorrieri

  • Information flow analysis in a discrete-time process algebra

    R. Focardi;R. Gorrieri;F. Martinelli

  • The theory of interactive generalized semi-Markov processes

    Mario Bravetti;Roberto Gorrieri

  • A Theory of Processes with Durational Actions

    Roberto Gorrieri;Marco Roccetti;Enrico Stancampiano

  • On the expressiveness of Linda coordination primitives

    Nadia Busi;Roberto Gorrieri;Gianluigi Zavattaro

  • A process-algebraic approach for the analysis of probabilistic noninterference

    Alessandro Aldini;Mario Bravetti;Roberto Gorrieri

  • Theory and Application of Extended Markovian Process Algebra

    Marco Bernardo;Roberto Gorrieri

  • Towards Performance Evaluation with General Distributions in Process Algebras

    Mario Bravetti;Marco Bernardo;Roberto Gorrieri

  • Classification of Security Properties - Part II: Network Security.

    Riccardo Focardi;Roberto Gorrieri;Fabio Martinelli

  • A Calculus for Service Oriented Computing.

    Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi

Frequent Co-Authors

Gianluigi Zavattaro
Gianluigi Zavattaro University of Bologna
Fabio Martinelli
Fabio Martinelli National Research Council (CNR)
Marco Roccetti
Marco Roccetti University of Bologna
Ugo Montanari
Ugo Montanari University of Pisa
Alberto Marchetti-Spaccamela
Alberto Marchetti-Spaccamela Sapienza University of Rome
Paolo Ciancarini
Paolo Ciancarini University of Bologna
Chris Hankin
Chris Hankin Imperial College London
Sebastiano Vigna
Sebastiano Vigna University of Milan
Jane Hillston
Jane Hillston University of Edinburgh
Gianluigi Ferrari
Gianluigi Ferrari University of Parma

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Expanding your expertise in Computer Science can open doors to a variety of rewarding careers—and online education makes advanced study more accessible than ever. Many professionals in the tech sector opt to diversify their skills with degrees in related fields, benefiting from flexible and affordable options.

Those seeking leadership roles might explore executive mba programs online, designed to prepare students for higher management and business strategy positions. If your interests lie in the organization and management of digital resources, pursuing a library sciences degree can complement computer science skills, especially for roles in knowledge management or data archiving.

Looking for flexible and economical options? Explore a variety of affordable masters programs online, giving you the chance to specialize in technology, data, or interdisciplinary fields at your own pace.

For those aiming at executive or scholarly careers, earning an organizational leadership phd online can position you for top roles in project management, education, or consulting within tech-driven organizations.

Best Scientists Citing Roberto Gorrieri

Trending Scientists

Recently Published Articles