Pubblicazioni

Prandi, Catia; Mirri, Silvia; Salomoni, Paola, Trustworthiness Assessment in Mapping Urban Accessibility via Sensing and Crowdsourcing, in: Proceedings of the First International Conference on IoT in Urban Space (URB-IOT '14), ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, 2014, pp. 108 - 110 (atti di: First International Conference on IoT in Urban Space (URB-IOT '14), Rome (Italy), October 27-28, 2014) [Contributo in Atti di convegno]

Sangiorgi, Davide, Higher-order languages: Bisimulation and coinductive equivalences (extended abstract), in: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8446, pp. 3 - 9 (atti di: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Grenoble, fra, 2014) [Contributo in Atti di convegno]

Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, in: 25th International Conference on Concurrency Theory, (CONCUR'14), Berlino, Springer Verlag, 2014, 8704, pp. 78 - 92 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contributo in Atti di convegno]

Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide, Bisimulations up-to: Beyond first-order transition systems, in: 25th International Conference on Concurrency Theory (CONCUR 2014), Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 93 - 108 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contributo in Atti di convegno]

Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria, On the discriminating power of passivation and higher-order interaction, in: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, aut, 2014) [Contributo in Atti di convegno]

Patsakis, Constantinos; Venanzio, Riccardo; Bellavista, Paolo; Solanas, Agusti; Bouroche, Mélanie, Personalized medical services using smart cities' infrastructures, in: IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings, IEEE Computer Society, 2014, pp. 1 - 5 (atti di: 9th IEEE International Symposium on Medical Measurements and Applications, IEEE MeMeA 2014, Lisbon, prt, 2014) [Contributo in Atti di convegno]

Coluccio, Roberto; Ghidini, Giacomo; Reale, Andrea; Levine, David; Bellavista, Paolo; Emmons, Stephen P.; Smith, Jeffrey O., Online stream processing of machine-to-machine communications traffic: A platform comparison, in: Proceedings - International Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 1 - 7 (atti di: 19th IEEE Symposium on Computers and Communications, ISCC 2014, Island of Madeira, prt, 2014) [Contributo in Atti di convegno]

Privitera, Gianluca; Ghidini, Giacomo; Emmons, Stephen P.; Levine, David; Bellavista, Paolo; Smith, Jeffrey O., Soft real-time GPRS traffic analytics for commercial M2M communications using spark, in: Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 13 - 20 (atti di: 2014 1st International Conference on Smart Computing, SMARTCOMP 2014, chn, 2014) [Contributo in Atti di convegno]

Bellavista, Paolo; Corradi, Antonio; Reale, Andrea; Ticca, Nicola, Priority-based resource scheduling in distributed stream processing systems for big data applications, in: Proceedings - 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, UCC 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 363 - 370 (atti di: 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, gbr, 2014) [Contributo in Atti di convegno]

Paolo, Bellavista; Antonio, Corradi; Spyros, Kotoulas; Andrea, Reale, Adaptive Fault-Tolerance for Dynamic Resource Provisioning in Distributed Stream Processing Systems, in: Proceedings of the 17th International Conference on Extending Database Technology (EDBT), 2014, pp. 85 - 96 (atti di: 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014) [Contributo in Atti di convegno]

Franco, Annalisa; Maio, Dario; Turroni, Francesco, Spatio-temporal keypoints for video-based face recognition, in: Proceedings 22nd International Conference on Pattern Recognition (ICPR14), IEEE, 2014, pp. 489 - 494 (atti di: International Conference on Pattern Recognition, Stoccolma, 24-28/08/2014) [Contributo in Atti di convegno]

Dal Lago, Ugo; Zuppiroli, Sara, Probabilistic Recursion Theory and Implicit Computational Complexity, in: Proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, September 17-19, 2014., 2014, 8687, pp. 97 - 114 (atti di: Theoretical Aspects of Computing, ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014) [Contributo in Atti di convegno]

Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ: A choreographic framework for safe adaptive distributed applications, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contributo in Atti di convegno]

Bonfietti, A.; Lombardi, M.; Milano, M., Disregarding duration uncertainty in partial order schedules? Yes, we can!, in: Lecture Notes in Computer Science, Springer Verlag, 2014, 8451, pp. 210 - 225 (atti di: nternational Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, Cork, Sept 2014) [Contributo in Atti di convegno]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Portfolio approaches for constraint optimization problems, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8426, pp. 21 - 35 (atti di: 8th International Conference on Learning and Intelligent OptimizatioN, LION 2014, Gainesville, FL, usa, 2014) [Contributo in Atti di convegno]

Gabbrielli, Maurizio; Giallorenzo, Saverio; Montesi, Fabrizio, Service-Oriented Architectures: From design to production exploiting workflow patterns, in: Distributed Computing and Artificial Intelligence, 11th International Conference, Springer Verlag, «ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING», 2014, 290, pp. 131 - 139 (atti di: 11th International Symposium on Distributed Computing and Artificial Intelligence 2014, DCAI 2014, Salamanca, esp, 2014) [Contributo in Atti di convegno]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An enhanced features extractor for a portfolio of constraint solvers, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2014, pp. 1357 - 1359 (atti di: 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, kor, 2014) [Contributo in Atti di convegno]

Ciancarini, Paolo; Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Peroni, Silvio; Vitali, Fabio, Evaluating Citation Functions in CiTO: Cognitive Issues., in: The Semantic Web: Trends and Challenges - 11th Extended Semantic Web Conference, ESWC 2014, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8465, pp. 580 - 594 (atti di: The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Creta, Grecia, 2014) [Contributo in Atti di convegno]

Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Peroni, Silvio; Shotton, David; Vitali, Fabio, Describing bibliographic references in RDF, in: SePublica 2014 Proceedings, CEUR-WS, 2014, 1155, pp. 49 - 60 (atti di: 4th Workshop on Semantic Publishing, SePublica 2014, Co-located with the 11th Extended Semantic Web Conference, ESWC 2014, Anissaras, Greece, 2014) [Contributo in Atti di convegno]

Di Iorio, Angelo; Peroni, Silvio; Vitali, Fabio; Zingoni, Jacopo, Semantic lenses to bring digital and semantic publishing together, in: Proceedings of the 4th Workshop on Linked Science 2014 - Making Sense Out of Data (LISC2014), CEUR-WS, 2014, 1282, pp. 12 - 23 (atti di: 4th Workshop on Linked Science: Making Sense Out of Data, LISC 2014, Collocated with the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, 2014) [Contributo in Atti di convegno]