Pubblicazioni
-
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]
-
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]
-
Bononi L.; D'Angelo G.; Donatiello L., Parallel and Distributed Simulation of Wireless Mobile and Sensor Networks, in: Performance Evaluation of Parallel, Distributed and Emergent Systems, HAUPPAUGE NY, Nova Science Publishers, 2007, pp. 291 - 318 (Distributed, Cluster and Grid Computing) [Capitolo/Saggio in libro]
-
M. Roccetti; C.E. Palazzi; S. Ferretti; G. Pau, Wireless Home Entertainment Center: Protocol Communications and Architecture, in: Encyclopedia of Wireless and Mobile Communications, LONDON, Auerbach Publications/Taylor & Francis, 2007, pp. 1 - 8 [Voce in dizionario o enciclopedia]