Publications

D'Angelo, Gabriele; De Grande, Robson, Guest editors’ introduction: Special issue on Simulation in (and of) the Cloud, «SIMULATION MODELLING PRACTICE AND THEORY», 2015, 58, pp. 1 - 2 [Scientific article]

Damiani, Ferruccio; Viroli, Mirko, Type-based self-stabilisation for computational fields, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 53 [Scientific article]

Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [Scientific article] Open Access

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

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; Lange, Christoph; Dimou, Anastasia; Vahdati, Sahar, Semantic publishing challenge – assessing the quality of scientific output by information extraction and interlinking, in: Communications in Computer and Information Science, Berlin, Springer Verlag, 2015, pp. 65 - 80 [Chapter or essay]

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

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

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

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

Zavattaro, Gianluigi, When to move to transfer nets: On the limits of Petri nets as models for process Calculi, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Verlag, 2015, pp. 339 - 353 [Chapter or essay]

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

Landi, G.; Loli Piccolomini, E.; Nagy, J. G., Numerical solution of a nonlinear least squares problem in digital breast tomosyhntesis, «JOURNAL OF PHYSICS. CONFERENCE SERIES», 2015, 657, pp. 1 - 6 [Scientific article]

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

Bellavista, Paolo; Corradi, Antonio; Foschini, Luca; Ianniello, Raffaele, Scalable and cost-effective assignment of mobile crowdsensing tasks based on profiling trends and prediction: The ParticipAct living lab experience, «SENSORS», 2015, 15, pp. 18613 - 18640 [Scientific article]

Bellavista, Paolo; Giannelli, Carlo, Cyber Physical Sensors and Actuators for Privacy-and Cost-Aware Optimization of User-Generated Content Provisioning, «INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS», 2015, 2015, pp. 1 - 10 [Scientific article]

Gavalas, Damianos; Choubassi, Maha El; Crespo, Ángel García; Bellavista, Paolo, Special issue on Mobile and Pervasive Applications in Tourism, «PERVASIVE AND MOBILE COMPUTING», 2015, 18, pp. 1 - 3 [Scientific article]

Rehmani, Mubashir Husain; Shadaram, Mehdi; Zeadally, Sherali; Bellavista, Paolo, Special issue on recent developments in Cognitive Radio Sensor Networks, «PERVASIVE AND MOBILE COMPUTING», 2015, 22, pp. 1 - 2 [Scientific article]

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