Pubblicazioni
-
Bujari A.; Palazzi C.E.; Quadrio G.; Ronzani D., Emerging Interactive Applications over QUIC, in: 2020 IEEE 17th Annual Consumer Communications and Networking Conference, CCNC 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 1 - 4 (atti di: 17th IEEE Annual Consumer Communications and Networking Conference, CCNC 2020, Las Vegas, NV, USA, 2020) [Contributo in Atti di convegno]
-
Ciancarini, P.; Missiroli, M.; Russo, D., Exploiting Agile Practices to Teach Computational Thinking, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12055, pp. 63 - 83 (atti di: 2nd International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, fra, 2019) [Contributo in Atti di convegno]
-
Voinea S.C.; Bujari A.; Palazzi C.E., Air Quality Control through Bike Sharing Fleets, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 4 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]
-
Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto, Probabilistic Analysis of Binary Sessions, in: Leibniz International Proceedings in Informatics, LIPIcs, DEU, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 171, pp. 1 - 21 (atti di: International Conference on Concurrency Theory, Vienna, Austria, 2020) [Contributo in Atti di convegno]
-
Ciccone, Luca; Padovani, Luca, A Dependently Typed Linear π-Calculus in Agda, in: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, pp. 1 - 14 (atti di: International Symposium on Principles and Practice of Declarative Programming, Bologna, 9-10 September, 2020) [Contributo in Atti di convegno]
-
Kim, J.; Sirbu, A.; Giannotti, F.; Gabrielli, L., Digital Footprints of International Migration on Twitter, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2020, 12080, pp. 274 - 286 (atti di: 18th International Conference on Intelligent Data Analysis, IDA 2020, deu, 2020) [Contributo in Atti di convegno]