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

Pubblicazioni

7490 pubblicazioni

  • S. Bellavia; S. Lodi; B. Morini, Inferences on Kernel Density Estimates by Solving Nonlinear Systems, in: Proceedings 18th International Conference on Scientific and Statistical Database Management SSDBM 2006, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2006, pp. 389 - 397 (atti di: 18th International Conference on Scientific and Statistical Database Management, Vienna, Austria, 3-5 Luglio 2006) [Contributo in Atti di convegno]

  • S. Lodi; G. Moro; C. Sartori, Stream Clustering Based on Kernel Density Estimation, in: ECAI 2006 17th European Conference on Artificial Intelligence, AMSTERDAM, IOS Press, 2006, 141, pp. 799 - 800 (atti di: The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Agosto - 1 Settembre 2006) [Contributo in Atti di convegno]

  • J. C. da Silva; M. Klusch; S. Lodi; G. Moro, Privacy-preserving agent-based distributed data clustering, «WEB INTELLIGENCE AND AGENT SYSTEMS», 2006, 4, pp. 221 - 238 [Articolo in rivista]

  • P. Ciancarini; H. Wiklicky, Coordination Models and Languages. Proc. 8th International Conference, COORDINATION 2006, BERLIN HEIDELBERG, Springer, 2006, pp. 297 (Lecture Notes in Computer Science). [Curatela]

  • P. Ciancarini; J. vandenHerik, Computer and Games. 5th International Conference. Torino 2006., MAASTRICHT, Università di Maastricht, 2006, pp. . . [Curatela]

  • G. Buratti; D. Montesi, XQuery Full-Text Optimization through a Formal Algebra, in: Proceedings of the 2nd International Advanced Database Conference (IADC-2006), San Diego, California, June 2006., SAN DIEGO, CA, US Education Service, 2006, pp. 71 - 75 (atti di: 2nd International Advanced Database Conference (IADC-2006), San Diego, California, USA, 27-29 June 2006) [Contributo in Atti di convegno]

  • L. Abeti; P. Ciancarini; R. Moretti, Service Oriented Software Engineering for Modeling Agents and Services in Grid Systems, «MULTIAGENT AND GRID SYSTEMS», 2006, 2:2, pp. 135 - 148 [Articolo in rivista]

  • G. Buratti; D. Montesi, Full-Text Capabilities for Querying XML Repositories: a Formal Model, in: Proceedings of the 10th WSEAS International Conference on Computers, ATHENS, WSEAS Press, 2006, pp. 738 - 743 (atti di: 10th WSEAS International Conference on Computers (part of the 10th CSCC Multiconference), Athens, Greece, 13-15 July 2006) [Contributo in Atti di convegno]

  • A. Bolognesi; P. Ciancarini, Searching over Metapositions in Kriegspiel, in: Lecture Notes in Computer Sciences Revised papers from 4th Int. Conf. on Computer and Games, BERLIN - HEIDELBERG, Springer, 2006, LNCS 3846, pp. 246 - 261 (atti di: 4th Int. Conf. on Computer and Games, Ramat-Gan, Israel, July 2004) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, A Data Model and Algebra for Querying XML Documents, in: Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), WASHINGTON, DC, IEEE Computer Society, 2006, pp. 482 - 486 (atti di: 1st International Workshop on XML Data Management Tools and Techniques (XANTEC'06) in conjunction with DEXA 2006, Krakow, 4-8 September 2006) [Contributo in Atti di convegno]

  • R. Focardi; R. Lucchi; G. Zavattaro, Secure shared data-space Coordination Languages: a Process Algebraic survey, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 63(1), pp. 3 - 15 [Articolo in rivista]

  • G. Buratti; D. Montesi, Equivalence and Containment of XQuery Full-Text Expressions, «WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS», 2006, 3, pp. 1818 - 1825 [Articolo in rivista]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, An Abductive Framework for A-Priori Verification of Web Services, in: Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, NEW YORK, ACM Press, 2006, pp. 39 - 50 (atti di: Eighth Symposium on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, A-priori verification of web services with abduction., in: Proceedings of CILC 2006, Bari, Italy, June 2006., s.l, s.n, 2006(atti di: Convegno Italiano di Logica Computazionale, Bari, Italy, Giugno 2006) [Contributo in Atti di convegno]

  • F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari, Testing guidelines conformance by translating a graphical language to computational logic., in: Proceedings of the workshop "AI techniques in healthcare:evidence based guidelines and protocols"., s.l, s.n, 2006(atti di: Workshop AI techniques in healthcare:evidence based guidelines and protocols. In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari, Abduction for Specifying and Verifying Web Service Choreographies., in: Proceedings of the 4th International Workshop on AI for Service Composition (AISC06)., s.l, s.n, 2006(atti di: 4th International Workshop on AI for Service Composition (AISC06). In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]

  • M. Calzarossa, P. Ciancarini; P. MAresca; L. Mich; N. Scarabottolo, The ECDL Certification of ICT Usage Skills in the Italian Universities, in: Proceedings of the 12th International Conference on Distributed Multimedia Systems (DMS2006) – Distance Education Workshop, SKOKIE, ILLINOIS, Knowledge Systems Institute, 2006, pp. 238 - 243 (atti di: 12th International Conference on Distributed Multimedia Systems (DMS2006) – Distance Education Workshop, Arizona, USA, August 2006) [Contributo in Atti di convegno]

  • N. Mezzetti; D. Sangiorgi, Towards a Calculus For Wireless Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 158, pp. 331 - 353 [Articolo in rivista]

  • D. Sangiorgi, The Bisimulation Proof Method: Enhancements and Open Problems, in: Lecture Notes in Computer Science, BERLIN, Springer, 2006, 4037, pp. 18 - 19 (atti di: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Giugno 14-16) [Contributo in Atti di convegno]

  • I. Bartolini; P. Ciaccia; M. Patella, Distributed Aggregation Strategies for Preferences Queries, in: Atti del XIV Convegno Nazionale su Sistemi Evoluti per Basi di Dati, ANCONA, peQuod, 2006, pp. 139 - 146 (atti di: Quattordicesimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, Portonovo, Ancona, 18-21 Giugno 2006) [Contributo in Atti di convegno]