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

Gianluigi Zavattaro Vis

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

*2009
95EEMarco Bernardo, Luca Padovani, Gianluigi Zavattaro: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Springer 2009
94EEMario Bravetti, Gianluigi Zavattaro: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings Springer 2009
93EEGiorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro: The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172
92EECinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169
91EEMario Bravetti, Gianluigi Zavattaro: Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295
90EEGianluigi Zavattaro: Reachability Analysis in BioAmbients. Electr. Notes Theor. Comput. Sci. 227: 179-193 (2009)
89EEMario Bravetti, Gianluigi Zavattaro: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3): 565-599 (2009)
88EEMario Bravetti, Gianluigi Zavattaro: A theory of contracts for strong service compliance. Mathematical Structures in Computer Science 19(3): 601-638 (2009)
2008
87 Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures Springer 2008
86 Doug Lea, Gianluigi Zavattaro: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings Springer 2008
85EELuca Cardelli, Gianluigi Zavattaro: On the Computational Power of Biochemistry. AB 2008: 65-80
84EEClaudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
83EEGianluigi Zavattaro, Luca Cardelli: Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491
82EEIvan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
81EEGianluigi Zavattaro: A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. SFM 2008: 507-523
80EEMario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
79EEMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
78EEMario Bravetti, Gianluigi Zavattaro: On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18
77EEMario Bravetti, Gianluigi Zavattaro: Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54
76EEMario Bravetti, Gianluigi Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4): 451-478 (2008)
75EENadia Busi, Gianluigi Zavattaro: A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75(1): 52-85 (2008)
74EEAlberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008)
2007
73EEAlberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183
72EEMario Bravetti, Gianluigi Zavattaro: A Theory for Strong Service Compliance. COORDINATION 2007: 96-112
71EEFabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro: Composing Services with JOLIE. ECOWS 2007: 13-22
70EEMario Bravetti, Gianluigi Zavattaro: Contract Based Multi-party Service Composition. FSEN 2007: 207-222
69EEMario Bravetti, Gianluigi Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Software Composition 2007: 34-50
68EEFabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci. 181: 19-33 (2007)
67EEMario Bravetti, Gianluigi Zavattaro: Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebr. Program. 70(1): 1-2 (2007)
66EEMario Bravetti, Gianluigi Zavattaro: Service oriented computing from a process algebraic perspective. J. Log. Algebr. Program. 70(1): 3-14 (2007)
2006
65 Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings Springer 2006
64EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
63EEClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
62EEMartin 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
61EEMichele 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
60EEMario Bravetti, Gianluigi Zavattaro: Service Oriented Computing: A New Challenge for Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006)
59EENadia Busi, Gianluigi Zavattaro: A Process Algebraic View of Coordination. Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006)
58EERoberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Supporting Secure Coordination in SecSpaces. Fundam. Inform. 73(4): 479-506 (2006)
57EERiccardo Focardi, Gianluigi Zavattaro: Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. 63(1): 1-2 (2006)
56EERiccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro: Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63(1): 3-15 (2006)
2005
55 Martin Steffen, Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Springer 2005
54 Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings Springer 2005
53EENadia Busi, Gianluigi Zavattaro: Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219
52EENadia Busi, Gianluigi Zavattaro: Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262
51EECosimo Laneve, Gianluigi Zavattaro: Foundations of Web Transactions. FoSSaCS 2005: 282-298
50EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
49EENadia Busi, Gianluigi Zavattaro: Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159
48EEMario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835
47EECosimo Laneve, Gianluigi Zavattaro: web-pi at Work. TGC 2005: 182-194
46EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
45EERiccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005)
44EEMario 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)
43EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)
2004
42EESirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro: From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. COORDINATION 2004: 105-118
41EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
40EEMario 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
39EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
38EERoberto Lucchi, Gianluigi Zavattaro: WSSecSpaces: a secure data-driven coordination service for Web Services applications. SAC 2004: 487-491
37EEMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806
36EEMario Bravetti, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004)
35EEMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)
34EENadia Busi, Alberto Montresor, Gianluigi Zavattaro: Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004)
33EENadia Busi, Gianluigi Zavattaro: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004)
2003
32EELaura Bocchi, Cosimo Laneve, Gianluigi Zavattaro: A Calculus for Long-Running Transactions. FMOODS 2003: 124-138
31EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
30 Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386
29EENadia 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)
28EERiccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
27EEMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003)
26EENadia Busi, Gianluigi Zavattaro: Expired data collection in shared dataspaces. Theor. Comput. Sci. 3(298): 529-556 (2003)
2002
25EENadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro: State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124
24EENadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299
23EENadia Busi, Gianluigi Zavattaro: On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366
22EENadia Busi, Gianluigi Zavattaro: On the Expressiveness of Movement in Pure Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
2001
21EEMauro Gaspari, Gianluigi Zavattaro: An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444
20EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
19EENadia Busi, Gianluigi Zavattaro: Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333
18 Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
17EENadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. Electr. Notes Theor. Comput. Sci. 54: (2001)
16EEAntonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
15EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
14EENadia Busi, Gianluigi Zavattaro: On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55
13 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-
12 Nadia Busi, Gianluigi Zavattaro: Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) 2000: 233-239
11 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)
10EEMarcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro: A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000)
9EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)
1999
8EEFrank S. de Boer, Gianluigi Zavattaro: Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241
7EEMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165
6EEMauro Gaspari, Gianluigi Zavattaro: Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP 1999: 495-518
5 Mauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors. FMOODS 1999
1998
4EEGianluigi Zavattaro: Towards a Hierarchy of Negative Test Operators for Generative Communication. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
3EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
1997
2 Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219
1EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: (1997)

