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

Pubblicazioni

in corso di stampa Elimina filtro

7504 pubblicazioni

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

  • I. Bartolini; P. Ciaccia; M. Patella, SaLSa: Computing the Skyline without Scanning the Whole Sky, in: Proceedings of the 15th ACM International Conference on Information and Knowledge Management (CIKM 2006), NEW YORK, NY, ACM press, 2006, pp. 405 - 414 (atti di: Fifteenth ACM International Conference on Information and Knowledge Management (CIKM 2006), Arlington, VA, USA, November 6-11, 2006) [Contributo in Atti di convegno]

  • C., Donzelli; C., Fontana; A., Ravaioli; P., Toppan; Patella, Marco; C., De Castro, An LDAP/SQL-based Integrated Architecture for Broad-Band Services, in: Proceedings of the 6th IASTED International Multi-Conference on Wireless and Optical Communications, CALGARY, IASTED/ACTA Press, 2006, pp. 96 - 101 (atti di: Sixth IASTED International Multi-Conference on Wireless and Optical Communications: Conference on Communication Systems and Applications, Banff, AL, Canada, July 3-5, 2006) [Contributo in Atti di convegno]

  • A. Franco; A. Lumini; D. Maio; L. Nanni, An Enhanced Subspace Method for Face Recognition, «PATTERN RECOGNITION LETTERS», 2006, 27, pp. 76 - 84 [Articolo in rivista]

  • A. Lumini; L. Nanni, Detector of Image Orientation based on Borda-count, «PATTERN RECOGNITION LETTERS», 2006, 27, pp. 180 - 186 [Articolo in rivista]

  • A. Lumini; L. Nanni, Identifying Splice-Junction Sequences by hierarchical multiclassifier, «PATTERN RECOGNITION LETTERS», 2006, 27, pp. 1390 - 1396 [Articolo in rivista]

  • Lumini, Alessandra; Nanni, Loris, A Clustering Method for Automatic Biometric Template Selection, «PATTERN RECOGNITION», 2006, 39, pp. 495 - 497 [Articolo in rivista]