GORRIERI, ROBERTO
Dettaglio
GORRIERI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 65 (tempo di esecuzione: 0.0 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A Formalization of Credit and Responsibility Within the GNDC Schema | Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
2 | A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules | Roberto Gorrieri; F.Martinelli | 2004 | SCIENCE OF COMPUTER PROGRAMMING | 1.01 Articolo in rivista | - | |
3 | An expressiveness study of priority in process calculi | C. Versari; N. Busi; R. Gorrieri | 2009 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
4 | Approximating Imperfect Cryptography in a Formal Model | Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto | 2004 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
5 | 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 | INTERNATIONAL JOURNAL OF INFORMATION SECURITY | 1.01 Articolo in rivista | - | |
6 | Axiomatizing Team Equivalence for Finite-State Machines | Roberto Gorrieri | 2019 | Springer | 2.01 Capitolo / saggio in libro | - | |
7 | Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves | Gorrieri R. | 2021 | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - | |
8 | Causal Semantics for BPP Nets with Silent Moves | Gorrieri, R | 2021 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
9 | CCS(25,12) is Turing-complete | Roberto, Gorrieri | 2017 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
10 | Choreography and Orchestration Conformance for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2006 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
11 | Choreography and Orchestration: A Synergic Approach for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2005 | Springer | 4.01 Contributo in Atti di convegno | - | |
12 | Classification of Security Properties. Part II: Network Security | R.Focardi; R.Gorrieri; F.Martinelli | 2004 | Springer | 2.01 Capitolo / saggio in libro | - | |
13 | Combining Partitions in SecSpaces | M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro | 2004 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
14 | Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 | P. Degano; R. Gorrieri | 2009 | Springer-Verlag | 3.02 Curatela | - | |
15 | Contrasting Malicious Applets by Modifying the Java Virtual Machine | V.Ciaschini; R.Gorrieri | 2004 | Kluwer | 4.01 Contributo in Atti di convegno | - | |
16 | Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets | Cesco A.; Gorrieri R. | 2021 | CEUR-WS | 4.01 Contributo in Atti di convegno | - | |
17 | A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation | Arnaldo Cesco; Roberto Gorrieri | 2021 | Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | - | |
18 | Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs | N. Busi; R. Gorrieri | 2009 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 1.01 Articolo in rivista | - | |
19 | Formal Methods for Open Object-Based Distributed Systems | R. Gorrieri; H. Wehrheim | 2006 | Springer-Verlag | 3.02 Curatela | - | |
20 | Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks | R. Gorrieri; F. Martinelli; M. Petrocchi | 2008 | JOURNAL OF AUTOMATED REASONING | 1.01 Articolo in rivista | - |