Pubblicazioni

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

Marcon Marlon; Spezialetti Riccardo; Salti Samuele; Silva Luciano; Di Stefano Luigi, Boosting Object Recognition in Point Clouds by Saliency Detection, in: New Trends in Image Analysis and Processing – ICIAP 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11808, pp. 321 - 331 (atti di: Industrial session held at the 20th International Conference on Image Analysis and Processing, ICIAP 2019, Italia, 13/09/2019) [Contributo in Atti di convegno]

Spezialetti Riccardo; Salti Samuele; Di Stefano Luigi, Performance evaluation of learned 3D features, in: Image Analysis and Processing – ICIAP 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11751, pp. 519 - 531 (atti di: 20th International Conference on Image Analysis and Processing, ICIAP 2019, Trento, Italia, 2019) [Contributo in Atti di convegno]

Poggi F.; Ciancarini P.; Di Iorio A.; Peroni S.; Vitali F., Exploiting coordinated views for scholarly reading and analysis, in: Proceedings - DMSVIVA 2019: 25th International DMS Conference on Visualization and Visual Languages, Knowledge Systems Institute Graduate School, KSI Research Inc., 2019, 2019, pp. 113 - 124 (atti di: 25th International Distributed Multimedia Systems Conference on Visualization and Visual Languages, DMSVIVA 2019, Lisbon, Portugal, 2019) [Contributo in Atti di convegno]

mattia frapporti, The European Logistics Space: On Jean Monnet and the Integration of Europe, «NOTAS ECONÓMICAS», 2019, 49, pp. 35 - 46 [Articolo in rivista]