Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

6500 pubblicazioni

  • Prandi C.; Cecilia J.M.; Manzoni P.; Pena-Haro S.; Pierson D.; Colom W.; Blanco P.; Garcia C.A.; Navarro I.J.; Senent J., On integrating intelligent infrastructure and participatory monitoring for environmental modelling: The SMARTLAGOON approach, in: ACM International Conference Proceeding Series, Association for Computing Machinery, 2022, pp. 236 - 243 (atti di: 2nd ACM Conference on Information Technology for Social Good, GoodIT 2022, cyp, 2022) [Contributo in Atti di convegno]

  • Ma S.; Ferreira M.; Nicolau H.; Prandi C.; Esteves A.; Nunes N.J.; Nisi V., Catering for Students' Well-being during COVID-19 Social Distancing: A Case Study from a University Campus, in: ACM International Conference Proceeding Series, Association for Computing Machinery, 2022, pp. 146 - 153 (atti di: 2nd ACM Conference on Information Technology for Social Good, GoodIT 2022, cyp, 2022) [Contributo in Atti di convegno]

  • Tabanelli E.; Tagliavini G.; Benini L., Optimizing Random Forest Based Inference on RISC-V MCUs at the Extreme Edge, «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», 2022, 41, pp. 4516 - 4526 [Articolo in rivista]

  • Serena, Luca; Marzolla, Moreno; D'Angelo, Gabriele; Ferretti, Stefano, Multilevel Modeling as a Methodology for the Simulation of Human Mobility, in: 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), IEEE, 2022, pp. 49 - 56 (atti di: 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Alès, France, 26-28 september 2022) [Contributo in Atti di convegno]

  • Giacomo Frisoni, Gianluca Moro, Lorenzo Balzani, Text-to-Text Extraction and Verbalization of Biomedical Event Graphs, in: Proceedings of the 29th International Conference on Computational Linguistics, 2022, pp. 2692 - 2710 (atti di: COLING, Gyeongju, Republic of Korea, October, 2022) [Contributo in Atti di convegno]

  • Giacomo Frisoni, Paolo Italiani, Francesco Boschi, Gianluca Moro, Enhancing Biomedical Scientific Reviews Summarization with Graph-based Factual Evidence Extracted from Papers, in: Proceedings of the 11th International Conference on Data Science, Technology and Applications - DATA, 2022, pp. 168 - 179 (atti di: DATA, Lisbon, Portugal, July, 2022) [Contributo in Atti di convegno]

  • moro, gianluca; ragazzi, luca; valgimigli, lorenzo, Discriminative Marginalized Probabilistic Neural Method for Multi-Document Summarization of Medical Literature, in: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Stroudsburg PA 18360, The Association for Computational Linguistics, 2022, pp. 180 - 189 (atti di: the 60th Annual Meeting of the Association for Computational Linguistics (ACL), Dublin, Ireland, 22/05/2022-27/05/2022) [Contributo in Atti di convegno]

  • Nadalini D.; Rusci M.; Tagliavini G.; Ravaglia L.; Benini L.; Conti F., PULP-TrainLib: Enabling On-Device Training for RISC-V Multi-core MCUs Through Performance-Driven Autotuning, in: Embedded Computer Systems: Architectures, Modeling, and Simulation, Springer, 2022, 13511, pp. 200 - 216 (atti di: 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022) [Contributo in Atti di convegno]

  • Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Explanations for Inconsistency-Tolerant Query Answering under Existential Rules, in: Proceedings of the 30th Italian Symposium on Advanced Database Systems (SEBD 2022), «CEUR WORKSHOP PROCEEDINGS», 2022, pp. 489 - 496 (atti di: SEBD 2022, Tirrenia (Pisa), Italy, 19-22 June 2022) [Contributo in Atti di convegno]

  • Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius, Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs, in: Proceedings of the 30th Italian Symposium on Advanced Database Systems (SEBD 2022), «CEUR WORKSHOP PROCEEDINGS», 2022, pp. 530 - 537 (atti di: SEBD 2022, Tirrenia (Pisa), Italy, 19-22 June 2022) [Contributo in Atti di convegno]

  • Ferrara M.; Franco A.; Maltoni D.; Busch C., Morphing Attack Potential, in: International Workshop on Biometrics and Forensics (IWBF), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, 2022, pp. 1 - 6 (atti di: International Workshop on Biometrics and Forensics (IWBF), Salzburg, Austria, 20-21 April 2022) [Contributo in Atti di convegno]

  • Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto, Fifty Years of Prolog and Beyond, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2022, 22, pp. 776 - 858 [Articolo in rivista] Open Access

  • Serena L.; Zichichi M.; D'Angelo G.; Ferretti S., On The Modeling Of P2P Systems as Temporal Networks: A Case Study With Data Streaming, in: Proceedings of the 2022 Annual Modeling and Simulation Conference (ANNSIM 2022), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, 2022, pp. 66 - 77 (atti di: Annual Modeling and Simulation Conference (ANNSIM 2022), San Diego, California, United States of America (USA), 18-20 July, 2022) [Contributo in Atti di convegno]

  • Gianluca Moro; Stefano Salvatori, Deep Vision-Language Model for Efficient Multi-modal Similarity Search in Fashion Retrieval, in: International Conference on Similarity Search and Applications, 2022, pp. 40 - 53 (atti di: International Conference on Similarity Search and Applications, Bologna, 10, 2022) [Contributo in Atti di convegno]

  • Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A., A Java typestate checker supporting inheritance, «SCIENCE OF COMPUTER PROGRAMMING», 2022, 221, pp. 1 - 8 [Articolo in rivista]

  • Bacchiani L.; De Palma G.; Sciullo L.; Bravetti M.; Di Felice M.; Gabbrielli M.; Zavattaro G.; Della Penna R.; Iorizzo C.; Livaldi A.; Magnotta L.; Orsini M., SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0, in: 5th Conference on Cloud and Internet of Things, CIoT 2022, Institute of Electrical and Electronics Engineers Inc. (IEEE), 2022, pp. 90 - 91 (atti di: 5th Conference on Cloud and Internet of Things, CIoT 2022, Marrakech, Morocco, March 28-30, 2022) [Contributo in Atti di convegno]

  • Sangiorgi, D, From Enhanced Coinduction towards Enhanced Induction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 29 [Articolo in rivista] Open Access

  • Durier, A; Hirschkoff, D; Sangiorgi, D, Eager functions as processes, «THEORETICAL COMPUTER SCIENCE», 2022, 913, pp. 8 - 42 [Articolo in rivista]

  • Jaber G.; Sangiorgi D., Games, Mobile Processes, and Functions, in: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Schloss Dagstuhl, Florin Manea and Alex Simpson, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 216, pp. 1 - 18 (atti di: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Gottingen, February 14-19, 2022) [Contributo in Atti di convegno] Open Access

  • Dardha O.; Giachino E.; Sangiorgi D., Session Types Revisited: A Decade Later, in: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2022, pp. 1 - 4 (atti di: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, September 20 - 22, 2022) [Contributo in Atti di convegno] Open Access