Pubblicazioni

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]

I. Bartolini; P. Ciaccia; M. Patella, Efficient Sort-Based Skyline Evaluation, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 2008, 33, pp. 31-1 - 31-49 [Articolo in rivista]

G. Zervas; Y. Qin; R. Nejabati; D. Simeonidou; F. Callegati; A. Campi; W. Cerroni, SIP-enabled Optical Burst Switching architectures and protocols for application-aware optical networks, «COMPUTER NETWORKS», 2008, 52, pp. 2065 - 2076 [Articolo in rivista]

Giulio Piancastelli; Andrea Omicini, A Multi-Theory Logic Language for the World Wide Web, in: Logic Programming. 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008. Proceedings, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5366, pp. 769 - 773 (atti di: 24th International Conference on Logic Programming (ICLP 2008), Udine, Italy, 9-13 Dicembre 2008) [Contributo in Atti di convegno]

F. Tombari; S. Mattoccia; L. Di Stefano; E. Addimanda, Near real-time stereo based on effective cost aggregation, in: MASAKAZU EJIRI, RANGACHAR KASTURI AND GABRIELLA SANNITI DI BAJA, Proceedings of the 19th International Conference on Pattern Recognition, 2008 (ICPR 2008), PISCATAWAY, NJ, IEEE Computer Society, 2008, 1, pp. 1 - 4 (atti di: 19th International Conference on Pattern Recognition, 2008 (ICPR 2008), Tampa, Florida (USA), 8-11 December 2008) [Contributo in Atti di convegno]

Enrico Oliva; Mirko Viroli; Andrea Omicini, Arguments and Artifacts for Dispute Resolution, in: 9th Workshop “From Objects to Agents” (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, PALERMO, Seneca Edizioni, 2008, pp. 46 - 53 (atti di: 9º Workshop "Dagli Oggetti agli Agenti" - WOA 2008, Palermo, Italy, 17-18 novembre 2008) [Contributo in Atti di convegno]

Ambra Molesini; Elena Nardini; Enrico Denti; Andrea Omicini, Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA, in: 9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, PALERMO, Seneca Edizioni, 2008, pp. 108 - 114 (atti di: 9º Workshop "Dagli Oggetti agli Agenti" - WOA 2008, Palermo, Italy, 17-18 novembre 2008) [Contributo in Atti di convegno]

A. Montresor; M. Jelasity; O. Babaoglu, Decentralized Ranking in Large-Scale Overlay Networks, in: Proceedings of First IEEE International Workshop on Self Management for Grids, P2P and User Communities, LOS ALAMITOS, IEEE Computer Society Press, 2008, pp. 208 - 213 (atti di: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Isola di San Servolo, Venice, Italy, October 2008) [Contributo in Atti di convegno]

L. Di Stefano; F. Tombari; A. Lanza; S. Mattoccia; S. Monti, Graffiti Detection Using Two Views, in: Proceedings of the Eighth International Workshop on Visual Surveillance (VS2008), s.l, s.n, 2008, pp. 1 - 8 (atti di: European Computer Vision Conference (ECCV 2008) - Eighth International Workshop on Visual Surveillance (VS2008), Marsiglia, 17 Ottobre 2008) [Contributo in Atti di convegno]

M. Magno; F. Tombari; D. Brunelli; L. Di Stefano; L. Benini, Multi-modal Video Surveillance Aided by Pyroelectric Infrared Sensors, in: Proceedings of the Workshop on Multi-camera and Multi-modal Sensor Fusion Algorithms and Applications (M2SFA2 2008), s.l, s.n, 2008, pp. 1 - 12 (atti di: European Computer Vision Conference (ECCV 2008) - Workshop on Multi-camera and Multi-modal Sensor Fusion Algorithms and Applications (M2SFA2 2008), Marsiglia, 18 Ottobre 2008) [Contributo in Atti di convegno]

S. Salti; O. Schreer; L. Di Stefano, Real-time 3D Arm Pose Estimation from Monocular Video for Enhanced HCI, in: MM'08 - Proceedings of the 2008 ACM International Conference on Multimedia, with co-located Symposiums & Workshops, NEW YORK, Association for Computing Machinery, Inc. (ACM)., 2008, pp. 1 - 8 (atti di: 1st ACM International Workshop on Vision Networks for Behaviour Analysis, Vancouver, Canada, 31 Ottobre 2008) [Contributo in Atti di convegno]

F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contributo in Atti di convegno]

L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond III, AMSTERDAM, Elsevier, 2008, pp. 165 (Journal of Logic and Algebraic Programming, Vol. 75(1)). [Curatela]

M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone, Replicating Web Services for Scalability, in: Proc. of Symposium on Trustworthy Global Computing (TGC 2007), BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 4912, pp. 204 - 221 (atti di: Symposium on Trustworthy Global Computing 2007, Sophia-Antipolis, France, November 5-6, 2007) [Contributo in Atti di convegno]

M. Bravetti, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, in: null, 2008, 194(2), pp. 31 - 57 (atti di: 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), Lisbon, Portugal, 3 September, 2007) [Contributo in Atti di convegno]

M. Bravetti, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time., in: null, 2008, 209, pp. 83 - 106 (atti di: LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris (France), November 2006) [Contributo in Atti di convegno]

J.C.M. Baeten; M. Bravetti, A ground-complete axiomatisation of finite-state processes in a generic process algebra, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2008, 18(6), pp. 1057 - 1089 [Articolo in rivista]

F. Callegati; A. Campi, Extension of Resource Management in SIP, in: GridNets 2008, GENT, Springer ICST, 2008, pp. 1 - 8 (atti di: The Second International Conference on Networks for Grid Applications, Beijing, China, October 8-10, 2008) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Foundational Aspects of Contract Compliance and Choreography Conformance, in: Microsoft Research Technical Report, CAMBRIDGE, Microsoft, 2008, MSR-TR-2008-61, pp. 11 - 14 (atti di: Workshop on The Rise and Rise of the Declarative Datacentre, Cambridge (UK), May 2008) [Contributo in Atti di convegno]

C. Gennaro; F. Mandreoli; R. Martoglia; M. Mordacchini; S. Orlando; W. Penzo; S. Sassatelli; P. Tiberio, Toward an Effective and Efficient Query Processing in the NeP4B Project, in: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, s.l, s.n, 2008(atti di: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, Paris, France, Dec 13-14, 2008) [Contributo in Atti di convegno]