Pubblicazioni

Ferretti, Luca; Marchetti, Mirco; Andreolini, Mauro; Colajanni, Michele, A symmetric cryptographic scheme for data integrity verification in cloud databases, «INFORMATION SCIENCES», 2018, 422, pp. 497 - 515 [Articolo in rivista]

Apruzzese G.; Colajanni M.; Ferretti L.; Guido A.; Marchetti M., On the effectiveness of machine and deep learning for cyber security, in: International Conference on Cyber Conflict, CYCON, NATO CCD COE Publications, 2018, 2018, pp. 371 - 389 (atti di: 10th International Conference on Cyber Conflict: CyCon X: Maximising Effects, CyCon 2018, est, 2018) [Contributo in Atti di convegno]

Rossi, D., Microservices: The chain of calls and the radar of freedom, in: WEBIST 2018 - Proceedings of the 14th International Conference on Web Information Systems and Technologies, SciTePress, 2018, pp. 7 - 16 (atti di: 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, esp, 2018) [Contributo in Atti di convegno]

Aguiari D.; Contoli C.; Delnevo G.; Monti L., Smart Mobility and Sensing: Case Studies Based on a Bike Information Gathering Architecture, in: International Conference on Smart Objects and Technologies for Social Good, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2018, 233, pp. 112 - 121 (atti di: GOODTECHS 2017: Smart Objects and Technologies for Social Good, Pisa, 29/11/2017) [Contributo in Atti di convegno]

Aldinucci, Marco; Padovani, Luca; Torquati, Massimo (a cura di): Marco Aldinucci, Luca Padovani, Massimo Torquati, Euro-Par 2018: Parallel Processing, BERLIN, Springer, 2018, pp. 829 . [Curatela]

Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph, A core calculus for dynamic delta-oriented programming, «ACTA INFORMATICA», 2018, 55, pp. 269 - 307 [Articolo in rivista]

Luca Padovani, A Type Checking Algorithm for Concurrent Object Protocols, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 100, pp. 16 - 35 [Articolo in rivista]

Padovani, Luca, Deadlock-Free Typestate-Oriented Programming, «THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING», 2018, 2, pp. 1 - 34 [Articolo in rivista]

De'Liguoro, Ugo; Padovani, Luca, Mailbox Types for Unordered Interactions, in: 32nd European Conference on Object-Oriented Programming, DEU, Schloss Dagstuhl, 2018, 109, pp. 1 - 28 (atti di: 32nd European Conference on Object-Oriented Programming (ECOOP'18), Amsterdam, July 16-21, 2018) [Contributo in Atti di convegno]

Salvaneschi, G.; Pianini, D., Preface, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, -, Open Publishing Association, 2018, pp. 1 - 1 [Prefazione]

Rossetti, Giulio; Milli, Letizia; Rinzivillo, Salvatore; Sîrbu, Alina; Pedreschi, Dino; Giannotti, Fosca, NDlib: a python library to model and analyze diffusion processes over complex networks, «INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS», 2018, 5, pp. 61 - 79 [Articolo in rivista]

Magnani, M.; Marzolla, M., Path-Based and Whole-Network Measures, in: Encyclopedia of Social Network Analysis and Mining, New York, Springer, 2018, pp. 1751 - 1765 [Voce in dizionario o enciclopedia]