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

Pubblicazioni

in corso di stampa Elimina filtro

7505 pubblicazioni

  • S. Cacciaguerra; M. Roccetti; P. Salomoni, Digital Cinema, in: Encyclopedia of Multimedia, NEW YORK, Springer, 2006, pp. 179 - 179 [Voce in dizionario o enciclopedia]

  • S. Ferretti; M. Roccetti; P. Salomoni, Fairness in On-line Games, in: Encyclopedia of Multimedia, NEW YORK, Springer, 2006, pp. 252 - 252 [Voce in dizionario o enciclopedia]

  • S. Ferretti; M. Roccetti; P. Salomoni, Dead Reckoning, in: Encyclopedia of Multimedia, NEW YORK, Springer, 2006, pp. 155 - 155 [Voce in dizionario o enciclopedia]

  • S. Ferretti; M. Roccetti; P. Salomoni, Game Accessibility, in: Encyclopedia of Multimedia, NEW YORK, Springer, 2006, pp. 255 - 255 [Voce in dizionario o enciclopedia]

  • M. Roccetti; G. Chan; M. Merabti; S. Moyer; M. Ulema; H. Yu, Advances in Consumer Communications and Networking, Guest Editorial, in: MULTIMEDIA TOOLS AND APPLICATIONS, 2006, pp. 209 - 210 [Breve introduzione]

  • Vittorio Ghini; Stefano Cacciaguerra; Fabio Panzieri; Paola Salomoni, A Hidden Proxy for Seamless & ABC Multimedia Mobile Blogging, in: Proc. 3rd IEEE Consumer Communications and Networking Conference (CCNC), s.l, IEEE Computer Society Press, 2006, pp. 1204 - 1208 (atti di: 3rd IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas (Nevada, USA), 8 - 10 gennaio 2006) [Contributo in Atti di convegno]

  • Omicini Andrea; Petta Paolo; Matjaz Gams (a cura di): AA. VV., Hot Topics in European Agent Research II, LJUBLIANA, Slovene Society Informatika, 2006, pp. 1-82 (Informatica). [Curatela]

  • S. Mirri; D. Pantieri; M. Roccetti; P. Salomoni, A Multimedia Broker for Accessible Learning Objects Transcoding, in: IEEE International Conference on Information and Communication Technologies: from Theory to Applications, PISCATAWAY, IEEE Communications Society, 2006, I, pp. 225 - 230 (atti di: Proceedings 2nd IEEE International Conference on Information and Communication Technologies: from Theory to Applications, Damascus, Syria, April 2006) [Contributo in Atti di convegno]

  • S. Andreozzi; P. Ciancarini; D. Montesi; R. Moretti, An approach to the quantitative evaluation of Grid services, «CONCURRENCY AND COMPUTATION», 2006, 18(8), pp. 827 - 836 [Articolo in rivista]

  • M. Magnani; D. Montesi, A unified approach to structured and XML data modeling and manipulation, «DATA & KNOWLEDGE ENGINEERING», 2006, 59, pp. 25 - 62 [Articolo in rivista]

  • S. Andreozzi; P. Ciancarini; D. Montesi; R. Moretti, Towards a language for a satisfaction-based selection of Grid services, in: Parallel Processing and Applied Mathematics. 6th International Conference, PPAM 2005. Revised Selected Papers, BERLIN, Springer, 2006, LNCS 3911, pp. 723 - 730 (atti di: 2nd Grid Resource Management Workshop in conjunction with the International Conference on Parallel Processing and Applied Mathematics, Poznan (Poland), September 11-14 2005) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Compliance Verification of Agent Interaction: a Logic-Based Software Tool, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20(2-4), pp. 133 - 157 [Articolo in rivista]

  • Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Declarative Agent Languages and Technologies III, HEIDELBERG, Springer, 2006, pp. 245 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

  • 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]