Pubblicazioni

Ricci Alessandro; Viroli Mirko; Omicini Andrea, A General Purpose Programming Model & Technology for Developing Working Environments in MAS, in: 5th International Workshop "Programming Multi-Agent Systems" (PROMAS 2007), Proceedings, HONOLULU, HAWAII, s.n, 2007, pp. 54 - 69 (atti di: 5th International Workshop "Programming Multi-Agent Systems" (PROMAS 2007), co-located with AAMAS 2007, Honolulu, Hawaii, USA, 15 maggio 2007) [Contributo in Atti di convegno]

Mirko Viroli; Enrico Denti; Alessandro Ricci, Engineering a BPEL orchestration engine as a multi-agent system, «SCIENCE OF COMPUTER PROGRAMMING», 2007, 66(3), pp. 226 - 245 [Articolo in rivista]

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

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 [Articolo in rivista]

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

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Capitolo/Saggio in libro]

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) [Capitolo/Saggio in libro]

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) [Capitolo/Saggio in libro]

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

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 [Articolo in rivista]

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). [Curatela]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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

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) [Contributo in Atti di convegno]

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 [Breve introduzione]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]