Loreti, Daniela; Visani, Giorgio, Parallel approaches for a decision tree-based explainability algorithm, «FUTURE GENERATION COMPUTER SYSTEMS», 2024, 158, pp. 308 - 322 [articolo]Open Access
Vespa Michela; Bellodi Elena; Chesani Federico; Loreti Daniela; Mello Paola; Lamma Evelina; Ciampolini Anna, Probabilistic Compliance in Declarative Process Mining, in: Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), «CEUR WORKSHOP PROCEEDINGS», 2024, 3779, pp. 11 - 22 (atti di: PMAI 2024 Process Management in the AI Era 2024, Santiago de Compostela, Spagna, 19/10/2024) [Contributo in Atti di convegno]
Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo, Probabilistic Traces in Declarative Process Mining, in: AIxIA 2024 – Advances in Artificial Intelligence. AIxIA 2024. Lecture Notes in Computer Science, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 15450, pp. 330 - 345 (atti di: 23rd International Conference of the Italian Association for Artificial Intelligence, Bolzano, Italy, 25-28 November 2024) [Contributo in Atti di convegno]
Loreti, Daniela; Artioli, Marcello; Ciampolini, Anna, Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint, «IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS», 2024, 35, pp. 1307 - 1319 [articolo]
Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola, A Prolog application for reasoning on maths puzzles with diagrams, «JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE», 2023, 35, pp. 1079 - 1099 [articolo]Open Access
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris, Binary Discovery of Declarative Business Processes with ASP Preferences, in: Thirty-Seventh AAAI Conference on Artificial Intelligence. AAAI-23 Bridge Program. B5: Artificial Intelligence and Business Process Management, 2023(atti di: Thirty-Seventh AAAI Conference on Artificial Intelligence. AAAI-23 Bridge Program. B5: Artificial Intelligence and Business Process Management, Washington DC, USA, 7-8 Febbraio 2023) [atti di convegno-poster]
Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio, Process Discovery on Deviant Traces and Other Stranger Things, «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING», 2023, 35, pp. 11784 - 11800 [articolo]Open Access
Ruolo editoriale nella collana «The 1st International Workshop on the Environmental Sustainability of High-Performance Software (SHiPS)»
Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris, Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints, in: Proceedings of the 37th Italian Conference on Computational Logic, «CEUR WORKSHOP PROCEEDINGS», 2022, 3204, pp. 201 - 216 (atti di: 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022) [Contributo in Atti di convegno]Open Access
Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio, Optimising Business Process Discovery Using Answer Set Programming, in: LPNMR 2022: Logic Programming and Nonmonotonic Reasoning, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2022, 13416, pp. 498 - 504 (atti di: International Conference on Logic Programming and Nonmonotonic Reasoning, Genova, Italy, 05-09/09/2022) [Contributo in Atti di convegno]
Brevetto n. 102022000021096, SOLUTORE IN LOCO RESILIENTE AI GUASTI PER SISTEMI LINEARI.
Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio, Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences, in: Enterprise Design, Operations, and Computing. 26th International Conference, EDOC 2022 Bozen-Bolzano, Italy, October 3–7, 2022 Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13585, pp. 217 - 234 (atti di: 26th International Conference on Enterprise Design, Operations, and Computing, Bolzano, Italia, 3-7 ottobre 2022) [Contributo in Atti di convegno]
Faldella, Eugenio; Loreti, Daniela, Precise Worst-case Blocking Time of Tasks under Priority Inheritance Protocol, «IEEE TRANSACTIONS ON COMPUTERS», 2021, 70, pp. 1901 - 1913 [articolo]Open Access
Gambetti E.; Buscaroli R.; Chesani F.; Giusberti F.; Loreti D.; Mello P., Artificial intelligence and cognitive psychology: How to solve mathematical problems, «SISTEMI INTELLIGENTI», 2020, 32, pp. 287 - 316 [articolo]Open Access
Loreti D.; Chesani F.; Ciampolini A.; Mello P., Generating synthetic positive and negative business process traces through abduction, «KNOWLEDGE AND INFORMATION SYSTEMS», 2020, 62, pp. 813 - 839 [articolo]Open Access