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

Publications

  • F. Parisini; M. Milano, Sliced Neighborhood Search, «EXPERT SYSTEMS WITH APPLICATIONS», 2012, 39, pp. 5739 - 5747 [Scientific article]

  • A. Brutschy; N.-L. Tran; N. Baiboun; M. Frison; G. Pini; A. Roli; M. Dorigo; M. Birattari, Costs and benefits of behavioral specialization, «ROBOTICS AND AUTONOMOUS SYSTEMS», 2012, 60, pp. 1408 - 1420 [Scientific article]

  • P. Bellavista; M. Gerla; H. Krishnan; U. Lee, Wide-Scale Vehicular Sensor Networks and Mobile Sensing (Guest Editorial), «PERVASIVE AND MOBILE COMPUTING», 2012, 8, No. 2, pp. 165 - 166 [Scientific article]

  • P. Bellavista; C.-M. Chen; H. Hassanein, Service Delivery Management in Broadband Networks (Guest Editorial), «JOURNAL OF NETWORK AND COMPUTER APPLICATIONS», 2012, 35, No. 5, pp. 1375 - 1376 [Scientific article]

  • P. Bellavista; G. Cardone; A. Corradi; L. Foschini, The Future Internet convergence of IMS and ubiquitous smart environments: An IMS-based solution for energy efficiency, «JOURNAL OF NETWORK AND COMPUTER APPLICATIONS», 2012, 35, No. 4, pp. 1203 - 1209 [Scientific article]

  • W. Ouyang; F. Tombari; S. Mattoccia; L. Di Stefano; Wai-Kuen Cham, Performance Evaluation of Full Search Equivalent Pattern Matching Algorithms, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 2012, 34, pp. 127 - 143 [Scientific article]

  • M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contribution to conference proceedings]

  • F. Tombari; L. Di Stefano, Hough voting for 3D object recognition under occlusion and clutter, «IPSJ TRANSACTIONS ON COMPUTER VISION AND APPLICATIONS», 2012, 4, pp. 20 - 29 [Scientific article]

  • G. Delzanno; A. Sangnier; G. Zavattaro, Verification of Ad Hoc Networks with Node and Communication Failures, in: Proceedings of Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 7273, pp. 235 - 250 (atti di: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012) [Contribution to conference proceedings]

  • M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Steps on the Road to Component Evolvability, in: Proceedings of Formal Aspects of Component Software - 7th International Workshop, FACS 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 6921, pp. 295 - 299 (atti di: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010) [Contribution to conference proceedings]

  • M. Golfarelli; S. Rizzi; E. Turricchia, Sprint Planning Optimization in Agile Data Warehouse Design, in: Proceedings of the 14th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2012), BERLINO, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7448, pp. 30 - 41 (atti di: 14th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2012), Vienna, Austria) [Contribution to conference proceedings]

  • Mirko Viroli; Danilo Pianini; Sara Montagna; Graeme Stevenson, Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry, in: Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012), NEW YORK, ACM Press, 2012, 2, pp. 295 - 302 (atti di: 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda, TN, Italy, 26-20 March 2012) [Contribution to conference proceedings]

  • Sara Montagna; Danilo Pianini; Mirko Viroli, A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation, in: Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012), NEW YORK, ACM Press, 2012, 2, pp. 1406 - 1412 (atti di: 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda, TN, Italy, 26-20 March 2012) [Contribution to conference proceedings]

  • Mirko Viroli; Danilo Pianini; Jacob Beal, Linda in space-time: an adaptive coordination model for mobile ad-hoc environments, in: Coordination Models and Languages, Berln, Springer Berlin Heidelbergi, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7274, pp. 212 - 229 (atti di: COORDINATION 2012, Stockholm, Sweden, 14-15 June) [Contribution to conference proceedings]

  • O. Al-Hassani; Q. Mahesar; C. Sacerdoti Coen; V. Sorge, A Term Rewriting System for Kuratowski's Closure-Complement Problem, in: Leibniz International Proceedings in Informatics (LIPIcs), DAGSTUHL, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 15, pp. 38 - 52 (atti di: 23rd International Conference on Rewriting Techniques and Applications (RTA'12), Nagoya (Japan), May 30-June 1, 2012) [Contribution to conference proceedings]

  • A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 49 [Scientific article]

  • A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover, «JOURNAL OF AUTOMATED REASONING», 2012, 49(3), pp. 427 - 451 [Scientific article]

  • I. Bartolini; P. Ciaccia; M. Patella, Getting the Best from Uncertain Data: the Correlated Case, in: Proceedings of the 20th Italian Symposium on Advanced Data Base Systems (SEBD 2012), PADOVA, Edizioni Libreria Progetto, 2012, pp. 43 - 50 (atti di: 20th Italian Symposium on Advanced Data Base Systems (SEBD 2012), Venice, June 24-27) [Contribution to conference proceedings]

  • I. Bartolini; C. Luzzi; M. Patella; A. Pompilio; C. Ruini, MIMESIS : A Semantic-based Approach for Poetry in Music Digital Libraries, in: Proceedings of the International Conference on Information Technologies for Performing Arts, Media Access and Entertainment (ECLAP 2012), FIRENZE, Firenze University Press, 2012, pp. 46 - 51 (atti di: International Conference on Information Technologies for Performing Arts, Media Access and Entertainment (ECLAP 2012), Florence, May 7-9) [Contribution to conference proceedings]

  • C. Dal Mutto; F. Dominio; P. Zanuttigh; S. Mattoccia, Stereo Vision and Scene Segmentation, in: ASIM BHATTI, Current Advancements in Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3, 2012, pp. 23 - 40 [Chapter or essay]