Publications

Chisca D.S.; Lombardi M.; Milano M.; O'Sullivan B., A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 146 - 162 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contribution to conference proceedings]

Celia da Costa Pereira, Sara Bevilacqua, Eric Guerci, Frederic Precioso, Claudio Sartori, A Co-evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market, in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11873, pp. 235 - 250 (atti di: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Torino, 28/10/2019) [Contribution to conference proceedings]

Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contribution to conference proceedings]

Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contribution to conference proceedings] Open Access

Venanzi R.; Foschini L.; Bellavista P.; Kantarci B.; Stefanelli C., Fog-Driven Context-Aware Architecture for Node Discovery and Energy Saving Strategy for Internet of Things Environments, «IEEE ACCESS», 2019, 7, pp. 134173 - 134186 [Scientific article] Open Access

Bellavista P.; Belli D.; Chessa S.; Foschini L., A social-driven edge computing architecture for mobile crowd sensing management, «IEEE COMMUNICATIONS MAGAZINE», 2019, 57, pp. 68 - 73 [Scientific article]

Muhammad K.; Ahmad J.; Lv Z.; Bellavista P.; Yang P.; Baik S.W., Efficient Deep CNN-Based Fire Detection and Localization in Video Surveillance Applications, «IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS», 2019, 49, pp. 1419 - 1434 [Scientific article] Open Access

Akyildiz, IF; Azcorra, A; Bellavista, P; Camarda, P; Conti, M; Crowcroft, J; Dressler, F; Ephremides, A; Frank, R; Fratta, L; Giordano, S; Kleinrock, L; Kumar, PR; Lenzini, L; Palazzo, S; Rudin, H; Sanadidi, M; Wolisz, A, Personal tributes to Mario Gerla, «AD HOC NETWORKS», 2019, 88, pp. 172 - 182 [Scientific article]

Bellavista P.; Mora A., Edge cloud as an enabler for distributed AI in industrial IoT applications: The experience of the iotwins project, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2019, 2502, pp. 1 - 15 (atti di: 1st Workshop on Artificial Intelligence and Internet of Things, AI and IoT 2019, ita, 2019) [Contribution to conference proceedings]

Antonio A. F. Loureiro; Salil Kanhere; Paolo Bellavista, Proceedings of the 22nd International {ACM} Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2019, Miami Beach, FL, USA, November 25-29, 2019, New York, ACM, 2019, pp. 12 . [Editorship]

Bistarelli S.; Santini F.; Torroni P., Special issue of the knowledge representation and reasoning track, symposium on applied computing (SAC) 2017: Preface, «FUNDAMENTA INFORMATICAE», 2019, 166, pp. 139 - 140 [Comment or similar]

Maratea M.; Serina I.; Torroni P., Special issue of the 24th RCRA InternationalWorkshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, «FUNDAMENTA INFORMATICAE», 2019, 167, pp. V - VII [Comment or similar]

Sangiorgi D.; Vignudelli V., Environmental bisimulations for probabilistic higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 64 [Scientific article] Open Access

Mauro Gaspari; Margherita Donnici, Weekend in Rome: A Cognitive Training Exercise based on Planning, in: Socio-Affective Technologies: an interdisciplinary approach SAT 2019, CEUR, «CEUR WORKSHOP PROCEEDINGS», 2019, 2474, pp. 37 - 42 (atti di: Workshop Socio-Affective Technologies: an interdisciplinary approach co-located with IEEE SMC 2019 (Systems, Man and Cybernetics), Bari, Italy, October 7th, 2019.) [Contribution to conference proceedings]

Lago, Ugo Dal; Gavazzo, Francesco, On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019., 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contribution to conference proceedings]

Lago U.D.; Grellois C., Probabilistic termination by monadic affine sized typing, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 65 [Scientific article] Open Access

Baillot P.; Barthe G.; Dal Lago U., Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, «JOURNAL OF AUTOMATED REASONING», 2019, 63, pp. 813 - 855 [Scientific article]

Gabriele D'Angelo; Stefano Ferretti, Proceedings of 2nd IEEE Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019), Piscataway, IEEE, 2019, pp. 100 . [Editorship]

Tonioni A.; Di Stefano L., Domain invariant hierarchical embedding for grocery products recognition, «COMPUTER VISION AND IMAGE UNDERSTANDING», 2019, 182, pp. 81 - 92 [Scientific article]

Moro G.; Pasolini R.; Dardari D., LOS/NLOS Wireless Channel Identification based on Data Mining of UWB Signals, in: DATA 2019 - Proceedings of the 8th International Conference on Data Science, Technology and Applications, SciTePress, 2019, pp. 416 - 425 (atti di: 8th International Conference on Data Science, Technology and Applications, DATA 2019, Prague; Czech Republic;, 26 July 2019) [Contribution to conference proceedings]