Foto del docente

Roberto Gorrieri

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Cesco, Arnaldo; Gorrieri, Roberto, Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, Volume 19, Issue 4, pp. 1 - 37 [articolo]

Gorrieri R., A study on team bisimulation and H-team bisimulation for BPP nets, «THEORETICAL COMPUTER SCIENCE», 2022, 897, pp. 83 - 113 [articolo]

Arnaldo Cesco; Roberto Gorrieri, A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagsthul, Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 18 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallinn, Estonia, 23-27 agosto 2021) [Contributo in Atti di convegno]Open Access

Gorrieri R., Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12719, pp. 80 - 99 (atti di: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, La Valletta, Malta, 14-18 Giugno 2021) [Contributo in Atti di convegno]

Gorrieri, R, Causal Semantics for BPP Nets with Silent Moves, «FUNDAMENTA INFORMATICAE», 2021, 180, pp. 179 - 249 [articolo]Open Access

Cesco A.; Gorrieri R., Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, in: ICTCS 2021 - 22nd Italian Conference on Theoretical Computer Science 2021, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3072, pp. 135 - 149 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, Bologna, Italy, September 13-15, 2021) [Contributo in Atti di convegno]Open Access

Roberto Gorrieri, Place Bisimilarity is Decidable, Indeed!, Ithaca, Cornell University, 2021, pp. 30 . [rapporto tecnico]

Gorrieri R., Team bisimilarity, and its associated modal logic, for BPP nets, «ACTA INFORMATICA», 2021, 58, pp. 529 - 569 [articolo]Open Access

Roberto Gorrieri, A Study on Team Bisimulations for BPP nets, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 153 - 175 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Roberto Gorrieri, Interleaving vs True Concurrency: Some Instructive Security Examples, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 131 - 152 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Roberto Gorrieri, Team equivalences for finite-state machines with silent moves, «INFORMATION AND COMPUTATION», 2020, 275, Article number: 104603, pp. 1 - 46 [articolo]Open Access

Roberto Gorrieri, Axiomatizing Team Equivalence for Finite-State Machines, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Heidelberg, Springer, 2019, pp. 14 - 32 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Roberto Gorrieri, Toward Distributed Computability Theory, in: Carl Adam Petri: Ideas, Personality, Impact, Chaum, Springer, 2019, pp. 141 - 146 [capitolo di libro]

Roberto Gorrieri, Verification of finite-state machines: A distributed approach, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 65 - 80 [articolo]

Roberto, Gorrieri, CCS(25,12) is Turing-complete, «FUNDAMENTA INFORMATICAE», 2017, 154, pp. 145 - 166 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.