Pubblicazioni

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]

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

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

P. Torroni, Formal properties of the SCIFF-AF multiagent argumentation framework, in: AA.VV., Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 226 - 241 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]

V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 150 - 165 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]

V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach, in: AA.VV., Atti del Quarto Convegno Italiano di Logica Computazionale, s.l, s.n, 2007(atti di: Quarto Convegno Italiano di Logica Computazionale, Messina, 20-21 Giugno 2007) [Contributo in Atti di convegno]

E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI, Learning DecSerFlow Models from Labeled Traces, in: First International Workshop on the Induction of Process Models, s.l, s.n, 2007, pp. 13 - 16 (atti di: First International Workshop on the Induction of Process Models, Corvallis, Oregon, 24/6/2007) [Riassunto (Abstract)]

Matteo Casadei; Ronaldo Menezes; Robert Tolksdorf; Mirko Viroli, On the Problem of Over-clustering in Tuple-based Coordination Systems, in: S.N., First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), BOSTON, IEEE Computer Society, 2007, pp. 303 - 306 (atti di: First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Boston, USA, 9-11/07/2007) [Contributo in Atti di convegno]

Omicini A.; Ricci A.; Viroli M., Timed Environment for Web Agents, «WEB INTELLIGENCE AND AGENT SYSTEMS», 2007, 5, pp. 161 - 175 [Articolo in rivista]