Pubblicazioni

M. Gavanelli; M. Milano; S. Storari; L. Tagliavini; P. Baldazzi; M. Manfredi; G. Valastro, Greedy and Exact Algorithms for Invitation Planning in Cancer Screening., in: New Challenges in Applied Intelligence Technologies, HEIDELBERG, Springer, 2008, pp. 255 - 264 (STUDIES IN COMPUTATIONAL INTELLIGENCE) [Capitolo/Saggio in libro]

P. Ciancarini; R. Nakatsu; M. Rauterberg; M. Roccetti, A Preface to New Frontiers for Entertainment Computing - the First IFIP Entertainment Computing Symposium - 20th IFIP World Computer Congress, in: New Frontiers for Entertainment Computing, BOSTON, Springer, 2008, pp. 1 - 4 [Breve introduzione]

Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S.; Villani, G., Paving the Way to an Effective and Efficient Retrieval of Data over Semantic Overlay Networks, in: The Semantic Web for Knowledge and Data Management: Technologies and Practices, HERSHEY - NEW YORK, Information Science Reference (IGI Global), 2008, pp. 151 - 175 [Capitolo/Saggio in libro]

E. Bartolini; V. Maniezzo; A. Mingozzi, An Adaptive Memory-Based Approach Based on Partial Enumeration, in: V. MANIEZZO, R. BATTITI AND J.-P. WATSON, Learning and Intelligent Optimization, BERLIN, Springer-Verlag, 2008, pp. 12 - 24 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

U. Dal Lago; S. Martini, Proofs as efficient programs, in: Deduction, Computation, Experiment, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 141 - 157 [Capitolo/Saggio in libro]

R. Gorrieri, Ugo Montanari and Concurrency Theory, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, HEIDELBERG, Springer-Verlag, 2008, pp. 403 - 408 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

C. Versari; R.Gorrieri, pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi, in: Formal Methods for Computational Systems Biology, HEIDELBERG, Springer-Verlag, 2008, pp. 449 - 506 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

F. Tombari; L. Di Stefano; S. Mattoccia, Robust visual correspondence: theory and applications, in: ASIM BHATTI, Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3,, 2008, pp. 317 - 334 (Stereo Vision) [Capitolo/Saggio in libro]

G. Zavattaro, A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form, in: M. BERNARDO; P. DEGANO; G. ZAVATTARO, Formal Methods for Computational Systems Biology, BERLIN, Springer, 2008, pp. 507 - 523 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

F. Grandi; F. Mandreoli; R. Martoglia; E. Ronchetti; M.R. Scalas; P. Tiberio, Ontology-Based Personalization of E-Government Services, in: Intelligent User Interfaces: Adaptation and Personalization Systems and Technologies, HERSHEY, PENNSYLVANIA, IGI Global, 2008, pp. 167 - 187 (Information Science Reference (ISR)) [Capitolo/Saggio in libro]

F. Grandi, Preface to ECDM 2008, in: Advances in Conceptual Modeling – Challenges and Opportunities: ER 2008 Workshops CMSLA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 2008, Proceedings (LNCS 5232), HEIDELBERG, Springer-Verlag, 2008, pp. 66 - 66 [Breve introduzione]

M. Gaspari; D. Guidi, Facilitating agent development in open distributed systems, in: Languages, Methodologies and Development Tools for Multi-Agent Systems, BERLIN, Springer Verlag, 2008, pp. 243 - 260 (LNAI N. 5118) [Capitolo/Saggio in libro]

F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi, Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic., in: Computer-based medical guidelines and protocols: A primer and current trends, AMSTERDAM, IOS Press, 2008, pp. 183 - 192 (Studies in Health Technology and Informatics) [Capitolo/Saggio in libro]

C. Laneve; L. Padovani, The Pairing of Contracts and Session Types, in: Concurrency, Graphs and Models, Heidelberg, Springer, 2008, pp. 681 - 700 (Lecture notes in computer science) [Capitolo/Saggio in libro]

R. Casadio; L. Margara; P. Fariselli; M. Vassura, The Graph Theory and the Protein Universe: selecting the close-to-the-native structures within a model decoy set, in: Biocomplexity At The Cutting Edge Of Physics, Systems Biology And Humanities, BOLOGNA, Bononia University Press, 2008, pp. 121 - 130 [Capitolo/Saggio in libro]

Boer A.; Winkels R.; Vitali F., Metalex XML and the Legal Knowledge Interchange Format, in: Computable Models of the Law: Languages, Dialogues, Games, Ontologies, BERLIN, Springer Verlag, 2008, pp. 21 - 41 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro]

Lenzerini M.; Carletti U.; Ciancarini P.; Guarino N.; Mollona E.; Montanari U.; Naggar P.; Saccà D.; Sebastianis M.; Talia D., Knowledge-Oriented Technologies for the Integration of Networked Enterprises, in: Interdisciplinary Aspects of Information Systems Studies, HEIDELBERG, Physica-Verlag, 2008, pp. 335 - 342 [Capitolo/Saggio in libro]

G. Finocchiaro; L. Margara; S. Martini, Internet, il WWW e i loro servizi, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2008, pp. 1 - 58 [Capitolo/Saggio in libro]

Carbonaro, A, Personalized Video Browsing and Retrieval in a Semantic-Based Learning Environment, in: OPEN KNOWLEDGE SOCIETY: A COMPUTER SCIENCE AND INFORMATION SYSTEMS MANIFESTO, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, 2008, pp. 163 - 171 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Maniezzo V.; Battiti R.; Watson J.P., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface, in: 18th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2023), Heidelberg, Springer, 2008, pp. 1 - 15 (LECTURE NOTES IN COMPUTER SCIENCE) [Prefazione]