Pubblicazioni

Pasquale Cascarano; Elena Loli Piccolomini; Elena Morotti; Andrea Sebastiani, Plug-and-Play gradient-based denoisers applied to CT image enhancement, «APPLIED MATHEMATICS AND COMPUTATION», 2022, 422, pp. 1 - 15 [Articolo in rivista] Open Access

Magistri, Simone; Boschi, Marco; Sambo, Francesco; de Andrade, Douglas Coimbra; Simoncini, Matteo; Kubin, Luca; Taccari, Leonardo; Luigi, Luca De; Salti, Samuele, Lightweight and Effective Convolutional Neural Networks for Vehicle Viewpoint Estimation From Monocular Images, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2022, 24, pp. 191 - 200 [Articolo in rivista] Open Access

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro, Proactive-Reactive Global Scaling, with Analytics, in: Service-Oriented Computing. ICSOC 2022., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13740, pp. 237 - 254 (atti di: The 20th International Conference on Service-Oriented Computing, Sevilla, Spain, November 29th – December 2nd) [Contributo in Atti di convegno] Open Access

Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto, Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study, «IEEE INTERNET OF THINGS MAGAZINE», 2022, 5, pp. 32 - 37 [Articolo in rivista] Open Access

Sezen Perçin, Andrea Galassi, Francesca Lagioia, Federico Ruggeri, Piera Santin, Giovanni Sartor, Paolo Torroni, Combining WordNet and Word Embeddings in Data Augmentation for Legal Texts, in: Proceedings of the Natural Legal Language Processing Workshop 2022, Association for Computational Lingustics, 2022, pp. 47 - 52 (atti di: Natural Legal Language Processing Workshop, Abu Dhabi, UAE, December 8, 2022) [Contributo in Atti di convegno] Open Access

Peña-Haro, Salvador; Cecilia, José M.; Blanco-Gómez, Pablo; Prandi, Catia; Senent-Aparicio, Javier, Site identification and discharge measurements through Mobile Crowdsensing in the Mar Menor region, in: IAHS-AISH Scientific Assembly 2022, 2022, pp. 1 - 2 (atti di: IAHS-AISH Scientific Assembly 2022, France, 29/05/2022) [Contributo in Atti di convegno]

Ma, Shuhao; Nisi, Valentina; Esteves, Augusto; Prandi, Catia; Nicolau, Hugo; Tumedei, Gianni; Nogueira, João; Boschi, Francesco; Nunes, Nuno, Crowdsensing-Enabled Service Design for Floating Students During the COVID-19 Pandemic, in: IASDR 2021: [ ] With Design: Reinventing Design Modes, 2022, pp. 943 - 959 (atti di: IASDR 2021, Hong Kong, 5–9 December 2021) [Contributo in Atti di convegno]

Dal Lago, U; Gavazzo, F, A Relational Theory of Effects and Coeffects, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 28 [Articolo in rivista] Open Access

Loli Piccolomini E., A comparison of regularization models for few-view CT image reconstruction, «ANNALI DELL'UNIVERSITÀ DI FERRARA. SEZIONE 7: SCIENZE MATEMATICHE», 2022, 68, pp. 385 - 396 [Articolo in rivista] Open Access

Cascarano, Pasquale; Comes, Maria Colomba; Sebastiani, Andrea; Mencattini, Arianna; Loli Piccolomini, Elena; Martinelli, Eugenio, DeepCEL0 for 2D Single Molecule Localization in Fluorescence Microscopy, «BIOINFORMATICS», 2022, 38, pp. 1411 - 1419 [Articolo in rivista] Open Access

Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F, On Feller Continuity and Full Abstraction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 826 - 854 [Articolo in rivista] Open Access

Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem, Implicit recursion-theoretic characterizations of counting classes, «ARCHIVE FOR MATHEMATICAL LOGIC», 2022, 61, pp. 1129 - 1144 [Articolo in rivista]

Ugo Dal Lago; Francesco Gavazzo, Effectful program distancing, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 30 [Articolo in rivista] Open Access

Barthe, Gilles; Dal Lago, Ugo; Malavolta, Giulio; Rakotonirina, Itsaka, Tidy: Symbolic Verification of Timed Cryptographic Protocols, in: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, New York, Association for Computing Machinery, 2022, pp. 263 - 276 (atti di: 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022) [Contributo in Atti di convegno] Open Access

Barbanera F.; Lanese I.; Tuosto E., On Composing Communicating Systems, in: Proceedings 15th Interaction and Concurrency Experience, Open Publishing Association, 2022, 365, pp. 53 - 68 (atti di: 15th Interaction and Concurrency Experience, ICE 2022, Lucca, 17th June 2022) [Contributo in Atti di convegno] Open Access

Ugo Dal Lago; Giulia Giusti, On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments, in: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 243, pp. 1 - 18 (atti di: 33rd International Conference on Concurrency Theory, CONCUR 2022., Warsaw, Poland, September 12-16, 2022) [Contributo in Atti di convegno] Open Access

Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone, On Quantitative Algebraic Higher-Order Theories, in: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 228, pp. 1 - 18 (atti di: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022., Haifa, Israel, August 2-5, 2022.) [Contributo in Atti di convegno] Open Access

Melissa Antonelli; Ugo Dal Lago; Paolo Pistone, Curry and Howard Meet Borel, in: In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22), New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access

Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni, Reasonable Space for the Lambda-Calculus, Logarithmically, in: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22)., New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access

Sovrano, Francesco; Vitali, Fabio, Generating User-Centred Explanations via Illocutionary Question Answering: From Philosophy to Interfaces, «ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS», 2022, 12, pp. 1 - 32 [Articolo in rivista] Open Access