Pubblicazioni

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]

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]