Foto del docente

Gianluigi Zavattaro

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration: A Synergic Approach for System Design, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3826, pp. 228 - 240 (atti di: Third International Conference on Service-Oriented Computing - ICSOC'05, Amsterdam,, December 12-15, 2005) [Contributo in Atti di convegno]

BUSI N.; G. ZAVATTARO, Deciding Reachability in Mobile Ambients, in: Programming Languages and Systems. Proceedings, 2005, 3444, pp. 248 - 262 (atti di: 14th European Symposium on Programming, ESOP 2005. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contributo in Atti di convegno]

M. Steffen; G. Zavattaro, Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, BERLIN, Springer, 2005, pp. 321 (Lecture Notes in Computer Science). [curatela]

M. Bravetti; L. Kloul; G. 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, BERLIN, Springer, 2005, pp. 348 (Lecture Notes in Computer Science). [curatela]

C. Laneve; G. Zavattaro, Foundations of web transactions, in: Foundations of Software Science and Computational Structures. Proceedings, BERLIN, Springer, 2005, 3441, pp. 282 - 298 (atti di: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: , 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contributo in Atti di convegno]

BUSI N.; G. ZAVATTARO, Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2005, 3454, pp. 204 - 219 (atti di: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Quantitative Information in the Tuple Space Coordination Model, «THEORETICAL COMPUTER SCIENCE», 2005, 346(1), pp. 28 - 57 [articolo]

N. Busi; G. Zavattaro, Reachability Analysis in Boxed Ambients, in: Theoretical Computer Science. Proceedings, BERLIN, Springer, 2005, 3701, pp. 143 - 159 (atti di: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005) [Contributo in Atti di convegno]

M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro, Security Issues in the Tuple-Space Coordination Model, in: Formal Aspects in Security and Trust, BERLINO, Springer, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2005, 173, pp. 1 - 12 (atti di: Workshop on Formal Aspects in Security and Trust, Toulouse, August 22-27, 2004) [Contributo in Atti di convegno]

M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, in: Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2005, pp. 831 - 835 (atti di: 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, Santa Fe (NM, USA), Marzo 2005) [Contributo in Atti di convegno]

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;, Towards a formal framework for Choreography, in: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, LOS ALAMITOS, s.n, 2005, pp. 107 - 112 (atti di: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, Linkoping, Sweden, 13-15 June 2005) [Contributo in Atti di convegno]

C. Laneve; G. Zavattaro, Webpi at work, in: Trustworthy Global Computing. Revised Selected Papers, BERLIN, Springer, 2005, 3705, pp. 182 - 194 (atti di: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: , 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contributo in Atti di convegno]

N. BUSI; GABBRIELLI M.; G. ZAVATTARO, Comparing Recursion, Replication, and Iteration in Process Calculi, in: Proceedings of ICALP 2004, BERLINO, Springer-Verlag, 2004, LNCS 3142, pp. 307 - 319 (atti di: ICALP 04, Finlandia, 2004) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.