Pubblicazioni

G. Delzanno; M. Gabbrielli, Compositional Verification of Asynchronous Processes via Constraint Solving, in: Proceedings of ICALP 2005, HEIDELBERG, Springer-Verlag, 2005, LNCS 3580, pp. 1239 - 1250 (atti di: ICALP, Lisboa, 2005) [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]

A. Amoroso; M.P. Di Pasquale; M. Masotti, Securing Data by Steganography on Small Devices, in: Euromedia 2005, GHENT, EUROSIS-ETI, 2005, pp. 62 - 66 (atti di: Euromedia 2005, Toulouse, France, Aprile 11-13, 2005) [Contributo in Atti di convegno]

A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, A content based mathematical search engine: Whelp, in: Types for Proofs and Programs International Workshop, TYPES 2004, s.l, Springer, 2005, 3839, pp. 17 - 32 (atti di: Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

P. Giorgini; S. Rizzi; M. Garzetti, Goal-oriented requirement analysis for data warehouse design, in: Proceedings ACM 8th International Workshop on Data Warehousing and OLAP, s.l, ACM, 2005, pp. 47 - 56 (atti di: ACM 8th International Workshop on Data Warehousing and OLAP, Brema, Germania, 4-5 novembre 2005) [Contributo in Atti di convegno]

P. Bellavista; M. Cinque; D. Cotroneo; L. Foschini, Integrated Support for Handoff Management and Context Awareness in Heterogeneous Wireless Networks, in: ACM Proceedings of the 3rd International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC'05), NEW YORK, ACM press, 2005, 115, pp. 47 - 54 (atti di: 3rd International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC'05), within Middleware'05, Grenoble, Francia, Novembre 2005) [Contributo in Atti di convegno]

S. Ferretti; C. E. Palazzi; M. Roccetti; G. Pau; M. Gerla, FILA, a Holistic Approach to Massive Online Gaming: Algorithm Comparison and Performance Analysis, in: Proceedings 3rd ACM International Game Design and Technology Workshop and Conference, NEW YORK, ACM Press, 2005, pp. 68 - 76 (atti di: 3rd ACM International Game Design and Technology Workshop and Conference, Liverpool John Moores University, UK, 8-9 Novembre 2005) [Contributo in Atti di convegno]

P. Salomoni; L. Donatiello; S. Martini; N. Parisini; M. Roccetti; F. Vitali, Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3, in: ATTI XLIII Congresso Annuale AICA, UDINE, AICA, 2005(atti di: XLIII Congresso Annuale AICA, Udine, 5-7 Ottobre 2005) [Contributo in Atti di convegno]

M. Roccetti; P. Salomoni, Concepts, Technologies, Systems and Applications for On-line Entertainment, in: Proceedings 2005 2nd Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE communications Society, 2005(atti di: 2005 2nd Consumer Communications and Networking Conference, Las Vegas, NV, USA, 3-6 Gennaio 2005) [Contributo in Atti di convegno]

Ricci Alessandro; Omicini Andrea; Viroli Mirko; Gardelli Luca; Oliva Enrico, Cognitive Stigmergy: A Framework Based on Agents and Artifacts, in: 3rd European Workshop on Multi-Agent Systems (EUMAS 2005), UTRECHT, Koninklijke Vlaamse Academie van Belie voor Wetens, 2005, pp. 332 - 343 (atti di: 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, Brussels, Belgium, 7-8 December 2005) [Contributo in Atti di convegno]

Gardelli Luca; Viroli Mirko; Omicini Andrea, On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS, in: Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi, BOLOGNA, Pitagora Editrice, 2005, pp. 85 - 90 (atti di: AI*IA/TABOO Joint Workshop “Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi” (WOA 2005), Camerino, MC, Italy, 14-16 november 2005) [Contributo in Atti di convegno]

Molesini Ambra; Omicini; Denti Enrico; Ricci Alessandro, SODA: A Roadmap to Artefacts, in: 6th International Workshop "Engineering Societies in the Agents World" (ESAW'05), KUSADASI, AYDIN, Ege University, 2005, pp. 239 - 252 (atti di: 6th International Workshop "Engineering Societies in the Agents World" (ESAW'05), Kusadasi, Aydin, 26-28 October 2005) [Contributo in Atti di convegno]

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]

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]

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. 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]

M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints, in: Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP), ULM, University of Ulm, 2005, pp. 53 - 64 (atti di: 19th Workshop on (Constraint) Logic Programming (W(C)LP), Ulm, 21-23 February 2005) [Contributo in Atti di convegno]