Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • Corradi, Antonio; Curatola, Giovanni; Foschini, Luca; Ianniello, Raffaele; De Rolt, Carlos Roberto, Smartphones as smart cities sensors: MCS scheduling in the ParticipAct project, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2015, 2016-, pp. 222 - 228 (atti di: 20th IEEE Symposium on Computers and Communication, ISCC 2015, cyp, 2015) [Contribution to conference proceedings]

  • Corradi, Antonio; Foschini, Luca; Pernafini, Alessandro; Bosi, Filippo; Laudizio, Vincenzo; Seralessandri, Maria, Cloud PaaS brokering in action: The Cloud4SOA management infrastructure, in: 2015 IEEE 82nd Vehicular Technology Conference, VTC Fall 2015 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 1 - 7 (atti di: 82nd IEEE Vehicular Technology Conference, VTC Fall 2015, usa, 2015) [Contribution to conference proceedings]

  • Mariani MM; Di Felice M, Mobile applications in tourism: a taxonomy an case studies, «INTERNATIONAL CONFERENCE ON TOURISM MANAGEMENT AND TOURISM RELATED ISSUES», 2015, 5, pp. 3 - 36 [Scientific article]

  • Borghesi, Andrea; Conficoni, Christian; Lombardi, Michele; Bartolini, Andrea, MS3: A Mediterranean-stile job scheduler for supercomputers - Do less when it's too hot!, in: Proceedings of the 2015 International Conference on High Performance Computing and Simulation, HPCS 2015, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 88 - 95 (atti di: 13th International Conference on High Performance Computing and Simulation, HPCS 2015, nld, 2015) [Contribution to conference proceedings]

  • Van Cauwelaert, Sascha; Lombardi, Michele; Schaus, Pierre, Understanding the Potential of Propagators, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9075, pp. 427 - 436 (atti di: 12th International Conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming, CPAIOR 2015, esp, 2015) [Contribution to conference proceedings]

  • Bonfietti, Alessio; Lombardi, Michele; Milano, Michela, Embedding Decision Trees and Random Forests in Constraint Programming, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9075, pp. 74 - 90 (atti di: 12th International Conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming, CPAIOR 2015, esp, 2015) [Contribution to conference proceedings]

  • Lombardi, Michele; Bonfietti, Alessio; Milano, Michela, Deterministic estimation of the expected makespan of a POS under duration uncertainty, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9255, pp. 279 - 294 (atti di: 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015, irl, 2015) [Contribution to conference proceedings]

  • Prandi, Catia; Nisi, Valentina; Salomoni, Paola; Nunes, Nuno Jardim; Roccetti, Marco, Mapping urban accessibility: gamifying the citizens’ experience, «ICST TRANSACTIONS ON AMBIENT SYSTEMS», 2015, 2, pp. 1 - 10 [Scientific article]

  • Snyder, Lawrence; Amoroso, Alessandro, Fluency Conoscere e usare l’informatica, Milano-Torino, Pearson Italia spa, 2015, pp. 370 . [Research monograph]

  • Pau, Giovanni; Simona Segre Reinach, ; Im, Marcus; Tolic, Ines; Tse, Rita; Marfia, Gustavo, Mobile Sensing and Beyond in the Information Age: An Experimental Perspective, in: In Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), 2015, pp. 3 - 6 (atti di: 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), Hangzhou, Cina, 22 Giugno 2015) [Contribution to conference proceedings]

  • Lodi, Stefano; Angiulli, Fabrizio; Basta, Stefano; Luiselli, Donata; Pagani, Luca; Sartori, Claudio, First Application of a Distance-Based Outlier Approach to Detect Highly Differentiated Genomic Regions Across Human Populations, in: Mathematical Models in Biology - Bringing Mathematics to Life, Cham, Springer International Publishing Switzerland, 2015, pp. 133 - 144 [Chapter or essay]

  • Bujari, Armir; Ciman, Matteo; Gaggi, Ombretta; Marfia, Gustavo; Palazzi, Claudio Enrico, PathS: Enhancing Geographical Maps with Environmental Sensed Data, in: Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), 2015, pp. 13 - 16 (atti di: 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), Hangzhou, Cina, 22 Giugno 2015) [Contribution to conference proceedings]

  • Peroni, Silvio; Vitali, Fabio, Templating the semantic web via RSLT, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9341, pp. 183 - 189 (atti di: European Conference on Semantic Web, ESWC 2015, Porto Ros, Slovenia, 2015) [Contribution to conference proceedings]

  • Peroni, Silvio; Vitali, Fabio, RSLT: RDF stylesheet language transformations, in: CEUR Workshop Proceedings, CEUR-WS, 2015, 1361, pp. 7 - 13 (atti di: ESWC-DEV 2015 - ESWC Developers Workshop 2015, co-located with the 12th Extended Semantic Web Conference, ESWC 2015, svn, 2015) [Contribution to conference proceedings]

  • Fioraio, Nicola; Taylor, Jonathan; Fitzgibbon, Andrew; Di Stefano, Luigi; Izadi, Shahram, Large-scale and drift-free surface reconstruction using online subvolume registration, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «PROCEEDINGS - IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2015, 07-12-, pp. 4475 - 4483 (atti di: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015, usa, 2015) [Contribution to conference proceedings]

  • João, Leite; Tran, Cao Son; Paolo, Torroni; Stefan, Woltran, Applications of logical approaches to argumentation, «ARGUMENT & COMPUTATION», 2015, 6, pp. 1 - 2 [Comment or similar]

  • Sangiorgi, Davide, Equations, contractions, and unique solutions, in: S. K. Rajamani, D. Walker, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2015, 50, pp. 421 - 432 (atti di: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15-17 Gennaio 2015) [Contribution to conference proceedings]

  • Sangiorgi, Davide, The proof technique of unique solutions of contractions, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9399, pp. 63 - 68 (atti di: 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, Cali, Colombia, 2015) [Contribution to conference proceedings]

  • Piccinini, Filippo; Serena, Duchi; Elisa, Martella; Giulio, Alessandri; Lucarelli, Enrico; Bevilacqua, Alessandro, In vitro quantitative analysis of mesenchymal stromal cells migration towards tumours, in: Atti dell'Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), 2015, pp. 76 - 76 (atti di: Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), Brescia (IT), 8-9 Ottobre 2015) [Abstract]

  • Piccinini, Filippo; Zanoni, Michele; Bevilacqua, Alessandro; Tesei, Anna, Shape-based viability of 3D multicellular spheroids, in: Atti dell'Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), 2015, pp. 77 - 77 (atti di: Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), Brescia (IT), 8-9 Ottobre 2015) [Abstract]