Pubblicazioni
-
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
-
Sciullo L.; Trotta A.; Di Felice M., Design and performance evaluation of a LoRa-based mobile emergency management system (LOCATE), «AD HOC NETWORKS», 2020, 96, pp. 1 - 17 [Articolo in rivista] Open Access
-
Cristiani Davide; Bottonelli Filippo; Trotta A.; Di Felice M., Inventory Management through Mini-Drones: Architecture and Proof-of-Concept Implementation, in: Proceedings - 21st IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 317 - 322 (atti di: 21st IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2020, irl, 2020) [Contributo in Atti di convegno]
-
Sciullo L.; Montori F.; Trotta A.; Di Felice M.; Cinotti T.S., Discovering Web Things as Services within the Arrowhead Framework, in: Proceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Institute of Electrical and Electronics Engineers Inc., 2020, 2020, pp. 571 - 576 (atti di: 3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, 2020) [Contributo in Atti di convegno] Open Access
-
Trotta A.; Di Felice M.; Bononi L.; Perilli L.; Scarselli Eleonora Franchi; Cinotti T.S., Throughput Enhancement in UAV-aided Wireless Sensor Networks via Wake-Up Radio Technology and Priority-based MAC Scheme, in: IEEE World Forum on Internet of Things, WF-IoT 2020 - Symposium Proceedings, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 1 - 6 (atti di: 6th IEEE World Forum on Internet of Things, WF-IoT 2020, usa, 2020) [Contributo in Atti di convegno]
-
Ciancarini, Paolo; Missiroli, Marcello; Russo, Daniel, A Study of Cooperative Thinking, in: Frontiers in Software Engineering Education, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12271, pp. 279 - 292 (atti di: Frontiers in Software Engineering Education, Innopolis, Russia, 2019) [Contributo in Atti di convegno]