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

Rocco De Nicola

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

2008
120 Pierpaolo Degano, Rocco De Nicola, José Meseguer: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Springer 2008
119EERocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
118EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
117EERocco De Nicola, Pierpaolo Degano, José Meseguer: Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8
116EEMichele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
115EERoberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
114EERocco De Nicola, Michele Loreti: Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008)
113EEFrancesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi: TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)
112EEGiuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008)
2007
111 Rocco De Nicola: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings Springer 2007
110 Rocco De Nicola: Session Centered Calculi for Service Oriented Computing. ICTCS 2007: 6-10
109EEMaria Carla Palmeri, Rocco De Nicola, Mieke Massink: Basic Observables for Probabilistic May Testing. QEST 2007: 189-200
108EERocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007)
107EELorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti: Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)
106EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
105EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
104EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
2006
103EEMartin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
102EEMichele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
101EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Towards a Logic for Performance and Mobility. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006)
100EERocco De Nicola: From Process Calculi to Klaim and Back. Electr. Notes Theor. Comput. Sci. 162: 159-162 (2006)
99EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
98EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
2005
97 Rocco De Nicola, Davide Sangiorgi: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers Springer 2005
96EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
95EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
94EELorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193
93EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
92EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
91EERocco De Nicola: Languages and Process Calculi for Network Aware Programming - Short Summary -. ICTAC 2005: 49-52
90EEGiuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
89EERocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
88EELorenzo Bettini, Rocco De Nicola: Mobile Distributed Programming in X-Klaim. SFM 2005: 29-68
87EERocco De Nicola, Davide Sangiorgi: Types in concurrency. Acta Inf. 42(2-3): 79-81 (2005)
86EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)
2004
85 Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings Springer 2004
84EERocco De Nicola, Michele Loreti: MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119
83EELorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207
82EERocco De Nicola, Michele Loreti: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
81EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004)
2003
80EELorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
79EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479
78EERocco De Nicola, Anna Labella: Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302(1-3): 179-189 (2003)
2002
77EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
76EELorenzo Bettini, Rocco De Nicola: A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. FIDJI 2002: 175-184
75EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
74EELuis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
73EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002)
72EEFlavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
71EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese: Klava: a Java package for distributed and mobile applications. Softw., Pract. Exper. 32(14): 1365-1394 (2002)
2001
70EELorenzo Bettini, Rocco De Nicola: Translating Strong Mobility into Weak Mobility. Mobile Agents 2001: 182-197
69EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: (2001)
68EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001)
67EEXiao Jun Chen, Rocco De Nicola: Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theor. Comput. Sci. 254(1-2): 337-361 (2001)
66EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001)
2000
65EERocco De Nicola, Michele Loreti: A Modal Logic for KLAIM. AMAST 2000: 339-354
64EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
63EERocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron: Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION 2000: 66-80
62 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
61 Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6
60EERocco De Nicola, Rosario Pugliese: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000)
59EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
1999
58EERocco De Nicola: Coordination and Access Control of Mobile Agents. COORDINATION 1999: 1-2
57EEFlavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
56 Michele Boreale, Rocco De Nicola, Rosario Pugliese: A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179
55EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. LICS 1999: 157-166
54 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
53 Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999)
52 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999)
51 Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
1998
50EESimone Veglioni, Rocco De Nicola: Possible Worlds for Process Algebras. CONCUR 1998: 179-193
49EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Asynchronous Observations of Processes. FoSSaCS 1998: 95-109
48EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
47EERocco De Nicola, Anna Labella: Tree Morphisms and Bisimulations. Electr. Notes Theor. Comput. Sci. 18: (1998)
46EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998)
1997
45 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
44 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. ICALP 1997: 482-492
43 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
42 Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997)
1996
41 Rocco De Nicola, Rosario Pugliese: A Process Algebra Based on LINDA. COORDINATION 1996: 160-178
40 Xiao Jun Chen, Rocco De Nicola: Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. ICALP 1996: 63-74
39 Rocco De Nicola, Rosario Pugliese: Testing Semantics of Asynchronous Distributed Programs. LOMAPS 1996: 320-344
38 Rocco De Nicola, Scott A. Smolka: Concurrency: Theory and Practice. ACM Comput. Surv. 28(4es): 52 (1996)
37 Flavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996)
36 Michele Boreale, Rocco De Nicola: A Symbolic Semantics for the pi-Calculus. Inf. Comput. 126(1): 34-52 (1996)
1995
35 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260
34 Flavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
33 Michele Boreale, Rocco De Nicola: Testing Equivalence for Mobile Processes Inf. Comput. 120(2): 279-303 (1995)
32EERocco De Nicola, Frits W. Vaandrager: Three Logics for Branching Bisimulation. J. ACM 42(2): 458-487 (1995)
31EERocco De Nicola, Roberto Segala: A Process Algebraic View of Input/Output Automata. Theor. Comput. Sci. 138(2): 391-423 (1995)
1994
30 Michele Boreale, Rocco De Nicola: A Symbolic Semantics for the pi-calculus (Extended Abstract). CONCUR 1994: 299-314
29 Flavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165
28 Rocco De Nicola, Anna Labella: A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS 1994: 536-545
1993
27 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems 25(7): 761-778 (1993)
26 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1): 63-91 (1993)
1992
25 Michele Boreale, Rocco De Nicola: Testing Equivalence for Mobile Processes (Extended Abstract). CONCUR 1992: 2-16
24 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Observation Trees. NAPAW 1992: 103-118
1991
23 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47
22 Rocco De Nicola: Action and State-based Logics for Process Algebras. CONCUR 1991: 20-22
1990
21 Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager: Back and Forth Bisimulations. CONCUR 1990: 152-165
20 Rocco De Nicola, Gian Luigi Ferrari: Observational Logics and Concurrency Models. FSTTCS 1990: 301-315
19 Rocco De Nicola, Frits W. Vaandrager: Three Logics for Branching Bisimulation (Extended Abstract) LICS 1990: 118-129
18 Rocco De Nicola, Frits W. Vaandrager: Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1990: 407-419
17 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3): 223-262 (1990)
1989
16 Rocco De Nicola, Paola Inverardi, Monica Nesi: Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems 1989: 54-67
1988
15 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) LICS 1988: 133-141
14 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial orderings descriptions and observations of nondeterministic concurrent processes. REX Workshop 1988: 438-466
13 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Inf. 26(1/2): 59-91 (1988)
1987
12 Rocco De Nicola, Matthew Hennessy: CCS without tau's. TAPSOFT, Vol.1 1987: 138-152
11 Rocco De Nicola: Extensional Equivalences for Transition Systems. Acta Inf. 24(2): 211-237 (1987)
1986
10 Rocco De Nicola: Net Theory and Application - Response. IFIP Congress 1986: 833-836
9 Luca Aceto, Rocco De Nicola, Alessandro Fantechi: Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20
8 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism 1986: 144-165
1985
7 Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial ordering derivations for CCS. FCT 1985: 520-533
6 Rocco De Nicola: Two Complete Axiom Systems for a Theory of Communicating Sequential Processes Information and Control 64(1-3): 136-172 (1985)
1984
5 Rocco De Nicola: Models and Operators for Nondeterministic Processes. MFCS 1984: 433-442
4 Rocco De Nicola, Matthew Hennessy: Testing Equivalences for Processes. Theor. Comput. Sci. 34: 83-133 (1984)
1983
3 Rocco De Nicola: A Complete Set of Axioms for a Theory of Communicating Sequential Processes. FCT 1983: 115-126
2 Rocco De Nicola, Matthew Hennessy: Testing Equivalence for Processes. ICALP 1983: 548-560
1981
1 Rocco De Nicola, A. Matelli, Ugo Montanari: Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS 1981: 513-522

