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

Publications

  • Peroni S.; Shotton D.; Vitali F., Making ontology documentation with LODE, in: Proceedings of the I-SEMANTICS 2012 Posters & Demonstrations Track, «CEUR WORKSHOP PROCEEDINGS», 2012, 932, pp. 63 - 67 (atti di: I-SEMANTICS 2012, Graz (Austria), September 5-7, 2012) [Contribution to conference proceedings]

  • GANGEMI A; NUZZOLESE A; PRESUTTI V; DRAICCHIO F; MUSETTI A; CIANCARINI P, Automatic Typing of DBpedia Entities, in: The Semantic Web – ISWC 2012Proceedings of the 11th International Semantic Web Conference, BERLIN, Springer, 2012, pp. 65 - 81 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

  • Paolo Bellavista;Antonio Corradi;Andrea Reale, Design and Implementation of a Scalable and QoS-aware Stream Processing Framework: The Quasit Prototype, in: 2012 IEEE International Conference on Green Computing and Communications, Los Alamitos, CA, IEEE, 2012, pp. 458 - 467 (atti di: 2012 IEEE International Conference on Green Computing and Communications, Besancon, France, 20-23 Novembre 2012) [Contribution to conference proceedings]

  • Prandini M.; Ramilli M., A Model for E-voting Systems Evaluation Based on International Standards: Definition and Experimental Validation, «E-SERVICE JOURNAL», 2012, 8, pp. 42 - 72 [Scientific article]

  • G. Landi; E. Loli Piccolomini, A feasible direction method for image restoration, «OPTIMIZATION LETTERS», 2012, 6, pp. 1795 - 1817 [Scientific article]

  • D. Maltoni; E.M. Rehn, Incremental Learning by Message Passing in Hierarchical Temporal Memory, in: Artificial Neural Networks in Pattern Recognition, Berlin, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2012, pp. 24 - 35 (atti di: 5th Workshop on Artificial Neural Networks in Pattern Recognition (ANNPR12), Trento (Italy), 17/09/2012) [Contribution to conference proceedings]

  • Franco Callegati; Aldo Campi; Walter Cerroni; Giovanni Pau; Mario Gerla, Automated Configuration of Vehicular Communication Services2012 International Conference on Connected Vehicles and Expo (ICCVE), in: 2012 International Conference on Connected Vehicles and Expo (ICCVE), 2012 IEEE, 2012, pp. 128 - 129 (atti di: The 1st International Conference on Connected Vehicles & Expo, Beijing, 12-16/12/2012) [Abstract]

  • Ken-ichi Kitayama;Franco Callegati;Masahiko Jinno, Optical Switching and Networking: Special Issue of ONDM 2010, «OPTICAL SWITCHING AND NETWORKING», 2012, 9, pp. 224 - 224 [Comment or similar]

  • M. Gharbaoui; B. Martini; W. Cerroni; P. Castoldi; F. Callegati, Network resource allocation in data center interconnection with anycast service provisioning, in: 2012 IEEE Global Communications Conference (GLOBECOM 2012), Piscataway, NJ, IEEE, «GLOBECOM», 2012, pp. 2511 - 2516 (atti di: 2012 IEEE Global Communications Conference (Globecom 2012), Anaheim, CA, USA, 3-7 Dec. 2012) [Contribution to conference proceedings]

  • Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Duality and i/o-Types in the π-Calculus, in: CONCUR 2012 –Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012: Proceedings, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 302 - 316 (atti di: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]

  • D. Rossi; S. Zacchiroli; A. Di Iorio, Editorial Message - Special Track on Web Technologies, in: Proceedings of the 27th Annual ACM Symposium on Applied Computing, New York, ACM Press, 2012, pp. 636 - 637 [Brief introduction]

  • Marfia; G.; Roccetti; M.; Marcomini; A.; Bertuccioli; C.; Matteucci; G., Reframing haute couture handcraftship: How to preserve artisans' abilities with gesture recognition, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - LNCS 7624, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, pp. 437 - 444 (atti di: 9th International Conference on Advances in Computer Entertainment, ACE 2012, Kathmandu; Nepal;, November 2012) [Contribution to conference proceedings]

  • M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro, Adaptable processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 71 [Scientific article]

  • Giorgio Delzanno;Gianluigi Zavattaro, Reachability problems in BioAmbients, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 56 - 74 [Scientific article]

  • Cristian Versari;Gianluigi Zavattaro, Complex Functional Rates in Rule-Based Languages for Biochemistry, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2012, 7625, pp. 123 - 150 [Scientific article]

  • Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]

  • Mario Bravetti;Cinzia Giusto;Jorge A. Pérez;Gianluigi Zavattaro, Towards the Verification of Adaptable Processes, in: Proceedings of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, part I, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 269 - 283 (atti di: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contribution to conference proceedings]

  • Roberto Cosmo;Stefano Zacchiroli;Gianluigi Zavattaro, Towards a Formal Component Model for the Cloud, in: Proceedings of Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7504, pp. 156 - 171 (atti di: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012) [Contribution to conference proceedings]

  • G. Delzanno;A. Sangnier;R. Traverso;G. Zavattaro, On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks, in: Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 18, pp. 289 - 300 (atti di: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012) [Contribution to conference proceedings]

  • Paolo Bellavista; Veronica Conti; Carlo Giannelli; Jukka Honkola, The Smart-M3 Semantic Information Broker (SIB) plug-in extension: Implementation and evaluation experiences, in: Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012, 2012, pp. 704 - 711 (atti di: SN4MS CPSCom, Besancon, Francia, Novembre 2012) [Contribution to conference proceedings]