Pubblicazioni

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

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

mattia frapporti; roberto ventresca, THE LONG-LASTING ‘PROVINCIALIZATION’ OF EUROPE. AN INTERVIEW WITH DIPESH CHAKRABARTY, «SOFT POWER, REVISTA EURO-AMERICANA DE TEORÍA E HISTORIA DE LA POLÍTICA», 2020, 7, pp. 47 - 66 [Articolo in rivista] 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) [Contributo in Atti di convegno] Open Access

Avanzini M.; Dal Lago U.; Yamada A., On probabilistic term rewriting, «SCIENCE OF COMPUTER PROGRAMMING», 2020, 185, pp. 1 - 19 [Articolo in rivista] 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 [Articolo in rivista] Open Access

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

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 [Articolo in rivista] Open Access

Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed strings for string constraint solving, «ARTIFICIAL INTELLIGENCE», 2020, 289, pp. 1 - 31 [Articolo in rivista] Open Access

Secinti G.; Trotta A.; Mohanti S.; Di Felice M.; Chowdhury K.R., FOCUS: Fog Computing in UAS Software-Defined Mesh Networks, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2020, 21, pp. 2664 - 2674 [Articolo in rivista] Open Access

Aguzzi C.; Gigli L.; Sciullo L.; Trotta A.; Di Felice M., From Cloud to Edge: Seamless Software Migration at the Era of the Web of Things, «IEEE ACCESS», 2020, 8, pp. 228118 - 228135 [Articolo in rivista] Open Access

Trotta A.; Di Felice M.; Perilli L.; Scarselli Eleonora Franchi; Cinotti T.S., BEE-DRONES: Ultra low-power monitoring systems based on unmanned aerial vehicles and wake-up radio ground sensors, «COMPUTER NETWORKS», 2020, 180, pp. 1 - 18 [Articolo in rivista] Open Access

Trotta A.; Muncuk U.; Di Felice M.; Chowdhury K.R., Persistent Crowd Tracking Using Unmanned AerIal Vehicle Swarms: A Novel Framework for Energy and Mobility Management, «IEEE VEHICULAR TECHNOLOGY MAGAZINE», 2020, 15, pp. 96 - 103 [Articolo in rivista] Open Access

Luca Sciullo; Lorenzo Gigli; Angelo Trotta; Marco Di Felice, WoT Store: Managing Resources and Applications on the Web of Things, «INTERNET OF THINGS», 2020, 9, pp. 1 - 18 [Articolo in rivista] Open Access