Foto del docente

Gianluigi Zavattaro

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Laurea in Informatica per il management

Pubblicazioni

N. Busi; G. Zavattaro, A Process Algebraic View of Shared Dataspace Coordination, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2008, 75(1), pp. 52 - 85 [articolo]

A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, nanoK: a Calculus for the Modeling and Simulation of nano devices, «THEORETICAL COMPUTER SCIENCE», 2008, 408(1), pp. 17 - 30 [articolo]

M.Bravetti; G.Zavattaro, A Theory for Strong Service Compliance, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2007, 4467, pp. 96 - 112 (atti di: 9th International Conference on Coordination Models and Languages, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007) [Contributo in Atti di convegno]

F. Montesi; C. Guidi; G. Zavattaro, Composing Services with JOLIE, in: Proceedings of 5th IEEE European Conference on Web Services (ECOWS'07), LOS ALAMITOS, CA, IEEE, 2007, pp. 13 - 22 (atti di: 5th IEEE European Conference on Web Services (ECOWS'07), Halle, Germania, 26-28 Dicembre 2007) [Contributo in Atti di convegno]

G. Zavattaro, Compositional vs. Monolilthical Modeling of Nano Devices, in: Proc. of International Conference on Computational Methods in Science and Engineering, MELVILLE, NY, American Institute of Physics (AIP) Conf. Proc., 2007, pp. 681 - 684 (atti di: International Conference on Computational Methods in Science and Engineering (ICCMSE'07), Corfu, Settembre 2007) [Contributo in Atti di convegno]

M.Bravetti; G.Zavattaro, Contract Based Multi-party Service Composition, in: International Symposium on Fundamentals of Software Engineering. Proceedings, BERLIN, Springer, 2007, 4767, pp. 207 - 222 (atti di: International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007) [Contributo in Atti di convegno]

A.A. Bertossi; D. Rossi; G. Zavattaro, Dall’Algoritmo al Programma, in: AA. VV., Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 179 - 208 [capitolo di libro]

F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:, JOLIE: a Java Orchestration Language Interpreter Engine, in: , 2007, 181, pp. 19 - 33 (atti di: Second International Workshop on Coordination and Organization (CoOrg 2006), Bologna, 13 June 2006) [Contributo in Atti di convegno]

A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, Modelization and Simulation of Nano Devices in k-Calculus, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2007, 4695, pp. 168 - 183 (atti di: International Conference on Computational Methods in Systems Biology, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Service Oriented Computing from a Process Algebraic Perspective, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 70(1), pp. 3 - 14 [articolo]

M. Bravetti; G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, in: Software Composition. Revised Selected Papers, BERLIN, Springer, 2007, 4829, pp. 34 - 50 (atti di: 6th International Symposium on Software Composition, Braga, 24-25 Marzo) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [curatela]

N. Busi; G. Zavattaro, A Process Algebraic View of Coordination, in: , 2006, 162, pp. 141 - 145 (atti di: Workshop "Essays on Algebraic Process Calculi" (APC 25), Bertinoro, Italy, 01-05 August 2005) [Contributo in Atti di convegno]

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration Conformance for System Design, in: Coordination Models and Languages, HEIDELBERG, Springer-Verlag, 2006, 4038, pp. 63 - 81 (atti di: 8th International Conference on Coordination Models and Languages COORDINATION 2006, Bologna, Italy, June 14-16, 2006) [Contributo in Atti di convegno]

Coordinamento del progetto: CompReNDe: Compositional and executable Representation of Nano Devices.

Ultimi avvisi

Al momento non sono presenti avvisi.