dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Roberto Gorrieri Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Roberto Gorrieri: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures Springer 2011
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Matteo Vernali: On Intransitive Non-interference in Some Models of Concurrency. FOSAD 2011: 125-151
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Cristian Versari: An Operational Petri Net Semantics for A2CCS. Fundam. Inform. 109(2): 135-160 (2011)
2010
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Cristian Versari: A Process Calculus for Expressing Finite Place/Transition Petri Nets EXPRESS'10 2010: 76-90
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Philippe Darondeau, Roberto Gorrieri: On the Decidability of Non Interference over Unbounded Petri Nets SecCo 2010: 16-33
2009
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Springer 2009
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Gilles Barthe, Roberto Gorrieri: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures Springer 2009
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Meyer, Roberto Gorrieri: On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: On Petri Net semantics for Process Calculi. ICTCS 2009: 3
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebr. Program. 78(3): 138-162 (2009)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science 19(6): 1065-1090 (2009)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Versari, Nadia Busi, Roberto Gorrieri: An expressiveness study of priority in process calculi. Mathematical Structures in Computer Science 19(6): 1161-1189 (2009)
2008
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models 2008: 403-408
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Versari, Roberto Gorrieri: pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008)
2007
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Roberto Gorrieri: Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures Springer 2007
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: Obituary, Nadia Busi (1968-2007). Bulletin of the EATCS 93: 18-19 (2007)
2006
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Heike Wehrheim: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings Springer 2006
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Supporting Secure Coordination in SecSpaces. Fundam. Inform. 73(4): 479-506 (2006)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: On the Computational Power of Brane Calculi. T. Comp. Sys. Biology: 16-43 (2006)
2005
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Roberto Gorrieri, Fabio Martinelli: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures Springer 2005
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Claudio Guidi, Roberto Lucchi: Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)
2004
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures Springer 2004
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ciaschini, Roberto Gorrieri: Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC 2004: 47-64
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri: Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. Electr. Notes Theor. Comput. Sci. 99: 1-2 (2004)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Troina, Alessandro Aldini, Roberto Gorrieri: Approximating Imperfect Cryptography in a Formal Model. Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Mario Bravetti, Roberto Gorrieri: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security 12(2): 191-245 (2004)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004)
2003
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Marco Roccetti, Roberto Gorrieri: On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Sig. Proc. 2003(10): 1027-1042 (2003)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electr. Notes Theor. Comput. Sci. 68(3): 310-327 (2003)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. Electr. Notes Theor. Comput. Sci. 85(3): 54-70 (2003)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Real-time information flow analysis. IEEE Journal on Selected Areas in Communications 21(1): 20-35 (2003)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)
2002
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri: Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3(4): 465-520 (2002)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ulrich Herzog, Jane Hillston: Unified specification and performance evaluation using stochastic process algebras. Perform. Eval. 50(2/3): 79-82 (2002)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: Editorial. Theor. Comput. Sci. 283(2): 269-270 (2002)
2001
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] Springer 2001
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti: Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: 229-243 (2001)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArend Rensink, Roberto Gorrieri: Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Roberto Gorrieri: Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54]. Theor. Comput. Sci. 254(1-2): 691-694 (2001)
2000
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti: Coping with denial of service due to malicious Java applets. Computer Communications 23(17): 1645-1654 (2000)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: 101-112 (2000)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)
1999
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy Kluwer 1999
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner: Computing Surveys' Electronic Symposium on the Theory of Computation. ACM Comput. Surv. 31(3): 223-226 (1999)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri: Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. Electr. Notes Theor. Comput. Sci. 27: 107-126 (1999)
1998
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Roberto Gorrieri, Marco Roccetti: Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. Formal Asp. Comput. 10(4): 313-337 (1998)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. Inf. Comput. 144(2): 83-154 (1998)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Chris Hankin: Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192(2): 163-165 (1998)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Roberto Gorrieri: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theor. Comput. Sci. 202(1-2): 1-54 (1998)
1997
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings Springer 1997
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. FBT 1997: 69-78
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: 75 (1997)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Trans. Software Eng. 23(9): 550-571 (1997)
1996
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Roberto Gorrieri: Extended Markovian Process Algebra. CONCUR 1996: 315-330
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: Automatic Compositional Verification of Some Security Properties. TACAS 1996: 167-186
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: On the Power of Concurrency Theory. ACM Comput. Surv. 28(4es): 42 (1996)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Roberto Gorrieri, Arend Rensink: Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996)
1995
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri, V. Panini: The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Cosimo Laneve: Split and ST Bisimulation Semantics Inf. Comput. 118(2): 272-288 (1995)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement Inf. Comput. 122(1): 97-119 (1995)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for Process Algebras. Journal of Computer Security 3(1): 5-34 (1995)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Marco Roccetti, Enrico Stancampiano: A Theory of Processes with Durational Actions. Theor. Comput. Sci. 140(1): 73-94 (1995)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ugo Montanari: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theor. Comput. Sci. 141(1&2): 195-252 (1995)
1994
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Glauco Siliprandi: Real-Time System Verification using P/T Nets. CAV 1994: 14-26
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for CCS. CSFW 1994: 126-136
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri: Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Roberto Gorrieri, Arend Rensink: On Syntactic and Semantic Action Refinement. TACS 1994: 385-404
1993
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Marco Roccetti: Towards Performance Evaluation in Process Algebras. AMAST 1993: 289-296
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna: On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Roberto Gorrieri: Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993)
1992
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri: A hierarchy of system descriptions via atomic linear refinement. Fundam. Inform. 16(3-4): 289-336 (1992)
1991
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ugo Montanari: Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: Atomic Refinement in Process Description Languages. MFCS 1991: 121-130
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Cosimo Laneve: The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48
1990
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ugo Montanari: SCONE: A Simple Calculus of Nets. CONCUR 1990: 2-30
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri: Implicative Formulae in the ``Proofs as Computations'' Analogy. POPL 1990: 59-71
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ugo Montanari: Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. Int. J. Found. Comput. Sci. 1(3): 277-294 (1990)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990)
1989
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Roberto Gorrieri: Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Roberto Gorrieri: A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270
1987
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Sergio Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/ event System. European Workshop on Applications and Theory of Petri Nets 1987: 85-105

