Publications

Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M., Field-based coordination with the share operator, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, pp. 1 - 41 [Scientific article] Open Access

Casadei R.; Viroli M.; Audrito G.; Damiani F., FScaFi : A Core Calculus for Collective Adaptive Systems Programming, in: ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Heidebeld, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12477, pp. 344 - 360 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 20-30 October 2020) [Contribution to conference proceedings] Open Access

Accattoli B.; Dal Lago U.; Vanoni G., The machinery of interaction, in: ACM International Conference Proceeding Series, New York, Association for Computing Machinery, 2020, pp. 1 - 15 (atti di: 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of 2020 Bologna Federated Conference on Programming Languages, BOPL 2020, ita, 2020) [Contribution to conference proceedings] Open Access

Barak B.; Crubille R.; Dal Lago U., On higher-order cryptography, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 168, pp. 1 - 16 (atti di: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, deu, 2020) [Contribution to conference proceedings] Open Access

Ronchi Della Rocca S.; Dal Lago U.; Faggian C., Solvability in a probabilistic setting, in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contribution to conference proceedings] Open Access

Dal Lago U.; Guerrieri G.; Heijltjes W., Decomposing Probabilistic Lambda-Calculi, in: Foundations of Software Science and Computation Structures. 23rd International Conference, FOSSACS 2020., Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12077, pp. 136 - 156 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contribution to conference proceedings] Open Access

Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, A Survey on Microservices Security: Preliminary Findings, in: Microservices 2020, 2020, pp. 1 - 3 (atti di: Microservices 2020, Bologna (IT), 7-10 September 2020) [Abstract]

Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen, CICM-WS 2019: Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Aachen, Sun SITE Central Europe, 2020, pp. 91 (CEUR WORKSHOP PROCEEDINGS). [Editorship] Open Access

Ciancarini P.; Nuzzolese A.G.; Presutti V.; Russo D., SQuAP-Ont: An ontology of software quality relational factors from financial systems, «SEMANTIC WEB», 2020, 11, pp. 1007 - 1021 [Scientific article] Open Access

Ciancarini P.; Missiroli M., Teaching the Essence of Software Development, in: 2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 299 - 300 (atti di: 32nd IEEE Conference on Software Engineering Education and Training, CSEE and T 2020, Munich, Germany, 9-12 November 2020) [Contribution to conference proceedings] Open Access

Ciancarini P.; Russo D., The Strategic Technical Debt Management Model: An Empirical Proposal, in: IFIP Advances in Information and Communication Technology, Springer, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2020, 582, pp. 131 - 140 (atti di: 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, rus, 2020) [Contribution to conference proceedings]

Ciancarini P.; Ergasheva S.; Kholmatova Z.; Kruglov A.; Succi G.; Vasquez X.; Zuev E., Analysis of energy consumption of software development process entities, «ELECTRONICS», 2020, 9, pp. 1 - 17 [Scientific article] Open Access

Ciancarini P.; Kruglov A.; Sadovykh A.; Succi G.; Zuev E., Elaborating validation scenarios based on the context analysis and combinatorial method: Example of the power-efficiency framework innomterics, «ELECTRONICS», 2020, 9, pp. 1 - 14 [Scientific article] Open Access

Ciancarini P.; Masyagin S.; Succi G., Software design as story telling: Reflecting on the work of Italo Calvino, in: SPLASH 2020 - Onward! Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,, Association for Computing Machinery, Inc, 2020, pp. 195 - 208 (atti di: 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! SPLASH 2020, usa, 18 - 20 November 2020) [Contribution to conference proceedings] Open Access

Adele Veschetti, Cosimo Laneve, A Formal Analysis of the Bitcoin Protocol, in: F. de Boer, J. Mauro, Recent Developments in the Design and Implementation of Programming Languages, Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 17 (atti di: Recent Developments in the Design and Implementation of Programming Languages, ONLINE, 27/11/2020) [Contribution to conference proceedings] Open Access

Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F., On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, in: Programming Languages and Systems. 29th European Symposium on Programming, ESOP 2020., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12075, pp. 56 - 83 (atti di: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contribution to conference proceedings] Open Access

Avanzini M.; Dal Lago U.; Yamada A., On probabilistic term rewriting, «SCIENCE OF COMPUTER PROGRAMMING», 2020, 185, pp. 1 - 19 [Scientific article] Open Access

Dal Lago U.; Gavazzo F.; Tanaka R., Effectful applicative similarity for call-by-name lambda calculi, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 234 - 247 [Scientific article] Open Access

Dal Lago U.; Vanoni G., On randomised strategies in the λ-calculus, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 100 - 116 [Scientific article]

Kobayashi N.; Dal Lago U.; Grellois C., On the termination problem for probabilistic higher-order recursive programs, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, pp. 1 - 57 [Scientific article] Open Access