Pubblicazioni

Luca Ciccone; Luca Padovani, Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types, in: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP’21), DEU, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021, 198, pp. 1 - 16 (atti di: International Colloquium on Automata, Languages, and Programming, Glasgow, 12th-16th July 2021) [Contributo in Atti di convegno]

Marzolo, P.; Guazzaloca, M.; Ciancarini, P., “Extreme Development” as a Means for Learning Agile, in: Communications in Computer and Information Science, Berlin, Springer Science and Business Media Deutschland GmbH, «COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE», 2021, 1523, pp. 158 - 175 (atti di: 1st International Conference on Frontiers in Software Engineering, ICFSE 2021, Russia, 2021) [Contributo in Atti di convegno]

Aguzzi, Gianluca, Research directions for Aggregate Computing with Machine Learning, in: Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 310 - 312 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, usa, 2021) [Contributo in Atti di convegno]