Pubblicazioni

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) [Contributo in Atti di convegno]

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 . [Curatela]

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 [Replica/breve intervento (e simili)]

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 [Replica/breve intervento (e simili)]

Sangiorgi D.; Vignudelli V., Environmental bisimulations for probabilistic higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 64 [Articolo in rivista] 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.) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

Lago U.D.; Grellois C., Probabilistic termination by monadic affine sized typing, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 65 [Articolo in rivista] 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 [Articolo in rivista]

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

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

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) [Contributo in Atti di convegno]

Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Debugging for Message Passing Programs, in: Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11535, pp. 167 - 184 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 2019) [Contributo in Atti di convegno] Open Access

Rahnama O.; Cavallari T.; Golodetz S.; Tonioni A.; Joy T.; Di Stefano L.; Walker S.; Torr P.H.S., Real-Time Highly Accurate Dense Depth on a Power Budget Using an FPGA-CPU Hybrid SoC, «IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS. II, EXPRESS BRIEFS», 2019, 66, pp. 773 - 777 [Articolo in rivista] Open Access

S. Melzi; R. Spezialetti; F. Tombari; M. M. Bronstein; L. Di Stefano; E. Rodolà, Gframes: Gradient-based local reference frame for 3D shape matching, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2019, 2019, pp. 4624 - 4633 (atti di: 32nd IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019, usa, 2019) [Contributo in Atti di convegno]

Ciaccia P.; Martinenghi D.; Torlone R., Finding preferred objects with taxonomies, in: CONCEPTUAL MODELING, ER 2019, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11788, pp. 397 - 411 (atti di: 38th International Conference on Conceptual Modeling, ER 2019, Salvador, Brazil, November 4-7, 2019) [Contributo in Atti di convegno]

Bedo M.; Ciaccia P.; Martinenghi D.; de Oliveira D., A k–Skyband Approach for Feature Selection, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11807, pp. 160 - 168 (atti di: 12th International Conference on Similarity Search and Applications, SISAP 2019, Newark, NJ, USA, 2019) [Contributo in Atti di convegno]

Paolo Ciaccia; Davide Martinenghi, Flexible Score Aggregation, in: Proceedings of the 27th Italian Symposium on Advanced Database Systems, «CEUR WORKSHOP PROCEEDINGS», 2019, 2400, pp. 5.1 - 5.8 (atti di: 27th Italian Symposium on Advanced Database Systems, SEBD 2019, Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019) [Contributo in Atti di convegno]

Tonioni A.; Rahnama O.; Joy T.; DI Stefano L.; Ajanthan T.; Torr P.H.S., Learning to adapt for stereo, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «PROCEEDINGS - IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2019, 2019-, pp. 9653 - 9662 (atti di: 32nd IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019, usa, 2019) [Contributo in Atti di convegno]

Mikulski L.; Lanese I., Reversing Unbounded Petri Nets, in: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11522, pp. 213 - 233 (atti di: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Aachen, Germany, 2019) [Contributo in Atti di convegno] Open Access