Pubblicazioni

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]

A. Lumini; L. Nanni, FuzzyBagging: a novel ensemble of classifiers, «PATTERN RECOGNITION», 2006, 39, pp. 488 - 490 [Articolo in rivista]

Lumini, Alessandra; Nanni, Loris, Two-class Fingerprint matcher, «PATTERN RECOGNITION», 2006, 39, pp. 714 - 716 [Articolo in rivista]

Nanni, Loris; Lumini, Alessandra, A novel method for fingerprint verification that approaches the problem as a two-class pattern recognition problem, «NEUROCOMPUTING», 2006, 69, pp. 846 - 849 [Articolo in rivista]

Nanni, Loris; Lumini, Alessandra, Advanced methods for two-class problem formulation for on-line signature verification, «NEUROCOMPUTING», 2006, 69, pp. 854 - 857 [Articolo in rivista]

L. Nanni; A. Lumini, Human authentication featuring signatures and tokenised random number, «NEUROCOMPUTING», 2006, 69, pp. 858 - 861 [Articolo in rivista]

L. Nanni; A. Lumini, An experimental comparison of ensemble of classifiers for biometric data, «NEUROCOMPUTING», 2006, 69, pp. 1670 - 1673 [Articolo in rivista]