Federico Chesani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
17
Active years
2004–2022
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DSAA | Enabling Synthetic Data adoption in regulated domains. | Giorgio Visani, Giacomo Graffi, Mattia Alfero, Enrico Bagli, Federico Chesani, Davide Capuzzo |
| 2022 | EDOC | Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
| 2022 | LPNMR | Optimising Business Process Discovery Using Answer Set Programming. | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
| 2020 | CIKM | OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms. | Giorgio Visani, Enrico Bagli, Federico Chesani |
| 2017 | BPM | Abduction for Generating Synthetic Traces. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2017 | ISMIS | Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. | Federico Chesani, Paola Mello, Marco Montali |
| 2016 | CLOSER | Process Mining Monitoring for Map Reduce Applications in the Cloud. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2016 | CLOSER | Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2016 | ECAI | Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. | Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris |
| 2015 | CBMS | User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up). | Ather Nawaz, Jorunn Lgdheim Helbostad, Lorenzo Chiari, Federico Chesani, Luca Cattelani |
| 2014 | CBMS | FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly. | Luca Cattelani, Federico Chesani, Pierpaolo Palumbo, Luca Palmerini, Stefania Bandinelli, Clemens Becker, Lorenzo Chiari |
| 2013 | SAC | Towards data-aware constraints in declare. | Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi |
| 2011 | BPM | Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. | Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani |
| 2010 | HAIS | An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. | Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara |
| 2009 | AIME | A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. | Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio |
| 2009 | AIME | Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. | Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani |
| 2009 | IJCAI | Commitment Tracking via the Reactive Event Calculus. | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
| 2009 | ICWS | Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. | Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni |
| 2008 | BPM | Checking Compliance of Execution Traces to Business Rules. | Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari |
| 2008 | ICLP | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2007 | AIME | Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. | Federico Chesani, Paola Mello, Marco Montali, Sergio Storari |
| 2006 | ISMIS | A Verifiable Logic-Based Agent Architecture. | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | ISMIS | A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. | Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari |
| 2006 | PPDP | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2005 | ICLP | Formalization and Verification of Interaction Protocols. | Federico Chesani |
| 2004 | WETICE | A Logic based Approach to Interaction Design in Open Multi-Agent Systems. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |