Publications

M. Roccetti, Proceedings of European Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), March 2007, CALGARY, Acta Press, 2007, pp. 297 . [Editorship]

Matteo Casadei; Luca Gardelli; Mirko Viroli, Simulating emergent properties of coordination in Maude: the collective sort case, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 175(2), pp. 59 - 80 [Scientific article]

Omicini Andrea, Formal ReSpecT in the A&A Perspective, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 175(2), pp. 97 - 117 [Scientific article]

Oliva Enrico; McBurney Peter; Omicini Andrea, Co-Argumentation Artifact for Agent Societies, in: Proceedings of the 4th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2007), HONOLULU, HAWAII, s.n, 2007, pp. 115 - 130 (atti di: 4th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2007), HONOLULU, HAWAII, USA, 15 maggio 2007) [Contribution to conference proceedings]

Ricci Alessandro; Viroli Mirko; Omicini Andrea, "Give Agents their Artifacts": The A&A Approach for Engineering Working Environments in MAS, in: Proceedings of the 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), HONOLULU, HAWAII, IFAAMAS, 2007, pp. 601 - 603 (atti di: 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), Honolulu, Hawai'i, USA, 14-18 maggio 2007) [Contribution to conference proceedings]

Ricci Alessandro; Omicini Andrea; Viroli Mirko, CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS, in: Environments for Multi-Agent Systems III, Berlin Heidelberg, Springer, 2007, pp. 67 - 86 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

Ricci Alessandro; Omicini Andrea; Viroli Mirko; Gardelli Luca; Oliva Enrico, Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts, in: Environments for Multi-Agent Systems III, Berlin Heidelberg, Springer, 2007, pp. 124 - 140 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

Gardelli Luca; Viroli Mirko; Casadei Matteo; Omicini Andrea, Designing Self-organising MAS Environments: The Collective Sort Case, in: Environments for Multi-Agent Systems III, Berlin, Springer, 2007, pp. 254 - 271 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

P. Ciancarini; G. Favini, A Program to Play Kriegspiel, «ICGA JOURNAL», 2007, 30:1, pp. 3 - 24 [Scientific article]

Viroli Mirko; Omicini Andrea, ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 180(2), pp. 123 - 144 [Scientific article]

Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden, Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), AMSTERDAM, Elsevier B.V., 2007, pp. 112 (Electronic Notes in Theoretical Computer Science). [Editorship]

C.E. Palazzi; M. Gerla; G. Pau; G. Marfia; M. Roccetti; M. Y. Sanadidi, Balancing Video on Demand Flows over Links with Heterogeneous Delays, in: Proceedings 3rd ACM International Mobile Multimedia Communications Conference, NEW YORK, Association for Computing Machinery, 2007, I, pp. 1 - 6 (atti di: 3rd ACM International Mobile Multimedia Communications Conference (Mobimedia 2007), Nafpaktos, Greece, August 2007) [Contribution to conference proceedings]

S. Ferretti; S. Mirri; M. Roccetti; P. Salomoni, Notes for a Collaboration: On the Design of a Wiki-type Educational Video Lecture Annotation System, in: Proceedings First IEEE International Conference on Semantic Computing (IEEE-ICSC'07), LOS ALAMITOS, CA, IEEE Computer Society, 2007, I, pp. 651 - 656 (atti di: IEEE International Workshop on Semantic Computing and Multimedia Systems - IEEE International Conference on Semantic Computing, Irvine, CA, September 2007) [Contribution to conference proceedings]

G. Simari; P. Torroni (a cura di): AA.VV., First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007, Proceedings, SINE LOCO, sine nomine, 2007, pp. 145 . [Editorship]

P. Torroni, Formal Properties of the SCIFF-AF Multiagent Argumentation Framework, in: AA.VV., First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007, Proceedings., s.l, s.n, 2007, pp. 125 - 140 (atti di: Argumentation and NonMonotonic Reasoning, First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007) [Contribution to conference proceedings]

G. Simari; P. Torroni, Preface, in: AA.VV., Argumentation and Non-Monotonic Reasoning: An LPNMR Workshop. Tempe, Arizona, US, May 14, 2007. Proceedings., S.L., s.n., 2007, pp. V - V [Brief introduction]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni, A computational logic-based approach to verification of IT systems, in: AA.VV., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007., STUTTGART, Infonomics-Consulting, 2007, pp. 115 - 125 (atti di: 14th HP Software University Association Workshop (HP-SUA). Hosted by the Leibniz Computing Center and the Munich Network Management Team, Garching/Munich, Germany, July 11-14, 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A rule-based approach for reasoning about collaboration between smart Web services, in: Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4524, pp. 279 - 288 (atti di: Web Reasoning and Rule Systems, First International Conference (RR2007), Innsbruck , Austria, June 7-8, 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni., Web Service Contracting: Specification and Reasoning with SCIFF, in: The Semantic Web: Research and Applications, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4519, pp. 68 - 83 (atti di: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, (ESWC 2007), Innsbruck, Austria, June 3-7, 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [Scientific article]