Foto del docente

Roberto Gorrieri

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

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, pp. 1 - 46 [articolo]

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]

Gorrieri, Roberto, Process Algebras for Petri Nets - The Alphabetization of Distributed Systems, Cham, Springer, 2017, pp. 302 . [libro]

Gorrieri, Roberto, Language representability of finite place/transition Petri nets, «VIETNAM JOURNAL OF COMPUTER SCIENCE», 2016, 3(1), pp. 15 - 34 [articolo]

Gorrieri, Roberto; Versari, Cristian, Introduction to Concurrency Theory - Transition Systems and CCS, Springer International Publishing, Ronan Nugent, 2015, pp. 321 . [libro]

Gorrieri, Roberto, Language representability of finite P/T nets, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer Verlag, 2015, pp. 262 - 282 [capitolo di libro]

R. Gorrieri; C. Versari, An Operational Petri Net Semantics for A2CCS, «FUNDAMENTA INFORMATICAE», 2011, 109(2), pp. 135 - 160 [articolo]

R. Gorrieri; M. Vernali, On Intransitive Non-interference in Some Models of Concurrency, in: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 125 - 151 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

R. Gorrieri; C. Versari, A Process Calculus for Expressing Finite Place/Transition Petri Nets, in: Proceedings of 17th International Workshop on Expressiveness in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 76 - 90 [capitolo di libro]

E. Best; Ph. Darondeau; R. Gorrieri, On the Decidability of Non Interference over Unbounded Petri Nets, in: Proceedings of 8th International Workshop on Security Issues in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 16 - 33 [capitolo di libro]

Ultimi avvisi

Al momento non sono presenti avvisi.