Coauthor Index

1Martín Abadi [50]
2Alessandro Aldini [73] [82] [84] [89] [92] [97] [100] [105] [116] [125] [136] [142]
3Andrea Asperti [7]
4Gilles Barthe [136]
5Marco Bernardo [20] [29] [36] [45] [48] [49] [51] [69] [73]
6Eike Best [138]
7Chiara Bodei [72]
8Mario Bravetti [51] [52] [62] [79] [81] [84] [87] [97] [99] [101] [103] [106] [107] [109] [111]
9Antonio Brogi [3] [4] [15]
10Nadia Busi [19] [21] [29] [32] [39] [43] [46] [56] [57] [65] [68] [74] [76] [88] [91] [104] [106] [112] [113] [114] [117] [120] [121] [124] [130] [131] [132]
11Xiao Jun Chen [37]
12Paolo Ciancarini [55] [74]
13Vincenzo Ciaschini [102]
14Flavio Corradini [30] [37] [40]
15Philippe Darondeau [138]
16Pierpaolo Degano [1] [11] [14] [16] [27] [44] [53] [72] [137]
17Lorenzo Donatiello [20] [48]
18Antonio Durante [54] [60] [75]
19Alessandro Fantechi [55]
20Carlo Ferigato [128]
21Gian Luigi Ferrari (GianLuigi Ferrari) [7] [9]
22Maria Felicia Florio [59]
23Riccardo Focardi [22] [26] [31] [35] [38] [50] [54] [58] [60] [63] [64] [66] [67] [71] [72] [75] [77] [83] [85] [86] [108]
24Simone Frau [128]
25Rob J. van Glabbeek [19]
26Dieter Gollmann [50]
27Ursula Goltz [18] [33]
28Claudio Guidi [113] [114] [115] [120] [121]
29Chris Hankin [47] [84]
30Ulrich Herzog [80]
31Jane Hillston [80]
32Cosimo Laneve [10] [28]
33Ruggero Lanotte [71] [98]
34Enrico Locatelli [94]
35Gavin Lowe [50]
36Roberto Lucchi [87] [88] [99] [103] [106] [107] [109] [111] [113] [114] [115] [118] [120] [121]
37Andrea Maggiolo-Schettini [71] [98]
38Gianluigi Marchetti [59]
39Sergio Marchetti [1] [2] [5]
40Alberto Marchetti-Spaccamela [44] [53]
41Fabio Martinelli [58] [63] [66] [67] [71] [72] [83] [85] [86] [90] [93] [94] [95] [96] [98] [110] [112] [116] [119] [126] [133]
42Ilaria Matteucci [133]
43Catherine Meadows [50]
44Roland Meyer [135]
45Ugo Montanari [2] [5] [6] [8] [9] [12] [24]
46V. Panini [31]
47Marinella Petrocchi [93] [95] [119] [126]
48Alessandra Di Pierro [84]
49Arend Rensink [18] [33] [41] [42] [70]
50Marco Roccetti [17] [25] [30] [40] [49] [73] [89]
51Giuseppe Rosolini [14]
52Glauco Siliprandi [23]
53Enrico Stancampiano [25]
54Paul F. Syverson [50]
55Simone Tini [71] [98]
56Angelo Troina [100] [105]
57Enrico Tronci [71] [98]
58Anna Vaccarelli [93] [95]
59Matteo Vernali [141]
60Cristian Versari [124] [127] [130] [139] [140]
61Sebastiano Vigna [16]
62Peter Wegner [53]
63Heike Wehrheim [122]
64Herbert Wiklicky [84]
65Gianluigi Zavattaro [39] [43] [46] [56] [57] [65] [68] [74] [76] [88] [99] [103] [106] [107] [109] [111] [113] [114] [118] [120] [121]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page