Pubblicazioni

Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-consistent reversibility in a tuple-based language, in: M. Aldinucci, M. Daneshtalab, V. Leppänen, J. Lilius, M. Brorsson, Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Piscataway, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 467 - 475 (atti di: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015) [Contributo in Atti di convegno]

Bravetti, Mario, Towards dynamic updates in service composition, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2015, 201, pp. 1 - 17 (atti di: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015) [Contributo in Atti di convegno]

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]

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 [Articolo in rivista]

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

Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [Articolo in rivista] 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) [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; 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 [Capitolo/Saggio in libro]

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]

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 [Capitolo/Saggio in libro]

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]

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 [Articolo in rivista]

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]

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 [Articolo in rivista]

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 [Articolo in rivista]