Pubblicazioni

R. Gorrieri; C. Guidi; R. Lucchi, Reasoning about interaction patterns in Choreography, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3670, pp. 333 - 348 (atti di: Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05, Versailles, Francia, 1-3 Settembre 2005) [Contributo in Atti di convegno]

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]

Omicini Andrea; McBurney Peter, The AgentLink III Technical Forums: Introduction to the Special Issue, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20, pp. 95 - 97 [Articolo in rivista]

Omicini Andrea; Petta Paolo; Gams Matjaz, The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research, «INFORMATICA», 2005, 29, pp. 377 - 378 [Articolo in rivista]

Omicini Andrea; Petta Paolo; Varga Laszlo Z., The Third AgentLink III Technical Forum, in: AgentLink News, Issue 19, LIVERPOOL / SOUTHAMPTON, AgentLink, 2005, pp. 20 - 20 [Breve introduzione]

Merelli Emanuela; Gonzalez Pablo; Omicini Andrea, Preface, in: Transactions on Computational Systems Biology III, HEIDELBERG, Springer, 2005, pp. V - VI (LECTURE NOTES IN COMPUTER SCIENCE) [Prefazione]

Atsushi Igarashi; Saito Chieri; Mirko Viroli, Lightweight family polymorphism, in: Programming Languages and Systems, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3780, pp. 161 - 177 (atti di: The Third Asian Symposium on Programming Languages and Systems (APLAS 2005), Tsukuba, Japan, 2–5 November 2005) [Contributo in Atti di convegno]

Mirko Viroli, Effective and efficient compilation of run-time generics in Java, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 138(2), pp. 95 - 116 [Articolo in rivista]

Mirko Viroli; Giovanni Rimassa, On access restriction with Java wildcards, «JOURNAL OF OBJECT TECHNOLOGY», 2005, 4(10) [Articolo in rivista]

Danny Weyns; Michael Schumacher; Alessandro Ricci; Mirko Viroli; Holvoet Tom, Environments in multiagent systems, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20(2), pp. 127 - 141 [Articolo in rivista]

Emanuela Merelli; Pablo Gonzalez; Andrea Omicini, Transactions on Computational Systems Biology III, HEIDELBERG, Springer, 2005, pp. VII-169 (Lecture Notes in Bioinformatics). [Curatela]

Corradini Flavio; De Paoli Flavio; Merelli Emanuela; Omicini Andrea, WOA 2005 -- Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi, BOLOGNA, Pitagora Editrice, 2005, pp. IV-192 . [Curatela]

A. Gal; A. Trombetta; A. Anaby-Tavor; D. Montesi, A framework for modeling and evaluating semantic reconciliation, «VLDB JOURNAL», 2005, 14, pp. 50 - 67 [Articolo in rivista]

S. Andreozzi; D. Montesi; R. Moretti, XMatch: a language for satisfaction-based selection of Grid services, «SCIENTIFIC PROGRAMMING», 2005, 13, pp. 299 - 316 [Articolo in rivista]

M. Magnani; D. Montesi, XML and relational data: towards a common model and algebra, in: Proceedings of International database engineering and applications symposium, s.l, IEEE Press, 2005(atti di: International database engineering and applications symposium, Montreal (Canada), July 25-27 2005) [Contributo in Atti di convegno]

N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Uncertainty in semantic schema integration, in: 22nd British national conference on databases : workshops and posters, SUNDERLAND, University of Sunderland Press, 2005, 2, pp. 13 - 16 (atti di: British national conference on database, Sunderland (UK), 2005) [Contributo in Atti di convegno]

N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Schema integration based on uncertainty semantic mappings, in: Proceedings of the International conference on conceptual modeling, BERLIN, Springer, 2005, 3716, pp. 31 - 46 (atti di: ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt (Austria), 2005 October 24-28) [Contributo in Atti di convegno]

M. Magnani; D. Montesi, An overview of imperfection representation in semistructured data, in: Flexible Databases supporting Imprecision and Uncertainty, S.L., Springer, 2005 [Capitolo/Saggio in libro]

A.J. Bangham; B. de la Iglesia; G. Buratti; D. Montesi, Data Model and Query Languages for Biological Databases, «MMTC E-LETTERS», 2005, 2 [Articolo in rivista]

M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, Protocol Specification and Verification by Using Computational Logic, in: WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi, BOLOGNA, Pitagora Editrice, 2005(atti di: WOA 2005 Dagli Oggetti agli Agenti, Camerino, 14-16 Novembre 2005) [Contributo in Atti di convegno]