GORRIERI, ROBERTO
GORRIERI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation
2021 Arnaldo Cesco; Roberto Gorrieri
A Formalization of Credit and Responsibility Within the GNDC Schema
2006 Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference
2004 A.Aldini; M.Bravetti; R.Gorrieri
A Process Calculus for Expressing Finite Place/Transition Petri Nets
2010 R. Gorrieri; C. Versari
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules
2004 Roberto Gorrieri; F.Martinelli
A study on team bisimulation and H-team bisimulation for BPP nets
2022 Gorrieri R.
A Study on Team Bisimulations for BPP nets
2020 Roberto Gorrieri
A Survey on Non-Interference with Petri Nets
2004 BUSI N.; R. GORRIERI
A theory of processes with durational actions
1995 Gorrieri R.; Roccetti M.; Stancampiano E.
An expressiveness study of priority in process calculi
2009 C. Versari; N. Busi; R. Gorrieri
An Operational Petri Net Semantics for A2CCS
2011 R. Gorrieri; C. Versari
Approximating Imperfect Cryptography in a Formal Model
2004 Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
Automated Analysis of Timed Security: A Case Study on Web Privacy
2004 R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci
Axiomatizing Team Equivalence for Finite-State Machines
2019 Roberto Gorrieri
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves
2021 Gorrieri R.
Causal Semantics for BPP Nets with Silent Moves
2021 Gorrieri, R
CCS(25,12) is Turing-complete
2017 Roberto, Gorrieri
Choreography and Orchestration Conformance for System Design
2006 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Classification of Security Properties. Part II: Network Security
2004 R.Focardi; R.Gorrieri; F.Martinelli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation | Arnaldo Cesco; Roberto Gorrieri | 2021-01-01 | - | Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | LIPIcs-MFCS-2021-28.pdf |
| A Formalization of Credit and Responsibility Within the GNDC Schema | Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference | A.Aldini; M.Bravetti; R.Gorrieri | 2004-01-01 | JOURNAL OF COMPUTER SECURITY | - | 1.01 Articolo in rivista | - |
| A Process Calculus for Expressing Finite Place/Transition Petri Nets | R. Gorrieri; C. Versari | 2010-01-01 | - | Electronic Proceedings in Theoretical Computer Sci | 2.01 Capitolo / saggio in libro | - |
| A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules | Roberto Gorrieri; F.Martinelli | 2004-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| A study on team bisimulation and H-team bisimulation for BPP nets | Gorrieri R. | 2022-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A Study on Team Bisimulations for BPP nets | Roberto Gorrieri | 2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| A Survey on Non-Interference with Petri Nets | BUSI N.; R. GORRIERI | 2004-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| A theory of processes with durational actions | Gorrieri R.; Roccetti M.; Stancampiano E. | 1995-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| An expressiveness study of priority in process calculi | C. Versari; N. Busi; R. Gorrieri | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| An Operational Petri Net Semantics for A2CCS | R. Gorrieri; C. Versari | 2011-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Approximating Imperfect Cryptography in a Formal Model | Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto | 2004-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Automated Analysis of Timed Security: A Case Study on Web Privacy | R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci | 2004-01-01 | INTERNATIONAL JOURNAL OF INFORMATION SECURITY | - | 1.01 Articolo in rivista | - |
| Axiomatizing Team Equivalence for Finite-State Machines | Roberto Gorrieri | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves | Gorrieri R. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Causal Semantics for BPP Nets with Silent Moves | Gorrieri, R | 2021-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| CCS(25,12) is Turing-complete | Roberto, Gorrieri | 2017-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Choreography and Orchestration Conformance for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2006-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Choreography and Orchestration: A Synergic Approach for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Classification of Security Properties. Part II: Network Security | R.Focardi; R.Gorrieri; F.Martinelli | 2004-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |