Pubblicazioni

de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G., Decidability problems for actor systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2014, 10, pp. 1 - 28 [Articolo in rivista]

Mirri, Silvia; Prandi, Catia; Salomoni, Paola; Callegati, Franco; Campi, Aldo, On combining crowdsourcing, sensing and open data for an accessible smart city, in: Proceedings - 2014 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 294 - 299 (atti di: 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, St. Anthony's College of the University of Oxford, gbr, 2014) [Contributo in Atti di convegno]

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]

Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Symmetries and dualities in name-passing process calculi, in: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, Berlino, Springer Verlag, 2014, pp. 307 - 322 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

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; Gabbrielli, Maurizio, Probabilistic recursion theory and implicit computational complexity, «SCIENTIFIC ANNALS OF COMPUTER SCIENCE», 2014, 24, pp. 177 - 216 [Articolo in rivista]

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]

Filisetti, Alessandro; Villani, Marco; Damiani, Chiara; Graudenzi, Alex; Roli, Andrea; Hordijk, Wim; Serra, Roberto, On RAF Sets and Autocatalytic Cycles in Random Reaction Networks, in: Communications in Computer and Information Science, Cham (ZG), Springer Verlag, 2014, pp. 114 - 126 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Nicolay, Delphine; Roli, Andrea; Carletti, Timoteo, Learning Multiple Conflicting Tasks with Artificial Evolution, in: Communications in Computer and Information Science, Cham (ZG), Springer Verlag, 2014, pp. 127 - 139 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

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]