Publications

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) [Contribution to conference proceedings]

DRAGONI N; GASPARI M., An Object Based Algebra for Specifying a Fault Tolerant Software Architecture, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2005, 63, pp. 271 - 297 [Scientific article]

TUMMOLINI LUCA; CASTELFRANCHI CRISTIANO; RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 215 - 231 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, Environment-Based Coordination Through Coordination Artifacts, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 190 - 214 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

DENTI ENRICO; OMICINI ANDREA; RICCI ALESSANDRO, Multi-paradigm Java-Prolog integration in tuProlog, «SCIENCE OF COMPUTER PROGRAMMING», 2005, 57, pp. 217 - 250 [Scientific article]

M. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO, Dealing with incomplete knowledge on CLP(FD) variable Domains, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2005, 27, pp. 236 - 263 [Scientific article]

Bartolini, Ilaria; Ciaccia, Paolo; Patella, Marco, WARP: Accurate Retrieval of Shapes Using Phase of Fourier Descriptors and Time Warping Distance, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 2005, 27(1), pp. 142 - 147 [Scientific article]

ROCCETTI M.; P. SALOMONI; V. GHINI; S. FERRETTI, Bringing the Wireless Internet to UMTS Devices: A Case Study with Music Distribution, «MULTIMEDIA TOOLS AND APPLICATIONS», 2005, 25:2, pp. 217 - 251 [Scientific article]

Roccetti, Marco; B., Kozbe; M., Ulema, Entertainment Everywhere: System and Networking Issues in Emerging Network-Centric Entertainment Systems, Guest Editorial, Part I, in: IEEE COMMUNICATIONS MAGAZINE (vol. 43, Issue 5), NEW YORK, IEEE, 2005, pp. 67 - 68 [Brief introduction]

Alberti, M.; Chesani, Federico; Gavanelli, M.; Lamma, E.; Mello, Paola; Torroni, Paolo, The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies, in: Global Computing, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3267, pp. 314 - 339 (atti di: IST/FET International Workshop, GC, Rovereto, March 9-12, 2004) [Contribution to conference proceedings]

D. FREZZATO; C. ZANNONI; G. MORO, Molecular diffusion in liquid crystals and chiral discrimination. I. Theory, «THE JOURNAL OF CHEMICAL PHYSICS», 2005, 122, pp. 164904-1 - 164904-10 [Scientific article]

B. KOZBE; ROCCETTI M.; M. ULEMA, Entertainment Everywhere: System and Networking Issues in Emerging Network-Centric Entertainment Systems, Guest Editorial, Part II, in: IEEE COMMUNICATIONS MAGAZINE (vol. 43, Issue 6), NEW YORK, IEEE, 2005, pp. 73 - 74 [Brief introduction]

Corradi, Antonio; Montanari, Rebecca; Tibaldi, Daniela, Context-Driven Adaptation of Trust Relationships in Pervasive Collaborative Environments, in: IEEE/IPSJ International Symposium on Applications and the Internet (SAINT2005) Workshop on Context-aware Adaptation and Personalization for the Mobile InternetDigital Object Identifier: 10.1109/SAINTW.2005.1620006, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press., 2005, pp. 178 - 181 [Chapter or essay]

CIANCARINI P., On the Education of Future software Engineers, in: Proc. 27th International Conference on Software Engineering, NEW YORK, IEEE Computer Society, 2005, pp. 649 - 650 (atti di: Int. Conference on Software Engineering, Saint Louis, USA, May 2005) [Contribution to conference proceedings]

Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Declarative Agent Languages and Technologies II, HEIDELBERG, Springer, 2005, pp. 289 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]

Gleizes Marie-Pierre; Omicini Andrea; Zambonelli Franco, Engineering Societies in the Agents World V, HEIDELBERG, Springer, 2005, pp. 349 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]

Molesini Ambra; Denti Enrico; Omicini Andrea, MAS Meta-models on Test: UML vs. OPM in the SODA Case Study, in: Multi-Agent Systems and Applications IV, Berlin Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3690, pp. 163 - 172 (atti di: 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS’05), Budapest, 15–17 settembre 2005) [Contribution to conference proceedings]

Viroli Mirko; Omicini Andrea; Ricci Alessandro, An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts, in: AI*IA 2005: Advances in Artificial Intelligence, Berlin Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3673, pp. 198 - 211 (atti di: 9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Milano, 21-23 settembre 2005) [Contribution to conference proceedings]

Omicini Andrea; Ricci Alessandro; Viroli Mirko, An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS, «APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING», 2005, 16, pp. 151 - 178 [Scientific article]

Viroli Mirko; Omicini Andrea, Process-Algebraic Approaches for Multi-Agent Systems: An Overview, «APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING», 2005, 16, pp. 69 - 75 [Scientific article]