LORETI, DANIELA
LORETI, DANIELA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
Parallel approaches for a decision tree-based explainability algorithm
2024 Loreti, Daniela; Visani, Giorgio
Probabilistic Compliance in Declarative Process Mining
2024 Vespa Michela; Bellodi Elena; Chesani Federico; Loreti Daniela; Mello Paola; Lamma Evelina; Ciampolini Anna
Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint
2024 Loreti, Daniela; Artioli, Marcello; Ciampolini, Anna
A Prolog application for reasoning on maths puzzles with diagrams
2023 Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola
Binary Discovery of Declarative Business Processes with ASP Preferences
2023 Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process Discovery on Deviant Traces and Other Stranger Things
2023 Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio
The 1st International Workshop on the Environmental Sustainability of High-Performance Software (SHiPS)
2023 Loreti D.; Borghesi A.
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints
2022 Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming
2022 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
2022 Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio
SOLUTORE IN LOCO RESILIENTE AI GUASTI PER SISTEMI LINEARI
2022 Marcello Artioli; Daniela Loreti
Precise Worst-case Blocking Time of Tasks under Priority Inheritance Protocol
2021 Faldella, Eugenio; Loreti, Daniela
Artificial intelligence and cognitive psychology: How to solve mathematical problems
2020 Gambetti E.; Buscaroli R.; Chesani F.; Giusberti F.; Loreti D.; Mello P.
Generating synthetic positive and negative business process traces through abduction
2020 Loreti D.; Chesani F.; Ciampolini A.; Mello P.
Parallelizing Machine Learning as a service for the end-user
2020 Loreti, Daniela; Lippi, Marco; Torroni, Paolo
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults
2020 Loreti D.; Artioli M.; Ciampolini A.
Complex reactive event processing for assisted living: The Habitat project case study
2019 Loreti, Daniela; Chesani, Federico; Mello, Paola; Roffia, Luca; Antoniazzi, Francesco; Cinotti, Tullio Salmon; Paolini, Giacomo; Masotti, Diego; Costanzo, Alessandra
Fault Tolerant High Performance Solver for Linear Equation Systems
2019 Artioli, Marcello; Loreti, Daniela; Ciampolini, Anna
HABITAT: An IoT Solution for Independent Elderly
2019 Elena Borelli, Giacomo Paolini, Francesco Antoniazzi, Marina Barbiroli, Francesca Benassi, Federico Chesani, Lorenzo Chiari, Massimiliano Fantini, Franco Fuschini, Andrea Galassi, Gian Andrea Giacobone, Silvia Imbesi, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming
2019 Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi,Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Parallel approaches for a decision tree-based explainability algorithm | Loreti, Daniela; Visani, Giorgio | 2024-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | - |
| Probabilistic Compliance in Declarative Process Mining | Vespa Michela; Bellodi Elena; Chesani Federico; Loreti Daniela; Mello Paola; Lamma Evelina; Ciamp...olini Anna | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint | Loreti, Daniela; Artioli, Marcello; Ciampolini, Anna | 2024-01-01 | IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS | - | 1.01 Articolo in rivista | - |
| A Prolog application for reasoning on maths puzzles with diagrams | Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola | 2023-01-01 | JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | 0952813X.2022.2062456.pdf |
| Binary Discovery of Declarative Business Processes with ASP Preferences | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi..., Paola Mello, Marco Montali, Sergio Tessaris | 2023-01-01 | - | - | 4.03 Poster | - |
| Process Discovery on Deviant Traces and Other Stranger Things | Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maggi, Fabrizio ...Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio | 2023-01-01 | IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING | - | 1.01 Articolo in rivista | deviant-tkde-all-black.pdf |
| The 1st International Workshop on the Environmental Sustainability of High-Performance Software (SHiPS) | Loreti D.; Borghesi A. | 2023-01-01 | - | - | 8.02 Ruolo editoriale in collana | - |
| Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints | Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi... ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | paper_21.pdf |
| Optimising Business Process Discovery Using Answer Set Programming | Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela...; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences | Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela...; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| SOLUTORE IN LOCO RESILIENTE AI GUASTI PER SISTEMI LINEARI | Marcello Artioli; Daniela Loreti | 2022-01-01 | - | - | 6.01 Brevetto | - |
| Precise Worst-case Blocking Time of Tasks under Priority Inheritance Protocol | Faldella, Eugenio; Loreti, Daniela | 2021-01-01 | IEEE TRANSACTIONS ON COMPUTERS | - | 1.01 Articolo in rivista | TC.pdf |
| Artificial intelligence and cognitive psychology: How to solve mathematical problems | Gambetti E.; Buscaroli R.; Chesani F.; Giusberti F.; Loreti D.; Mello P. | 2020-01-01 | SISTEMI INTELLIGENTI | - | 1.01 Articolo in rivista | AISC2018_Sistemi intelligenti.pdf |
| Generating synthetic positive and negative business process traces through abduction | Loreti D.; Chesani F.; Ciampolini A.; Mello P. | 2020-01-01 | KNOWLEDGE AND INFORMATION SYSTEMS | - | 1.01 Articolo in rivista | MAIN_sciffgen_KAIS.pdf |
| Parallelizing Machine Learning as a service for the end-user | Loreti, Daniela; Lippi, Marco; Torroni, Paolo | 2020-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | FGCS2019.pdf |
| Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults | Loreti D.; Artioli M.; Ciampolini A. | 2020-01-01 | - | IEEE Computer Society | 4.01 Contributo in Atti di convegno | PID6603989.pdf |
| Complex reactive event processing for assisted living: The Habitat project case study | Loreti, Daniela; Chesani, Federico; Mello, Paola; Roffia, Luca; Antoniazzi, Francesco; Cinotti, T...ullio Salmon; Paolini, Giacomo; Masotti, Diego; Costanzo, Alessandra | 2019-01-01 | EXPERT SYSTEMS WITH APPLICATIONS | - | 1.01 Articolo in rivista | ESwA2018.pdf |
| Fault Tolerant High Performance Solver for Linear Equation Systems | Artioli, Marcello; Loreti, Daniela; Ciampolini, Anna | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| HABITAT: An IoT Solution for Independent Elderly | Elena Borelli, Giacomo Paolini, Francesco Antoniazzi, Marina Barbiroli, Francesca Benassi, Federi...co Chesani, Lorenzo Chiari, Massimiliano Fantini, Franco Fuschini, Andrea Galassi, Gian Andrea Giacobone, Silvia Imbesi, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo | 2019-01-01 | SENSORS | - | 1.01 Articolo in rivista | PUBLISHED.pdf |
| Towards the Generation of the "Perfect" Log Using Abductive Logic Programming | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi...,Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |