Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2006 Elimina filtro

368 pubblicazioni

  • Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Preface, in: Declarative Agent Languages and Technologies III, HEIDELBERG, Springer, 2006, pp. V - VII [Breve introduzione]

  • P. Giannini; D. Sangiorgi; A. Valente, Safe Ambients: Abstract machine and distributed implementation, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 59, pp. 209 - 249 [Articolo in rivista]

  • Francesca Toni; Paolo Torroni, Computational Logics in Multi-Agent Systems VI, HEIDELBERG, Springer, 2006, pp. 439 (Lecture Notes in Artificial Intelligence, LNCS 3900). [Curatela]

  • Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni, Security protocols verification in abductive logic programming: a case study., in: O. DIKENELLI, M.-P. GLEIZES, A. RICCI, Engineering Societies in the Agents World VI, IZMIR, s.n, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3963, pp. 106 - 124 (atti di: 6th International Workshop, ESAW 2005, Kuşadasi, October 26-28, 2005) [Contributo in Atti di convegno]

  • Francesca Toni; Paolo Torroni, Preface, in: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, Berlin, Springer, 2006, pp. V - VIII (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni, Specification and verification of agent interaction using Abductive Reasoning, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3900, pp. 243 - 264 (atti di: 6th International Workshop, CLIMA VI, London, June 27-29, 2005) [Contributo in Atti di convegno]

  • Marco Alberti ; Evelina Lamma ; Marco Gavanelli ; Paola Mello ; Giovanni Sartor ; Paolo Torroni, Mapping Deontic Operators to Abductive Expectations, «COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY», 2006, 12(2-3), pp. 205 - 225 [Articolo in rivista]

  • Furini, M.; Ghini, Vittorio, An Audio-Video Summarization Scheme Based on Audio and Video Analysis, in: Proc. 3rd IEEE Consumer Communications and Networking Conference (CCNC), s.l, IEEE Computer Society Press, 2006, pp. 1209 - 1213 (atti di: 3rd IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas (Nevada, USA), 8 - 10 gennaio 2006) [Contributo in Atti di convegno]

  • A. Amoroso; D. D. Hughes; T. Micheletti; F. Panzieri, SCALABLE ARCHITECTURES FOR RESPONSIVE AUCTIONS, in: null, 2006, 1(atti di: Grid in Finance 2006: 1st International Workshop on Grid Technology for Financial Modeling and Simulation, Palermo (Italy), February 3-4, 2006) [Contributo in Atti di convegno]

  • CARPINETI S.; LANEVE C., A basic contract language for web services, in: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, BERLIN / HEIDELBERG, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3924, pp. 197 - 213 (atti di: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Vienna, Marzo 2006) [Contributo in Atti di convegno]

  • Laneve C.; Padovani L., Smooth Orchestrators, in: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, BERLIN / HEIDELBERG, Springer Verrlag, 2006, 3921, pp. 32 - 46 (atti di: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Vienna, Marzo 2006) [Contributo in Atti di convegno]

  • Ricci Alessandro; Viroli Mirko; Omicini Andrea, Agent Coordination Contexts in a MAS Coordination Infrastructure, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20, pp. 179 - 202 [Articolo in rivista]

  • Ricci Alessandro; Viroli Mirko; Omicini Andrea, Programming MAS with Artifacts, in: BORDINI RAFAEL P., DASTANI MEHDI, DIX JÜRGEN, EL FALLAH SEGHROUCHNI AMAL, Programming Multi-Agent Systems. Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, Berlin Heidelberg, Springer, 2006, pp. 206 - 221 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • M. Golfarelli; S. Rizzi, Data Warehouse: teoria e pratica della progettazione (seconda edizione), MILANO, McGraw-Hill, 2006, pp. 447 (Workbooks). [Monografia/Trattato scientifico in forma di libro]

  • I. Bartolini; P. Ciaccia; M. Patella, Adaptively Browsing Image Databases with PIBE, «MULTIMEDIA TOOLS AND APPLICATIONS», 2006, 31, pp. 247 - 327 [Articolo in rivista]

  • L. Bononi; N. Concer, Simulation and Analysis of Network on Chip Architectures: Ring, Spidergon and 2D Mesh, in: Proceedings of the 9-th IEEE Conference on Design, Automation and Test in Europe (DATE 2006), s.l, ACM SIGDA, 2006, pp. 154 - 159 (atti di: 9-th IEEE Conference on Design, Automation and Test in Europe (DATE 2006), Munich, Germany, March 6-10, 2006) [Contributo in Atti di convegno]

  • M. Golfarelli; A. Proli; S. Rizzi, M-FIRE: A Metaphor-based Framework for Information Representation and Exploration, in: Proceedings WEBIST'06, s.l, s.n, 2006, pp. 332 - 340 (atti di: International Conference on Web Information Systems and Technologies, Setubal, Portogallo, Aprile 2006) [Contributo in Atti di convegno]

  • Gardelli L.; Viroli M.; Omicini A., Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS, in: Cybernetics and Systems 2006, VIENNA, Austrian Society for Cybernetic Studies, 2006, 2, pp. 539 - 544 (atti di: 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium "From Agent Theory to Theory Implementation" (AT2AI-5), Vienna, Austria, 18-21 Aprile 1006) [Contributo in Atti di convegno]

  • Ricci Alessandro; Viroli Mirko; Omicini Andrea, Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS, in: Cybernetics and Systems 2006, VIENNA, Austrian Society for Cybernetic Studies, 2006, 2, pp. 569 - 574 (atti di: 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium "From Agent Theory to Theory Implementation" (AT2AI-5), Vienna, Austria, 18-21 Aprile 1006) [Contributo in Atti di convegno]

  • Mollona; E.; Hales; D., Economia della conoscenza, governo delle risorse umane e confini dell’impresa. Strategie organizzative emergenti in una simulazione ad agenti, «SISTEMI INTELLIGENTI», 2006, 2, pp. 283 - 320 [Articolo in rivista]