Pubblicazioni
-
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]
-
A. Carbonaro, Personalized Browsing and Retrieval in a Semantic-Based Learning Environment, in: LYTRAS M.D.; CARROLL J.M.; DAMIANI E.; TENNYSON R.D.; AVISON D.; VOSSEN G.; ORDEZ DE PABLOS P. EDS., The Open Knowlege Society. A Computer Science and Information Systems Manifesto, HEIDELBERG, Springer-Verlag Heidelberg, 2008, pp. 163 - 172 (Communications in Computer and Information Science) [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]
-
LANESE I.; MELGRATTI H., Synchronous Multiparty Synchronizations and Transactions, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, BERLIN, Springer, 2008, pp. 76 - 95 (LECTURE NOTES IN COMPUTER SCIENCE) [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]
-
Sillitti A; Succi G, Foundations of Agile Methods, in: EMERGING METHODS, TECHNOLOGIES AND PROCESS MANAGEMENT IN SOFTWARE ENGINEERING, Hoboken, New Jersey, John Wiley & Sons, Inc., 2008, pp. 249 - 270 [Capitolo/Saggio in libro]