SCIENTIFIC PUBLICATIONS
2009




2008





A. Baruzzo, A. Dattolo, N. Pudota, C. Tasso, Recommending New Tags using Domain
Ontologies, in Proc. of International Workshop on Computational Intelligence Approaches
for Ontology-based Knowledge Discovery (CIAO), in connection with IEEE/WIC/ACM
International Conference on Web Intelligence, Milan, Italy, September 15-18, 2009
A. Baruzzo, A. Dattolo, N. Pudota, C. Tasso, A General Framework for Personalizes Text
Classification and Annotation , in Proc. of International Workshop on Adaptation and
Personalization for Web 2.0, in connection with International Conference on User
Modeling, Adaptation, and Personalization (UMAP), Trento, Italy, June 22-26, 2009.
A. Baruzzo, P. Casoto, A. Dattolo, C. Tasso, A Conceptual Model for Digital Libraries
Evolution, in Proc. of the Fifth International Conference on Web Information Systems and
Technologies (WEBIST), pp. 299-304, Lisbon, Portugal, March 23-26, INSTICC Press,
2009, ISBN 978-989-8111-81-4.
A. Baruzzo, P. Casoto, A. Dattolo, C. Tasso, Handling Evolution in Digital Libraries, in
Proc. of the 5th Italian Research Conference on Digital Libraries (IRCDL), January 29-30,
Italy, 2009
Baruzzo, A. and Casoto, P. and Challapalli, P. and Dattolo, A. - An Intelligent Service
Oriented Approach for Improving Information Access in Cultural Heritage, in Proc. Of
Information Access to Cultural Heritage (IACH) Workshop, European Conference on
Research and Advanced Technology for Digital Libraries (ECDL) 2008, Aarhus, Denmark,
ISBN: 978-90-813489-1-1.
A. Baruzzo, P. Casoto, A Flexible Service-Oriented Digital Platform for e-Content
Management in Cultural Heritage, to appear in Proc. of Intelligenza Artificiale nei Beni
Culturali (IABC) 2008, Pages 38-45, Cagliari, Italy.
A. Baruzzo, A Unified Framework for Automated UML Model Analysis, PhD Thesis,
University of Udine, April 2008.
D. Ballis, A. Baruzzo, M. Comini, A Minimalist Visual Notation for Design Patterns and
Antipatterns, in Proc. of The 5th IEEE International Conference on Information
Technology: New Generations, Pages 51-56, Las Vegas, USA, April 2008, ISBN:978-07695-3099-4.
A. Baruzzo, M. Comini, A Methodology for UML Models V&V, in Proc. of The 1st IEEE
International Conference on Software Testing Validation, Page(s):513 – 516, Lillehammer,
Norway, April 2008.
2007

D. Ballis, A. Baruzzo, M. Comini, A rule-based method to match Software Patterns against
UML Model”, The Eighth International Workshop on Rule-Based Programming, Electr.
Notes Theor. Comput. Sci. Vol. 219, Page(s):51-66, ISSN:1571-0661, June 29, 2007,
Paris
2006

A. Baruzzo, M. Comini, Static Verification of UML Model Consistency, in D. Hearnden,
J.G. Sϋß, N. Rapin, B. Baudry (Ed.), University of Queensland, Proc. of the 3rd Workshop
on Model Design and Validation (MoDeV2a), pp. 111-126
A. Baruzzo, M. Comini, Checking UML Model Consistency, In Proceedings of CILC 2006 pp. 1-15, Convegno Italiano di Logica Computazionale, Bari, Italy.

2005

A. Baruzzo, Executable models: Formal specifications embedded in software models,
proceedings of the AICA National Workshop, Vol.1, pp. 235-244, ISBN 88-8420-287-6,
Udine, Italy, 2005