Pubblicazioni

Crubillé, Raphaelle; Dal Lago, Ugo, Metric reasoning about Lambda-Terms: The general case, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 341 - 367 (atti di: 26th European Symposium on Programming, ESOP 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Ugo Dal, Lago; Grellois, Charles, Probabilistic termination by monadic affine sized typing, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 393 - 419 (atti di: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira, The geometry of parallelism: Classical, probabilistic, and quantum effects, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), New York, Association for Computing Machinery, 2017, pp. 833 - 845 (atti di: 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 2017) [Contributo in Atti di convegno] Open Access

Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe, On higher-order probabilistic subrecursion, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10203, pp. 370 - 386 (atti di: 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Divergence and unique solution of equations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017, 85, pp. 1 - 16 (atti di: 28th International Conference on Concurrency Theory, CONCUR 2017, Berlino, 2017) [Contributo in Atti di convegno] Open Access

Grassi, Giulio; Bahl, Paramvir; Jamieson, Kyle; Pau, Giovanni, ParkMaster: An in-vehicle, edge-based video analytics service for detecting open parking spaces in urban environments, in: 2017 2nd ACM/IEEE Symposium on Edge Computing, SEC 2017, Association for Computing Machinery, Inc, 2017, pp. 1 - 14 (atti di: 2nd IEEE/ACM Symposium on Edge Computing, SEC 2017, USA, 2017) [Contributo in Atti di convegno]

Sangiorgi, Davide, Equations, contractions, and unique solutions, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2017, 18, pp. 1 - 30 [Articolo in rivista]

Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide, Session types revisited, «INFORMATION AND COMPUTATION», 2017, 256, pp. 253 - 286 [Articolo in rivista] Open Access

Scherhag, U.; Nautsch, A.; Rathgeb, C.; Gomez-Barrero, M.; Veldhuis, R. N. J.; Spreeuwers, L.; Schils, M.; Maltoni, D.; Grother, P.; Marcel, S.; Breithauptk, R.; Raghavendra, R.; Busch, C., Biometric Systems under Morphing Attacks: Assessment of Morphing Techniques and Vulnerability Reporting, in: 2017 International Conference of the Biometrics Special Interest Group (BIOSIG), IEEE, 2017, pp. 1 - 7 (atti di: Biometrics Special Interest Group (BIOSIG), Darmstadt, 20-22 Sept. 2017) [Contributo in Atti di convegno]

Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko, Compositional Blocks for Optimal Self-Healing Gradients, in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 91 - 100 (atti di: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Pianini, Danilo; Dobson, Simon; Viroli, Mirko, Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration, in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 11 - 20 (atti di: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Practical Aggregate Programming with Protelis, in: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 391 - 392 (atti di: 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Tucson, AZ, 2017) [Riassunto (Abstract)]

Viroli, Mirko; Pianini, Danilo; Ricci, Alessandro; Croatti, Angelo, Aggregate plans for multiagent systems, «INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING», 2017, 5, pp. 336 - 365 [Articolo in rivista]

Francia, Matteo; Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Towards a foundational API for resilient distributed systems design, in: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 27 - 32 (atti di: 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Zema, Nicola Roberto; Trotta, Angelo; Sanahuja, Guillaume; Natalizio, Enrico; Di Felice, Marco; Bononi, Luciano, CUSCUS: CommUnicationS-control distributed simulator, in: 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 601 - 602 (atti di: 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, USA, 2017) [Contributo in Atti di convegno]

Zema, Nicola Roberto; Trotta, Angelo; Sanahuja, Guillaume; Natalizio, Enrico; Di Felice, Marco; Bononi, Luciano, CUSCUS: An integrated simulation architecture for distributed networked control systems, in: 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 287 - 292 (atti di: 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, Las Vegas, USA, 8-11 Jan. 2017) [Contributo in Atti di convegno]

Trotta, Angelo; Di Felice, Marco; Chowdhury, Kaushik R.; Bononi, Luciano, Fly and recharge: Achieving persistent coverage using Small Unmanned Aerial Vehicles (SUAVs), in: IEEE International Conference on Communications, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 1 - 7 (atti di: 2017 IEEE International Conference on Communications, ICC 2017, Parigi, Francia, May 21-25, 2017) [Contributo in Atti di convegno]

Bedogni, Luca; Trotta, Angelo; Di Felice, Marco; Gao, Yue; Zhang, Xingjian; Zhang, Qianyun; Malabocchia, Fabio; Bononi, Luciano, Dynamic Adaptive Video Streaming on Heterogeneous TVWS and Wi-Fi Networks, «IEEE-ACM TRANSACTIONS ON NETWORKING», 2017, 25, pp. 3253 - 3266 [Articolo in rivista]

Montori, Federico; Bedogni, Luca; Bononi, Luciano, Distributed data collection control in opportunistic mobile crowdsensing, in: SMARTOBJECTS 2017 - Proc. of the 3rd Workshop on Experiences with Design and Implementation of Smart Objects, co-located MobiCom 2017, New York, Association for Computing Machinery, Inc, 2017, pp. 19 - 24 (atti di: 3rd Workshop on Experiences with the Design and Implementation of Smart Objects, SMARTOBJECTS 2017, Snowbird, Utah, USA, October 16, 2017) [Contributo in Atti di convegno]

Andrea, Asperti; Carlo De Pieri, ; Gianluca, Pedrini, Rogueinabox: an Environment for Roguelike Learning., «INTERNATIONAL JOURNAL OF COMPUTERS», 2017, 2, pp. 146 - 154 [Articolo in rivista]