Pubblicazioni

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]

Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-Consistent Reversibility, «BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE», 2014, 114, pp. 121 - 139 [Articolo in rivista]

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]

Milano, Michela; Lombardi, Michele, Strategic decision making on complex systems, «CONSTRAINTS», 2014, 19, pp. 174 - 185 [Articolo in rivista]

Milano, Michela; Van Hentenryck, Pascal, Looking into the crystal-ball: A bright future for CP, «CONSTRAINTS», 2014, 19, pp. 121 - 125 [Articolo in rivista]

Milano, Michela; O'Sullivan, Barry; Gavanelli, Marco, Sustainable policy making: A strategic challenge for artificial intelligence, «AI MAGAZINE», 2014, 35, pp. 22 - 35 [Articolo in rivista]

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]