Pubblicazioni

  • Salti, Samuele; Tombari, Federico; Spezialetti, Riccardo; Di Stefano, Luigi, Learning a descriptor-specific 3D keypoint detector, 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. 2318 - 2326 (atti di: 15th IEEE International Conference on Computer Vision, ICCV 2015, Santiago del Cile, Cile, Dicembre 2015) [Contributo in Atti di convegno]

  • Bedogni, L.; Bononi, L.; Borghetti, A.; Bottura, R.; D'Elia, A.; Salmon Cinotti, T., Integration of traffic and grid simulator for the analysis of e-mobility impact on power distribution networks, in: 2015 IEEE Eindhoven PowerTech, PowerTech 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 1 - 6 (atti di: IEEE Eindhoven PowerTech, PowerTech 2015, Eindhoven, Netherlands, 2015) [Contributo in Atti di convegno]

  • Tagliavini, Giuseppe; Haugou, Germain; Marongiu, Andrea; Benini, Luca, ADRENALINE: An OpenVX Environment to Optimize Embedded Vision Applications on Many-core Accelerators, in: Proceedings - IEEE 9th International Symposium on Embedded Multicore/Manycore SoCs, MCSoC 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 289 - 296 (atti di: 9th IEEE International Symposium on Embedded Multicore/Manycore SoCs, MCSoC 2015, Polytechnic of Turin, ita, 2015) [Contributo in Atti di convegno] Open Access

  • Tagliavini, Giuseppe; Rossi, Davide; Benini, Luca; Marongiu, Andrea, Synergistic architecture and programming model support for approximate micropower computing, in: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, IEEE Computer Society, 2015, 07-10-, pp. 280 - 285 (atti di: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2015, Montpellier, France, 2015) [Contributo in Atti di convegno]

  • Borghesi, Andrea; Collina, Francesca; Lombardi, Michele; Milano, Michela; Benini, Luca, Power capping in high performance computing systems, in: Principles and Practice of Constraint Programming. CP 2015, Berlin, Springer Verlag, 2015, pp. 524 - 540 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro] Open Access

  • Rizzo, Stefano Giovanni; Montesi, Danilo; Fabbri, Andrea; Marchesini, Giulio, ICD code retrieval: Novel approach for assisted disease classification, in: Data Integration in the Life Sciences, 2015, 9162, pp. 147 - 161 (atti di: 11th International Conference on Data Integration in the Life Sciences, DILS 2015, usa, 2015) [Contributo in Atti di convegno]

  • 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]

  • 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: Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers Inc., 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]

  • 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]

Torna su