Coauthor Index

1Farhad Arbab [10]
2J. W. de Bakker (Jaco de Bakker) [10]
3Marco Bernardo [87] [95]
4Laura Bocchi [32]
5Frank S. de Boer [8]
6Marcello M. Bonsangue [7] [10] [27]
7Michele Boreale [61]
8Mario Bravetti [35] [36] [37] [40] [41] [43] [44] [48] [54] [60] [65] [66] [67] [69] [70] [72] [76] [77] [78] [79] [80] [88] [89] [91] [94]
9Antonio Brogi [16]
10Roberto Bruni [61]
11Nadia Busi [1] [2] [3] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [29] [30] [31] [33] [34] [39] [40] [46] [49] [50] [52] [53] [59] [63] [64] [75]
12Luís Caires [61]
13Sirio Capizzi [42]
14Luca Cardelli [83] [85]
15Paolo Ciancarini [18]
16Alberto Credi [73] [74]
17Pierpaolo Degano [87]
18Giorgio Delzanno [93]
19Riccardo Focardi [28] [45] [56] [57]
20Maurizio Gabbrielli [16] [31] [39] [93]
21Marco Garavelli [73] [74]
22Mauro Gaspari [5] [6] [21]
23Stephen Gilmore (Stephen T. Gilmore) [62]
24Cinzia Di Giusto [92] [93]
25Roberto Gorrieri [1] [2] [3] [9] [11] [13] [15] [18] [20] [29] [35] [37] [40] [41] [43] [44] [46] [50] [58] [63] [64]
26Claudio Guidi [46] [48] [50] [63] [64] [68] [71] [82] [84]
27Matthias M. Hölzl [62]
28Leïla Kloul [54]
29Joost N. Kok [7] [27]
30Ivan Lanese [61] [80] [82] [84]
31Cosimo Laneve [32] [47] [51] [73] [74] [93]
32Diego Latella [79]
33Doug Lea [86]
34Michele Loreti [61] [79]
35Roberto Lucchi [29] [35] [37] [38] [40] [41] [43] [44] [46] [48] [50] [56] [58] [62] [63] [64] [68]
36Cristian Manfredini [24] [30]
37Francisco Martins [61]
38Mieke Massink [79]
39Ugo Montanari [61]
40Fabrizio Montesi [68] [71] [82] [84]
41Alberto Montresor [24] [30] [34]
42Rocco De Nicola [61] [62]
43Manuel Núñez [65]
44Luca Padovani [95]
45Jorge A. Pérez (Jorge Andrés Pérez) [92]
46Sylvain Pradalier [73] [74]
47António Ravara [61]
48Antony I. T. Rowstron [25]
49Jan J. M. M. Rutten [10]
50Davide Sangiorgi [61]
51A. Secutella [10]
52Serena Silvi [73] [74]
53Riccardo Solmi [42]
54Martin Steffen [55]
55Mirco Tribastone [62]
56Vasco Thudichum Vasconcelos [61]
57Martin Wirsing [62]

Colors in the list of coauthors

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