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

Roberto Gorrieri Vis

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

*2009
130EEPierpaolo Degano, Roberto Gorrieri: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Springer 2009
129EEAlessandro Aldini, Gilles Barthe, Roberto Gorrieri: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures Springer 2009
128EERoland Meyer, Roberto Gorrieri: On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480
127EERoberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
2008
126EERoberto Gorrieri: Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models 2008: 403-408
125EESimone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225
124EECristian Versari, Roberto Gorrieri: pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506
123EERoberto 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
122 Alessandro Aldini, Roberto Gorrieri: Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures Springer 2007
121EECristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255
2006
120 Roberto 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
119EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
118EEClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
117EERoberto 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)
116EERoberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Supporting Secure Coordination in SecSpaces. Fundam. Inform. 73(4): 479-506 (2006)
115EENadia Busi, Roberto Gorrieri: On the Computational Power of Brane Calculi. T. Comp. Sys. Biology: 16-43 (2006)
2005
114 Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures Springer 2005
113EERoberto Gorrieri, Claudio Guidi, Roberto Lucchi: Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348
112EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
111EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
110EENadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
109EEMario 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)
108EERoberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)
107EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)
2004
106 Riccardo Focardi, Roberto Gorrieri: Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures Springer 2004
105EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
104EEMario 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
103EEAngelo Troina, Alessandro Aldini, Roberto Gorrieri: Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92
102EENadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16
101EEMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806
100 Vincenzo Ciaschini, Roberto Gorrieri: Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC 2004: 47-64
99EEMario 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)
98EEAngelo Troina, Alessandro Aldini, Roberto Gorrieri: Approximating Imperfect Cryptography in a Formal Model. Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004)
97EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)
96EERoberto 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)
95 Alessandro Aldini, Mario Bravetti, Roberto Gorrieri: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security 12(2): 191-245 (2004)
94EERoberto 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
93EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149
92EERoberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128
91EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154
90EEAlessandro Aldini, Roberto Gorrieri: A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228
89EENadia Busi, Roberto Gorrieri: A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344
88EERoberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67
87EENadia 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): (2003)
86EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
85 Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)
2002
84EEAlessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
83EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185
82EEAlessandro Aldini, Roberto Gorrieri: Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36
81EEMario 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)
80 Roberto Gorrieri, Ulrich Herzog, Jane Hillston: Unified specification and performance evaluation using stochastic process algebras. Perform. Eval. 50(2/3): 79-82 (2002)
79EEMario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)
78EERoberto Gorrieri: Editorial. Theor. Comput. Sci. 283(2): 269-270 (2002)
2001
77 Riccardo 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
76EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
75EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299
74 Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
73EEAlessandro 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)
72EERiccardo 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: (2001)
71EEChiara 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: (2001)
70 Arend Rensink, Roberto Gorrieri: Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001)
69EEMarco 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
68EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
67EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272
66EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184
65 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-
64EERiccardo Focardi, Roberto Gorrieri: Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396
63EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
62EEMario Bravetti, Roberto Gorrieri: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755
61 Roberto Gorrieri: Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486
60EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)
59EEMaria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti: Coping with denial of service due to malicious Java applets. Computer Communications 23(17): 1645-1654 (2000)
58EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: (2000)
57 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)
56EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)
1999
55 Paolo 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
54EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212
53EEPierpaolo 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)
52EEMario Bravetti, Roberto Gorrieri: Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. Electr. Notes Theor. Comput. Sci. 27: (1999)
1998
51EEMario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422
50EERoberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
49EEMarco 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)
48 Marco 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)
47EERoberto Gorrieri, Chris Hankin: Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192(2): 163-165 (1998)
46EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
45EEMarco 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
44 Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings Springer 1997
43 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219
42 Arend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. FBT 1997: 69-78
41EEArend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786
40EEFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
39EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: (1997)
38EERiccardo 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
37 Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
36EEMarco Bernardo, Roberto Gorrieri: Extended Markovian Process Algebra. CONCUR 1996: 315-330
35 Riccardo Focardi, Roberto Gorrieri: Automatic Compositional Verification of Some Security Properties. TACAS 1996: 167-186
34 Roberto Gorrieri: On the Power of Concurrency Theory. ACM Comput. Surv. 28(4es): 42 (1996)
33 Ursula Goltz, Roberto Gorrieri, Arend Rensink: Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996)
1995
32EENadia Busi, Roberto Gorrieri: A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159
31EERiccardo Focardi, Roberto Gorrieri, V. Panini: The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69
30EEFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
29 Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)
28 Roberto Gorrieri, Cosimo Laneve: Split and ST Bisimulation Semantics Inf. Comput. 118(2): 272-288 (1995)
27 Pierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement Inf. Comput. 122(1): 97-119 (1995)
26 Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for Process Algebras. Journal of Computer Security 3(1): 5-34 (1995)
25EERoberto Gorrieri, Marco Roccetti, Enrico Stancampiano: A Theory of Processes with Durational Actions. Theor. Comput. Sci. 140(1): 73-94 (1995)
24EERoberto 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
23EERoberto Gorrieri, Glauco Siliprandi: Real-Time System Verification using P/T Nets. CAV 1994: 14-26
22 Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for CCS. CSFW 1994: 126-136
21 Nadia Busi, Roberto Gorrieri: Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65
20 Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457
19 Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188
18 Ursula Goltz, Roberto Gorrieri, Arend Rensink: On Syntactic and Semantic Action Refinement. TACS 1994: 385-404
1993
17 Roberto Gorrieri, Marco Roccetti: Towards Performance Evaluation in Process Algebras. AMAST 1993: 289-296
16EEPierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna: On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30
15 Antonio Brogi, Roberto Gorrieri: Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993)
1992
14EEPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153
13 Roberto Gorrieri: A hierarchy of system descriptions via atomic linear refinement. Fundam. Inform. 16(3-4): 289-336 (1992)
1991
12EERoberto Gorrieri, Ugo Montanari: Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266
11EEPierpaolo Degano, Roberto Gorrieri: Atomic Refinement in Process Description Languages. MFCS 1991: 121-130
10EERoberto Gorrieri, Cosimo Laneve: The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180
9EEGian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48
1990
8EERoberto Gorrieri, Ugo Montanari: SCONE: A Simple Calculus of Nets. CONCUR 1990: 2-30
7 Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri: Implicative Formulae in the ``Proofs as Computations'' Analogy. POPL 1990: 59-71
6 Roberto Gorrieri, Ugo Montanari: Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. Int. J. Found. Comput. Sci. 1(3): 277-294 (1990)
5 Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990)
1989
4 Antonio Brogi, Roberto Gorrieri: Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652
3EEAntonio Brogi, Roberto Gorrieri: A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177
1988
2EERoberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270
1987
1EEPierpaolo 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] [90] [95] [98] [103] [114] [122] [129]
3Andrea Asperti [7]
4Gilles Barthe [129]
5Marco Bernardo [20] [29] [36] [45] [48] [49] [51] [69] [73]
6Chiara Bodei [71]
7Mario Bravetti [51] [52] [62] [79] [81] [84] [86] [95] [97] [99] [101] [104] [105] [107] [109]
8Antonio Brogi [3] [4] [15]
9Nadia Busi [19] [21] [29] [32] [39] [43] [46] [56] [57] [65] [68] [74] [76] [87] [89] [102] [104] [110] [111] [112] [115] [118] [119] [121]
10Xiao Jun Chen [37]
11Paolo Ciancarini [55] [74]
12Vincenzo Ciaschini [100]
13Flavio Corradini [30] [37] [40]
14Pierpaolo Degano [1] [11] [14] [16] [27] [44] [53] [71] [130]
15Lorenzo Donatiello [20] [48]
16Antonio Durante [54] [60] [75]
17Alessandro Fantechi [55]
18Carlo Ferigato [125]
19Gian Luigi Ferrari (GianLuigi Ferrari) [7] [9]
20Maria Felicia Florio [59]
21Riccardo Focardi [22] [26] [31] [35] [38] [50] [54] [58] [60] [63] [64] [66] [67] [71] [72] [75] [77] [83] [85] [106]
22Simone Frau [125]
23Rob J. van Glabbeek [19]
24Dieter Gollmann [50]
25Ursula Goltz [18] [33]
26Claudio Guidi [111] [112] [113] [118] [119]
27Chris Hankin [47] [84]
28Ulrich Herzog [80]
29Jane Hillston [80]
30Cosimo Laneve [10] [28]
31Ruggero Lanotte [72] [96]
32Enrico Locatelli [92]
33Gavin Lowe [50]
34Roberto Lucchi [86] [87] [97] [101] [104] [105] [107] [109] [111] [112] [113] [116] [118] [119]
35Andrea Maggiolo-Schettini [72] [96]
36Gianluigi Marchetti [59]
37Sergio Marchetti [1] [2] [5]
38Alberto Marchetti-Spaccamela [44] [53]
39Fabio Martinelli [58] [63] [66] [67] [71] [72] [83] [85] [88] [91] [92] [93] [94] [96] [108] [110] [114] [117] [123] [127]
40Ilaria Matteucci [127]
41Catherine Meadows [50]
42Roland Meyer [128]
43Ugo Montanari [2] [5] [6] [8] [9] [12] [24]
44V. Panini [31]
45Marinella Petrocchi [91] [93] [117] [123]
46Alessandra Di Pierro [84]
47Arend Rensink [18] [33] [41] [42] [70]
48Marco Roccetti [17] [25] [30] [40] [49] [73]
49Giuseppe Rosolini [14]
50Glauco Siliprandi [23]
51Enrico Stancampiano [25]
52Paul F. Syverson [50]
53Simone Tini [72] [96]
54Angelo Troina [98] [103]
55Enrico Tronci [72] [96]
56Anna Vaccarelli [91] [93]
57Cristian Versari [121] [124]
58Sebastiano Vigna [16]
59Peter Wegner [53]
60Heike Wehrheim [120]
61Herbert Wiklicky [84]
62Gianluigi Zavattaro [39] [43] [46] [56] [57] [65] [68] [74] [76] [87] [97] [101] [104] [105] [107] [109] [111] [112] [116] [118] [119]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)