Publications

Patent US20180249514A1, Method and system for establishing an internet access by using a wireless local area network communication protocol from a mobile client station.

Alves S.; Cervesato I.; Chaudhuri K.; Fernandez M.; Florido M.; Gay S.; Martini S.; Paolini L.; Della Rocca S.R.; Schurmann C.; Simmons R.; Vasconcelos V., Preface, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Waterloo, Open Publishing Association, 2015, pp. 1 - 1 [Preface]

Farris, Ivan; GIRAU, ROBERTO; Militano, Leonardo; NITTI, MICHELE; ATZORI, LUIGI; IERA, ANTONIO; Morabito, Giacomo, Social Virtual Objects in the Edge Cloud, «IEEE CLOUD COMPUTING», 2015, 2, pp. 20 - 28 [Scientific article]

Farris, I.; GIRAU, ROBERTO; NITTI, MICHELE; ATZORI, LUIGI; Bruschi, R.; IERA, ANTONIO; Morabito, G., Taking the SIoT down from the cloud: Integrating the Social Internet of Things in the INPUT architecture, in: IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 35 - 39 (atti di: 2nd IEEE World Forum on Internet of Things, WF-IoT 2015, ita, 2015) [Contribution to conference proceedings]

ANDREOLINI, Mauro; COLAJANNI, Michele; MARCHETTI, Mirco, A collaborative framework for intrusion detection in mobile networks, «INFORMATION SCIENCES», 2015, 321, pp. 179 - 192 [Scientific article]

ANDREOLINI, Mauro; COLAJANNI, Michele; PIETRI, MARCELLO; TOSI, STEFANIA, Adaptive, scalable and reliable monitoring of big data on clouds, «JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING», 2015, 79-80, pp. 67 - 79 [Scientific article]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

Patent US10585937B2, Method for visual search, corresponding system, apparatus and computer program product.

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 . [Editorship]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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

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

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 [Dictionary or encyclopedia entry]

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) [Dictionary or encyclopedia entry]