Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

7895 pubblicazioni

  • ANDREOLI, ANDREA; FERRETTI, LUCA; MARCHETTI, Mirco; COLAJANNI, Michele, Enforcing Correct Behavior without Trust in Cloud Key-Value Databases, in: Proceedings - 2nd IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2015 - IEEE International Symposium of Smart Cloud, IEEE SSC 2015, USA, Institute of Electrical and Electronics Engineers, 2015, pp. 157 - 164 (atti di: 2nd IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2015, New York, 3-5 November 2015) [Contributo in Atti di convegno]

  • BALBONI, ANDREA; MARCHETTI, Mirco; COLAJANNI, Michele; Melegari, Andrea, Supporting sense-making and decision-making through time evolution analysis of open sources, in: International Conference on Cyber Conflict, CYCON, EST, NATO CCD COE Publications, 2015, 2015-, pp. 185 - 202 (atti di: 7th Annual International Conference on Cyber Conflict, CyCon 2015, Tallinn, 26-29 May 2015) [Contributo in Atti di convegno]

  • Ciancarini P; Sillitti A; Succi G; Messina A, Proceedings of 4th International Conference in Software Engineering for Defence Applications, Cham, Springer International Publishing, 2015, pp. 330 . [Curatela]

  • Messina A; Ciancarini P; Sillitti A; Succi G, A-CASE ``Agile" Computer Aided Software Engineering environment, in: Proceedings of the 2015 CAE Conference, 2015, pp. 1 - 4 (atti di: 2015 CAE Conference, Pacengo del Garda,VR, Italy, October, 2015) [Contributo in Atti di convegno]

  • Roccetti M.; Colombini S.; Zanichelli M., Some reflections on bolognese food: A digital perspective, with a lot of fun, in: Proceedings 16th International Conference on Intelligent Games and Simulation, 2015, pp. 34 - 37 (atti di: 978-907738191-5, Amsterdam, 2015) [Contributo in Atti di convegno]

  • Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 45 [Articolo in rivista]

  • Padovani, Luca; Novara, Luca, Types for Deadlock-Free Higher-Order Programs, in: Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), DEU, Springer, 2015, 9039, pp. 3 - 18 (atti di: IFIP International Conference on Formal Methods and Techniques, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]

  • Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), DEU, Springer, 2015, 9037, pp. 83 - 98 (atti di: International Conference on Coordination Models and Languages, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]

  • Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), USA, ACM, 2015, pp. 917 - 934 (atti di: ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pittsburgh, PA, USA, 25-30 October 2015) [Contributo in Atti di convegno]

  • Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko, A gentle introduction to multiparty asynchronous session types, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), DEU, Springer Verlag, 2015, pp. 146 - 178 [Capitolo/Saggio in libro]

  • Corradi A.; Fanelli M.; Foschini L., VM consolidation: A real case based on OpenStack Cloud, «FUTURE GENERATION COMPUTER SYSTEMS», 2014, 32, pp. 118 - 127 [Articolo in rivista]

  • Matteo Magnani; Moreno Marzolla, Path-based and Whole Network Measures, in: Encyclopedia of Social Network Analysis and Mining, New York, Springer, 2014, pp. 1256 - 1269 [Voce in dizionario o enciclopedia]

  • Grandi, Fabio, Temporal Databases, in: Encyclopedia of Information Science and Technology, Third Edition (10 Volumes), Hershey, PA, IGI Global, 2014, pp. 1914 - 1922 (INFOSCI-SCIENCE, ENGINEERING, AND INFORMATION TECHNOLOGY) [Voce in dizionario o enciclopedia]

  • Zouhaier, Brahmia; Grandi, Fabio; Barbara, Oliboni; Rafik, Bouaziz, Schema Evolution, in: Encyclopedia of Information Science and Technology, Third Edition (10 Volumes), Hershey, PA, IGI Global, 2014, pp. 7641 - 7650 (INFOSCI-SCIENCE, ENGINEERING, AND INFORMATION TECHNOLOGY) [Voce in dizionario o enciclopedia]

  • Zouhaier Brahmia; Fabio Grandi; Barbara Oliboni; Rafik Bouaziz, Schema Versioning, in: Encyclopedia of Information Science and Technology, Third Edition (10 Volumes), Hershey, PA, IGI Global, 2014, pp. 7651 - 7661 (INFOSCI-SCIENCE, ENGINEERING, AND INFORMATION TECHNOLOGY) [Voce in dizionario o enciclopedia]

  • Villani, Marco; Benedettini, Stefano; Roli, Andrea; Lane, David; Poli, Irene; Serra, Roberto, Identifying Emergent Dynamical Structures in Network Models, in: Recent Advances of Neural Network Models and Applications, Cham (ZG), Springer International Publishing, 2014, pp. 3 - 13 (SMART INNOVATION, SYSTEMS AND TECHNOLOGIES) [Capitolo/Saggio in libro]

  • Ferrara, Matteo; Franco, Annalisa; Maio, Dario, On the use of the Kinect sensor for human identification in smart environments, «JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS», 2014, 6, pp. 435 - 446 [Articolo in rivista]

  • Golfarelli, Matteo; Marco, Mantovani; Federico, Ravaldi; Rizzi, Stefano, From Business Intelligence to Location Intelligence with the Lily Library, in: Proceedings of the 17th International Workshop on Data Warehousing and OLAP, ACM, 2014, pp. 33 - 36 (atti di: International Workshop on Data Warehousing and OLAP, Shangai, China, 7/11/2014) [Contributo in Atti di convegno]

  • Baldacci, Lorenzo; Golfarelli, Matteo; Graziani, Simone; Rizzi, Stefano, GOLAM: A Framework for Analyzing Genomic Data, in: Proceedings DOLAP, 2014, pp. 3 - 12 (atti di: International Workshop on Data Warehousing and OLAP, Shangai, 7/11/2014) [Contributo in Atti di convegno]

  • Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro, Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops (part on the 2nd International Workshop on Behavioural Types), Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contributo in Atti di convegno]