Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • Del Bimbo, Alberto; Dini, Fabrizio; Lisanti, Giuseppe, A real time solution for face logging, in: 3rd International Conference on Crime Detection and Prevention (ICDP 2009), IET, 2009, pp. 10 - 15 (atti di: ICDP, London (UK), 03/12/2009) [Contribution to conference proceedings]

  • Del Bimbo, Alberto; Dini, Fabrizio; Lisanti, Giuseppe; Pernici, Federico, Multitarget tracking in 3D con reti di telecamere PTZ, in: eBIS Workshop SICUREZZA E IDENTIFICAZIONE PERSONALE, Editrice Bibliografica, 2009, pp. 1 - 10 (atti di: Congresso Nazionale AICA, Roma (Italia), 05/11/2009) [Contribution to conference proceedings]

  • Palazzi, C. E.; Bujari, A.; Cervi, E., P2P file sharing on mobile phones: Design and implementation of a prototype, in: Proceedings - 2009 2nd IEEE International inproceedings on Computer Science and Information Technology, ICCSIT 2009, 2009, pp. 136 - 140 (atti di: 2009 2nd IEEE International Conference on Computer Science and Information Technology, Beijing, China, 8-11 Aug. 2009) [Contribution to conference proceedings]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, On the Complexity of Compact Coalitional Games, in: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009, pp. 147 - 152 (atti di: IJCAI-09, Pasadena, CA, USA, 11/07/2009 - 17/07/2009) [Contribution to conference proceedings]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Constrained Coalitional Games: Formal Framework, Properties, and Complexity Results (Extended Abstract), in: Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009, pp. 1295 - 1296 (atti di: AAMAS 2009, Budapest, Hungary, 10/05/2009 - 15/05/2009) [Abstract]

  • 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.