Publications
-
Cannata Nicola; Corradini Flavio; Merelli Emanuela; Omicini Andrea; Ricci Alessandro, An Agent-Oriented Conceptual Framework for Systems Biology, in: Transactions on Computational Systems Biology III, Berlin Heidelberg, Springer, 2005, pp. 105 - 122 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
-
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) [Contribution to conference proceedings]
-
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) [Contribution to conference proceedings]
-
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) [Contribution to conference proceedings]
-
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Quantitative Information in the Tuple Space Coordination Model, «THEORETICAL COMPUTER SCIENCE», 2005, 346(1), pp. 28 - 57 [Scientific article]
-
A. Aldini; R. Gorrieri; F. Martinelli, Foundations of Security Analysis and Design III, HEIDELBERG, Springer-Verlag, 2005, pp. 273 (Lecture Notes in Computer Science 3655). [Editorship]
-
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) [Contribution to conference proceedings]
-
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) [Contribution to conference proceedings]
-
Omicini Andrea; McBurney Peter, The AgentLink III Technical Forums: Introduction to the Special Issue, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20, pp. 95 - 97 [Scientific article]
-
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 [Scientific article]
-
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 [Brief introduction]
-
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) [Preface]
-
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) [Contribution to conference proceedings]
-
Mirko Viroli, Effective and efficient compilation of run-time generics in Java, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 138(2), pp. 95 - 116 [Scientific article]
-
Mirko Viroli; Giovanni Rimassa, On access restriction with Java wildcards, «JOURNAL OF OBJECT TECHNOLOGY», 2005, 4(10) [Scientific article]
-
Danny Weyns; Michael Schumacher; Alessandro Ricci; Mirko Viroli; Holvoet Tom, Environments in multiagent systems, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20(2), pp. 127 - 141 [Scientific article]
-
Omicini Andrea; Petta Paolo; Matjaz Gams (a cura di): AA. VV., Hot Topics in European Agent Research I, LJUBLIANA, Slovene Society Informatika, 2005, pp. 377-443 (Informatica). [Editorship]
-
Emanuela Merelli; Pablo Gonzalez; Andrea Omicini, Transactions on Computational Systems Biology III, HEIDELBERG, Springer, 2005, pp. VII-169 (Lecture Notes in Bioinformatics). [Editorship]
-
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 . [Editorship]
-
A. Gal; A. Trombetta; A. Anaby-Tavor; D. Montesi, A framework for modeling and evaluating semantic reconciliation, «VLDB JOURNAL», 2005, 14, pp. 50 - 67 [Scientific article]