CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoGORRIERI, ROBERTO
Pubblicazioni
Risultati 1 - 20 di 54 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | |
|---|---|---|---|---|---|---|
| 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 Process Calculus for Expressing Finite Place/Transition Petri Nets | R. Gorrieri; C. Versari | 2010 | Electronic Proceedings in Theoretical Computer Sci | 2.01 Capitolo / saggio in libro | |
| 3 | 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 | |
| 4 | 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 | |
| 5 | 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 | |
| 6 | 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 | |
| 7 | Axiomatizing Team Equivalence for Finite-State Machines | Roberto Gorrieri | 2019 | Springer | 2.01 Capitolo / saggio in libro | |
| 8 | CCS(25,12) is Turing-complete | Roberto, Gorrieri | 2017 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | |
| 9 | 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 | |
| 10 | 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 | |
| 11 | Classification of Security Properties. Part II: Network Security | R.Focardi; R.Gorrieri; F.Martinelli | 2004 | Springer | 2.01 Capitolo / saggio in libro | |
| 12 | 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 | |
| 13 | Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 | P. Degano; R. Gorrieri | 2009 | Springer-Verlag | 3.02 Curatela | |
| 14 | Contrasting Malicious Applets by Modifying the Java Virtual Machine | V.Ciaschini; R.Gorrieri | 2004 | Kluwer | 4.01 Contributo in Atti di convegno | |
| 15 | 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 | |
| 16 | Formal Methods for Open Object-Based Distributed Systems | R. Gorrieri; H. Wehrheim | 2006 | Springer-Verlag | 3.02 Curatela | |
| 17 | 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 | |
| 18 | Foundations of Security Analysis and design II | R. Focardi; R. Gorrieri | 2004 | Springer | 3.02 Curatela | |
| 19 | Foundations of Security Analysis and Design III | A. Aldini; R. Gorrieri; F. Martinelli | 2005 | Springer-Verlag | 3.02 Curatela | |
| 20 | Foundations of Security Analysis and Design IV | A. Aldini; R.Gorrieri | 2007 | Springer-Verlag | 3.02 Curatela |
Dettaglio
GORRIERI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Copyright © 2020