Coauthor Index

1Luca Aceto [9]
2Luis Filipe Andrade [74]
3Paolo Baldan [74]
4Hubert Baumeister [74]
5Lorenzo Bettini [48] [61] [69] [70] [71] [75] [76] [77] [80] [81] [83] [88] [94] [107] [118]
6Viviana Bono [80]
7Michele Boreale [25] [30] [33] [36] [44] [49] [52] [55] [56] [62] [66] [68] [73] [102] [116]
8Roberto Bruni [74] [102] [115] [116]
9Luís Caires [102]
10Francesco Calzolai [113]
11Giuseppe Castagna [90] [112]
12Xiao Jun Chen [40] [67]
13Andrea Corradini [74]
14Flavio Corradini [29] [34] [37] [42] [51] [53] [57] [72]
15Pierpaolo Degano [7] [8] [13] [14] [15] [17] [24] [26] [117] [120]
16Daniele Falassi [83] [94] [107]
17Alessandro Fantechi [9] [23] [27] [35]
18Gian Luigi Ferrari (GianLuigi Ferrari) [20] [43] [45] [46] [48] [54] [59] [61] [64] [79] [80] [85] [95]
19José Luiz Fiadeiro [74]
20Fabio Gadducci [74]
21Stephen Gilmore (Stephen T. Gilmore) [103]
22Stefania Gnesi [23] [27] [35] [74]
23Daniele Gorla [80] [86] [92] [93] [96] [98] [99] [105] [106] [119]
24René Rydhof Hansen [119]
25Matthew Hennessy [2] [4] [12]
26Piotr Hoffman [74]
27Matthias M. Hölzl [103]
28Paola Inverardi [16]
29Joost-Pieter Katoen [101] [104]
30Nora Koch [74]
31Piotr Kosiuczenko [74]
32Anna Labella [28] [34] [47] [51] [53] [57] [72] [78]
33Marc Lacoste [83] [94]
34Ivan Lanese [102]
35Alessandro Lapadula [74]
36Salvatore Larosa [35]
37Diego Latella [74] [89] [101] [104]
38Antónia Lopes [74]
39Luís M. B. Lopes [83]
40Michele Loreti [65] [74] [75] [77] [80] [81] [82] [84] [94] [102] [104] [107] [108] [113] [114] [115] [116] [118]
41Roberto Lucchi [103]
42Francisco Martins [102]
43Mieke Massink [74] [89] [101] [104] [109]
44A. Matelli [1]
45Franco Mazzanti [74]
46Greg Meredith [85]
47José Meseguer [117] [120]
48Leonardo Gaetano Mezzina [115]
49Eugenio Moggi [80]
50Ugo Montanari [1] [7] [8] [13] [14] [15] [17] [21] [24] [26] [74] [79] [95] [102]
51Monica Nesi [16]
52Flemming Nielson [119]
53Hanne Riis Nielson [119]
54Cristóvão Oliveira [74]
55Licínio Oliveira [83]
56Maria Carla Palmeri [109]
57Hervé Paulino [83]
58Christian W. Probst [119]
59Rosario Pugliese [39] [41] [43] [44] [45] [46] [48] [49] [52] [54] [55] [56] [59] [60] [61] [62] [63] [64] [66] [68] [69] [71] [73] [74] [79] [80] [86] [92] [93] [95] [96] [98] [99] [105] [106] [119]
60António Ravara [102]
61Gioia Ristori [23] [27] [35]
62Antony I. T. Rowstron [63]
63Davide Sangiorgi [87] [97] [102]
64Roberto Segala [31]
65Scott A. Smolka [38]
66Andrzej Tarlecki [74]
67Francesco Tiezzi [113]
68Mirco Tribastone [103]
69Emilio Tuosto [79] [80] [95]
70Frits W. Vaandrager [18] [19] [21] [32]
71Daniele Varacca [90] [112]
72Vasco Thudichum Vasconcelos [83] [102]
73Simone Veglioni [50]
74Betti Venneri [59] [80]
75Michel Wermelinger [74]
76Martin Wirsing [74] [103]
77Gianluigi Zavattaro [102] [103]
78Artur Zawlocki [74]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)