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]
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]
Brevetto n. Domanda numero: 102022000021096, SOLUTORE IN LOCO RESILIENTE AI GUASTI PER SISTEMI LINEARI.
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
Loreti, Daniela; Lippi, Marco; Torroni, Paolo, Parallelizing Machine Learning as a service for the end-user, «FUTURE GENERATION COMPUTER SYSTEMS», 2020, 105, pp. 275 - 286 [articolo]Open Access
Loreti D.; Artioli M.; Ciampolini A., Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults, in: 2020 International Symposium on Reliable Distributed Systems (SRDS), IEEE Computer Society, «PROCEEDINGS - SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS», 2020, 2020-, pp. 266 - 275 (atti di: 39th International Symposium on Reliable Distributed Systems, SRDS 2020, Shanghai, China, 21-24 Sept. 2020) [Contributo in Atti di convegno]
Loreti, Daniela; Chesani, Federico; Mello, Paola; Roffia, Luca; Antoniazzi, Francesco; Cinotti, Tullio Salmon; Paolini, Giacomo; Masotti, Diego; Costanzo, Alessandra, Complex reactive event processing for assisted living: The Habitat project case study, «EXPERT SYSTEMS WITH APPLICATIONS», 2019, 126, pp. 200 - 217 [articolo]Open Access
Artioli, Marcello; Loreti, Daniela; Ciampolini, Anna, Fault Tolerant High Performance Solver for Linear Equation Systems, in: 2019 38th Symposium on Reliable Distributed Systems (SRDS), 2019, pp. 113 - 122 (atti di: 38th Symposium on Reliable Distributed Systems (SRDS), Lione, Francia, 1-4 Ottobre 2019) [Contributo in Atti di convegno]
