ZAVATTARO, GIANLUIGI

ZAVATTARO, GIANLUIGI  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 151 (tempo di esecuzione: 0.041 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Component Model for the ABS Language M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi 2022-01-01 - - 4.01 Contributo in Atti di convegno icws2022.pdf
A Formal Approach to Microservice Architecture Deployment Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavat...
taro
2020-01-01 - Springer 2.01 Capitolo / saggio in libro main.pdf
A Foundational Theory of Contracts for Multi-party Service Composition M. Bravetti; G. Zavattaro 2008-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form G. Zavattaro 2008-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro 2013-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Petri Net Based Modeling of Active Objects and Futures de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro 2018-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
A Planning Tool Supporting the Deployment of Cloud Applications Tudor A. Lascu;Jacopo Mauro;Gianluigi Zavattaro 2013-01-01 - IEEE 4.01 Contributo in Atti di convegno -
A Process Algebraic View of Coordination N. Busi; G. Zavattaro 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
A Process Algebraic View of Shared Dataspace Coordination N. Busi; G. Zavattaro 2008-01-01 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - 1.01 Articolo in rivista -
A Session Subtyping Tool Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. 2021-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno -
A Sound Algorithm for Asynchronous Session Subtyping Bravetti, Mario and Carbone, Marco and Lange, Julien and
Yoshida, Nobuko and Zavattaro, Gianluigi
2019-01-01 - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 4.01 Contributo in Atti di convegno preview.pdf
A sound algorithm for asynchronous session subtyping and its implementation Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. 2021-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 1907.00421v5.pdf
A Theory for Strong Service Compliance M.Bravetti; G.Zavattaro 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
A theory of contracts for strong service compliance M. Bravetti; G. Zavattaro 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Adaptable processes M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro 2012-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Adaptable Processes (Extended Abstract) M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro 2011-01-01 - Springer 4.01 Contributo in Atti di convegno -
Advanced Mechanisms for Service Combination and Transactions C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro 2011-01-01 - Springer 2.01 Capitolo / saggio in libro -
Aeolus - Mastering the Cloud Complexity G Zavattaro 9999-01-01 - - 8.04 Coordinamento di progetti di ricerca -
Aeolus: A component model for the cloud Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. 2014-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista -