Pubblicazioni

Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie: From orchestrations to adaptable choreographies, in: Software, Services, and Systems, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 8950, pp. 506 - 521 (atti di: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Munich, Germany, 5-6 March 2015) [Contributo in Atti di convegno]

Garcia, Abel; Laneve, Cosimo; Lienhardt, Michael, Static analysis of cloud elasticity, in: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, Association for Computing Machinery, Inc, 2015, pp. 125 - 136 (atti di: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, Siena (Italia), 2015) [Contributo in Atti di convegno]

Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Osborne, Francesco; Peroni, Silvio; Poggi, Francesco; Smith, Michael; Vitali, Fabio; Zhao, Jun, The RASH Framework: Enabling HTML+RDF submissions in scholarly venues, in: CEUR Workshop Proceedings, CEUR-WS, 2015, 1486(atti di: ISWC 2015 Posters and Demonstrations Track, ISWC-P and D 2015 - co-located with the 14th International Semantic Web Conference, ISWC 2015, USA, 2015) [Poster]

Di Iorio, Angelo; Giannella, Raffaele; Poggi, Francesco; Vitali, Fabio, Exploring bibliographies for research-related tasks, in: WWW 2015 Companion - Proceedings of the 24th International Conference on World Wide Web, Association for Computing Machinery, Inc, 2015, pp. 1001 - 1006 (atti di: 24th International Conference on World Wide Web, WWW 2015, ita, 2015) [Contributo in Atti di convegno]

Loreti, Daniela; Ciampolini, Anna, A Hybrid Cloud Infrastructure for Big Data Applications, in: Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 1713 - 1718 (atti di: 17th IEEE International Conference on High Performance Computing and Communications, IEEE 7th International Symposium on Cyberspace Safety and Security and IEEE 12th International Conference on Embedded Software and Systems, HPCC-ICESS-CSS 2015, New York, NY, USA, 2015) [Contributo in Atti di convegno]

Accattoli, Beniamino; SACERDOTI COEN, Claudio, On the relative usefulness of fireballs, in: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2015, pp. 141 - 155 (atti di: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Grand Prince Hotel, jpn, 2015) [Contributo in Atti di convegno] Open Access

Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico, ELPI: Fast, embeddable, λprolog interpreter, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9450, pp. 460 - 468 (atti di: 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, November, 24-28, 2015) [Contributo in Atti di convegno]

Guidi, Ferruccio; Sacerdoti Coen, Claudio, A survey on retrieval of mathematical knowledge, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9150, pp. 296 - 315 (atti di: International Conference on Intelligent Computer Mathematics, CICM 2015, Washington DC, USA, July 13-17, 2015) [Contributo in Atti di convegno]

Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub, Automatic application deployment in the cloud: From practice to theory and back, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015, 42, pp. 1 - 16 (atti di: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, 1-4 September, 2015) [Contributo in Atti di convegno]

Ongaro, Francesco; Cerqueira, Eduardo; Foschini, Luca; Corradi, Antonio; Gerla, Mario, Enhancing the quality level support for real-time multimedia applications in software-defined networks, in: 2015 International Conference on Computing, Networking and Communications, ICNC 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 505 - 509 (atti di: 2015 International Conference on Computing, Networking and Communications, ICNC 2015, usa, 2015) [Contributo in Atti di convegno]

Stornaiuolo, Luca; Bellavista, Paolo, State-of-the-art multihoming solutions for Android: A quantitative evaluation and experience report, in: Proceedings of the 11th International Conference on Network and Service Management, CNSM 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 158 - 162 (atti di: 11th International Conference on Network and Service Management, CNSM 2015, Campus Nord of Universitat Politecnica de Catalunya, esp, 2015) [Contributo in Atti di convegno]

Kupper, Axel; Leong, Hong Va; Bellavista, Paolo; Chang, Morris; Getov, Vladimir, Message from MOWU Symposium Organizing Committee, in: Proceedings - International Computer Software and Applications Conference, IEEE Computer Society, 2015, 2, pp. 543 - 544 (atti di: 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, twn, 2015) [Contributo in Atti di convegno]

Carella, Giuseppe; Foschini, Luca; Pernafini, Alessandro; Bellavista, Paolo; Corradi, Antonio; Corici, Marius; Schreiner, Florian; Magedanz, Thomas, Quality audit and resource brokering for network functions virtualization (NFV) orchestration in hybrid clouds, in: 2015 IEEE Global Communications Conference, GLOBECOM 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 1 - 6 (atti di: 58th IEEE Global Communications Conference, GLOBECOM 2015, usa, 2015) [Contributo in Atti di convegno]

Bellavista, Paolo; Hong, Xiaoyan; Kobayashi, Toru, Welcome message from the IEEE mobile cloud 2015 TPC co-chairs, in: Proceedings - 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. x - xi (atti di: 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015, usa, 2015) [Contributo in Atti di convegno]

Salpietro, Rosario; Bedogni, Luca; Di Felice, Marco; Bononi, Luciano, Park Here! a smart parking system based on smartphones' embedded sensors and short range Communication Technologies, in: IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings, new york, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 18 - 23 (atti di: 2nd IEEE World Forum on Internet of Things, WF-IoT 2015, Milan, Italy, 14-16 December 2015) [Contributo in Atti di convegno]

Tombari, Federico; Di Stefano, Luigi, Bounded Non-Local Means for Fast and Effective Image Denoising, in: Image Analysis and Processing — ICIAP 2015, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9280, pp. 183 - 193 (atti di: 18th International Conference on Image Analysis and Processing — ICIAP 2015, Genoa, Italy, September 7-11, 2015) [Contributo in Atti di convegno]

Di Iorio, Angelo; Giannella, Raffaele; Poggi, Francesco; Peroni, Silvio; Vitali, Fabio, Exploring scholarly papers through citations, in: DocEng 2015 - Proceedings of the 2015 ACM Symposium on Document Engineering, Association for Computing Machinery, Inc, 2015, pp. 107 - 116 (atti di: ACM Symposium on Document Engineering, DocEng 2015, Lausanne, Switzerland, 2015) [Contributo in Atti di convegno]

Italia, Paola; Vitali, Fabio; Di Iorio, Angelo, Variants and versioning between textual bibliography and computer science, in: ACM International Conference Proceeding Series, Association for Computing Machinery, 2015, pp. 1 - 5 (atti di: 3rd AIUCD Annual Conference on Humanities and Their Methods in the Digital Ecosystem, AIUCD 2014, ita, 2015) [Contributo in Atti di convegno]

Brunetto, Nicholas; Salti, Samuele; Fioraio, Nicola; Cavallari, Tommaso; Di Stefano, Luigi, Fusion of Inertial and Visual Measurements for RGB-D SLAM on Mobile Devices, in: Proceedings of the IEEE International Conference on Computer Vision, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION», 2015, pp. 148 - 156 (atti di: 15th IEEE International Conference on Computer Vision Workshops, ICCVW 2015, Santiago del Cile, Cile, 2015) [Contributo in Atti di convegno]

Portosa, Alessandro; Rafique, M. Mustafa; Kotoulas, Spyros; Foschini, Luca; Corradi, Antonio, Heterogeneous cloud systems monitoring using semantic and linked data technologies, in: Proceedings of the 2015 IFIP/IEEE International Symposium on Integrated Network Management, IM 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 497 - 503 (atti di: 14th IFIP/IEEE International Symposium on Integrated Network Management, IM 2015, Shaw Centre, can, 2015) [Contributo in Atti di convegno]