Pubblicazioni

Roberto Gorrieri, Verification of finite-state machines: A distributed approach, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 65 - 80 [Articolo in rivista]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Eager functions as processes, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), N.Y., Association for Computing Machinery, 2018, pp. 364 - 373 (atti di: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, 2018) [Contributo in Atti di convegno] Open Access

Sangiorgi, Davide*, Bisimilarity via unique-solution techniques, in: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Aachen, CEUR-WS, 2018, 2243, pp. 7 - 11 (atti di: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, Urbino, 2018) [Contributo in Atti di convegno] Open Access

Laneve, Cosimo*, A lightweight deadlock analysis for programs with threads and reentrant locks, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10951, pp. 608 - 624 (atti di: 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, gbr, 2018) [Contributo in Atti di convegno]

Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi, A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning, in: Paolo Felli, Marco Montali, Paolo Felli, Marco Montali: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018, 2018, pp. 117 - 131 (atti di: 33rd Italian Conference on Computational Logic, Bolzano, September 20-22, 2018) [Contributo in Atti di convegno]

Laneve, Cosimo*; Garcia, Abel, Deadlock detection of java bytecode, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10855, pp. 37 - 53 (atti di: 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, bel, 2017) [Contributo in Atti di convegno]

Aguiari, Davide; Contoli, Chiara; Delnevo, Giovanni; Monti, Lorenzo*, Smart Mobility and Sensing: Case Studies Based on a Bike Information Gathering Architecture, in: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer Verlag, 2018, 233, pp. 112 - 121 (atti di: 3rd International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, ita, 2017) [Contributo in Atti di convegno]

Danilo Pianini, Ahmed Elzanaty, Andrea Giorgetti, Marco Chiani, Emerging Distributed Programming Paradigm for Cyber-Physical Systems Over LoRaWANs, in: IEEE, 2018 IEEE Globecom Workshops (GC Wkshps), IEEE, 2018, pp. 1 - 6 (atti di: 2018 IEEE Globecom Workshops (GC Wkshps), Abu Dhabi, 2018) [Contributo in Atti di convegno] Open Access

Ciaccia P., Multimedia Data Indexing, in: Encyclopedia of Database Systems (2nd ed.), New York, Springer, 2018, pp. 1 - 6 [Capitolo/Saggio in libro]

Flavio. Esposito; Jiayi Wang; C. Contoli; G. Davoli; W. Cerroni; F. Callegati, A Behavior-Driven Approach to Intent Specification for Software-Defined Infrastructure Management, in: 4th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018, pp. 1 - 6 (atti di: 4th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 27-29 NOV. 2018) [Contributo in Atti di convegno] Open Access

Di Iorio, Angelo*; Limpens, Freddy; Peroni, Silvio; Rotondi, Agata; Tsatsaronis, Georgios; Achtsivassilis, Jorgos, Investigating Facets to Characterise Citations for Scholars, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10959, pp. 150 - 160 (atti di: 3rd International Workshop on Semantics, Analytics, Visualization, SAVE-SD 2017 and 4th International Workshop on Semantics, Analytics, Visualization, SAVE-SD 2018, fra, 2018) [Contributo in Atti di convegno]

Rotondi, Agata; Di Iorio, Angelo; Limpens, Freddy, Identifying citation contexts: A review of strategies and goals, in: CEUR Workshop Proceedings, CEUR-WS, 2018, 2253, pp. 1 - 7 (atti di: 5th Italian Conference on Computational Linguistics, CLiC-it 2018, ita, 2018) [Contributo in Atti di convegno]

Barabucci, Gioele; Borghoff, Uwe M.; Di Iorio, Angelo; Schimmler, Sonja; Munson, Ethan, Document changes: Modeling, detection, storage and visualization (DChanges 2018), in: Proceedings of the ACM Symposium on Document Engineering 2018, DocEng 2018, New York, Association for Computing Machinery, Inc, 2018, pp. 1 - 2 [Breve introduzione]

Graziosi, Alice; Di Iorio, Angelo; Poggi, Francesco; Peroni, Silvio; Bonini, Luca, Customising LOD views: A declarative approach, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2018, pp. 2185 - 2192 (atti di: 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, Francia, 2018) [Contributo in Atti di convegno]

Caponi, Alessandro; Di Iorio, Angelo; Vitali, Fabio; Alberti, Paolo; Scatá, Marcello, Exploiting patterns and templates for technical documentation, in: Proceedings of the ACM Symposium on Document Engineering 2018, DocEng 2018, Association for Computing Machinery, Inc, 2018, pp. 30 - 38 (atti di: 18th ACM Symposium on Document Engineering, DocEng 2018, Dalhousie University, Canada, 2018) [Contributo in Atti di convegno]

Al Jawarneh, Isam Mashhour; Bellavista, Paolo; Casimiro, Francesco; Corradi, Antonio; Foschini, Luca, Cost-Effective Strategies for Provisioning NoSQL Storage Services in Support for Industry 4.0, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2018, 2018-, pp. 1227 - 1232 (atti di: 2018 IEEE Symposium on Computers and Communications, ISCC 2018, bra, 2018) [Contributo in Atti di convegno]

Al Jawarneh, Isam Mashhour; Bellavista, Paolo; Corradi, Antonio; Foschini, Luca; Montanari, Rebecca; Zanotti, Andrea, In-memory Spatial-Aware Framework for Processing Proximity-Alike Queries in Big Spatial Data, in: IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD, Institute of Electrical and Electronics Engineers Inc., 2018, 2018, pp. 1 - 6 (atti di: 23rd IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD 2018, esp, 2018) [Contributo in Atti di convegno]

Angeli, Alessia; Piccolomini, Elena Loli; Marfia, Gustavo, Learning about Fashion exploiting the Big Multimedia Data, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, Institute of Electrical and Electronics Engineers Inc., 2018, 2018-, pp. 48 - 51 (atti di: 29th IEEE Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2018, ita, 2018) [Contributo in Atti di convegno]

Russo, Daniel; Ciancarini, Paolo; Falasconi, Tommaso; Tomasi, Massimo, A meta-model for information systems quality: A mixed study of the financial sector, «ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS», 2018, 9, pp. 1 - 38 [Articolo in rivista]

Hegedus, Csaba*; Ciancarini, Paolo; Franko, Attila; Kancilija, Ales; Moldovan, Istvan; Papa, Gregor; Poklukar, Spela; Riccardi, Mario; Sillitti, Alberto; Varga, Pal, Proactive Maintenance of Railway Switches, in: 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Institute of Electrical and Electronics Engineers Inc., 2018, pp. 725 - 730 (atti di: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, 2018) [Contributo in Atti di convegno]