Publications

Mirri, S.; Muratori, L. A.; Roccetti, M.; Salomoni, P., Metrics for accessibility on the Vamolà project, in: W4A 2009 - International Cross Disciplinary Conference on Web Accessibility, Association for Computing Machinery, Inc, 2009, pp. 142 - 145 (atti di: 6th International Cross Disciplinary Conference on Web Accessibility, W4A 2009, Spain, 2009) [Contribution to conference proceedings]

Amoroso A.; Roccetti M.; Nanni M.; Prati L., VANETS without limitations: An optimal distributed algorithm for multi-hop communications, in: 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, IEEE, 2009, pp. 1 - 5 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, Las Vegas, NV, usa, 2009) [Contribution to conference proceedings]

Bevilacqua A.; Gherardi A.; Carozza L., High accuracy estimation of vehicle trajectory using a real time stereo tracking system, in: IEEE International Symposium on Industrial Electronics, 2009, pp. 2230 - 2235 (atti di: IEEE International Symposium on Industrial Electronics, IEEE ISIE 2009, Seoul, kor, 2009) [Contribution to conference proceedings]

Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2009, 5688, pp. 158 - 178 (atti di: Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, Bologna, August 31-September 1, 2009) [Contribution to conference proceedings]

Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita, Special track on: Agent-oriented software engineering methodologies and systems, in: Proceedings of the ACM Symposium on Applied Computing, New York, NY, ACM Press, 2009, pp. 697 - 698 [Brief introduction]

Capone, A; Elias, J; Martignon, F, Routing and resource optimization in service overlay networks, «COMPUTER NETWORKS», 2009, 53, pp. 180 - 190 [Scientific article]

Bernardo, M.; Padovani, L.; Zavattaro, G., Formal Methods for Web Services, DEU, Springer, 2009, pp. 341 . [Editorship]

Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca, A Theory of Contracts for Web Services, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31(5), pp. 92 - 153 [Scientific article]

Padovani, Luca, Session Types at the Mirror, in: Proceedings of the 2nd Workshop on Interaction and Concurrency Experience, Waterloo, Open Publishing Association, 2009, 12, pp. 71 - 86 (atti di: 2nd Workshop on Interaction and Concurrency Experience, Bologna, Italy, 31 august 2009) [Contribution to conference proceedings]

G., Castagna; Padovani, Luca, Contracts for Mobile Processes, in: CONCUR 2009 - Concurrency Theory, DEU, Springer, 2009, LNCS 5710, pp. 211 - 228 (atti di: 20th International Conference on Concurrency Theory, Bologna, Italy, 31 August - 5 september 2009) [Contribution to conference proceedings]

Padovani, Luca, Contract-based Discovery and Adaptation of Web Services, in: Formal Methods for Web Services, DEU, Springer, 2009, pp. 213 - 260 [Chapter or essay]

P., Ancilotti; Boari, Maurelio; Ciampolini, Anna; G., Lipari, Sistemi Operativi. Seconda edizione, MILANO, McGraw-Hill, 2008, pp. 403 . [Research monograph]

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) [Chapter or essay]

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) [Chapter or essay]

Patent EP1857974, Safety system vision sensor and relative operating method.

P. Salomoni; S Mirri; S. Ferretti; M. Roccetti, A Multimedia Broker to Support Accessible and Mobile Learning through Learning Objects Adaptation, «ACM TRANSACTIONS ON INTERNET TECHNOLOGY», 2008, 8:2, pp. 9:1 - 9:23 [Scientific article]

A. Carbonaro; R. Ferrini, Personalized Information Retrieval in a Semantic-based Learning Environment, in: Social Information Retrieval Systems: Emerging Technologies and Applications for Searching the Web Effectively, PA, Idea Group Inc., 2008, pp. 270 - 288 [Chapter or essay]

U. Dal Lago; S. Martini, The weak lambda-calculus as a reasonable machine, «THEORETICAL COMPUTER SCIENCE», 2008, 398, pp. 32 - 50 [Scientific article]

M. Roccetti; M. Furini; X-P Zhang; Z. Liu; H.Yu, Multimedia Tools and Applications - Special Issue on New Achievements in Pervasive and Interactive Multimedia Systems and Applications, NEW YORK, Springer, 2008, pp. 121 . [Editorship]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Verifiable agent interaction in abductive logic programming: the SCIFF framework, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2008, 9(4), article 29, pp. 1 - 43 [Scientific article]