| Declarative specification and verification of service choreographiess M Montali, M Pesic, WMP Aalst, F Chesani, P Mello, S Storari ACM Transactions on the Web (TWEB) 4 (1), 1-62, 2010 | 277 | 2010 |
| Verifiable agent interaction in abductive logic programming: the SCIFF framework M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008 | 202 | 2008 |
| Monitoring business constraints with the event calculus M Montali, FM Maggi, F Chesani, P Mello, WMP Aalst ACM transactions on intelligent systems and technology (TIST) 5 (1), 1-30, 2014 | 144 | 2014 |
| Compliance verification of agent interaction: a logic-based software tool M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni Applied Artificial Intelligence 20 (2-4), 133-157, 2006 | 121 | 2006 |
| Exploiting inductive logic programming techniques for declarative process mining F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari Transactions on Petri Nets and Other Models of Concurrency II, 278-295, 2009 | 118 | 2009 |
| Representing and monitoring social commitments using the event calculus F Chesani, P Mello, M Montali, P Torroni Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013 | 94 | 2013 |
| HABITAT: An IoT solution for independent elderly E Borelli, G Paolini, F Antoniazzi, M Barbiroli, F Benassi, F Chesani, ... Sensors 19 (5), 1258, 2019 | 80 | 2019 |
| Towards data-aware constraints in declare M Montali, F Chesani, P Mello, FM Maggi Proceedings of the 28th annual ACM symposium on applied computing, 1391-1396, 2013 | 77 | 2013 |
| Commitment tracking via the reactive event calculus F Chesani, P Mello, M Montali, P Torroni Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 77 | 2009 |
| Statistical stability indices for LIME: Obtaining reliable explanations for machine learning models G Visani, E Bagli, F Chesani, A Poluzzi, D Capuzzo Journal of the Operational Research Society 73 (1), 91-101, 2022 | 64 | 2022 |
| Expressing and verifying business contracts with abductive logic programming M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ... International Journal of Electronic Commerce 12 (4), 9-38, 2008 | 63 | 2008 |
| 2017 WSES guidelines for the management of iatrogenic colonoscopy perforation N de’Angelis, S Di Saverio, O Chiara, M Sartelli, A Martínez-Pérez, ... World Journal of Emergency Surgery 13 (1), 1-20, 2018 | 61 | 2018 |
| FRAT-up, a Web-based fall-risk assessment tool for elderly people living in the community L Cattelani, P Palumbo, L Palmerini, S Bandinelli, C Becker, F Chesani, ... Journal of medical Internet research 17 (2), e4064, 2015 | 53 | 2015 |
| Social commitments in time: Satisfied or compensated P Torroni, F Chesani, P Mello, M Montali International Workshop on Declarative Agent Languages and Technologies, 228-243, 2009 | 52 | 2009 |
| Checking compliance of execution traces to business rules F Chesani, P Mello, M Montali, F Riguzzi, M Sebastianis, S Storari International Conference on Business Process Management, 134-145, 2008 | 51 | 2008 |
| A logic-based, reactive calculus of events F Chesani, P Mello, M Montali, P Torroni Fundamenta Informaticae 105 (1-2), 135-161, 2010 | 44 | 2010 |
| Modelling interactions via commitments and expectations P Torroni, P Yolum, MP Singh, M Alberti, F Chesani, M Gavanelli, ... Handbook of research on multi-agent systems: Semantics and dynamics of …, 2009 | 41 | 2009 |
| Verification from declarative specifications using logic programming M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ... International Conference on Logic Programming, 440-454, 2008 | 41 | 2008 |
| Verification of choreographies during execution using the reactive event calculus F Chesani, P Mello, M Montali, P Torroni International Workshop on Web Services and Formal Methods, 55-72, 2008 | 39 | 2008 |
| An abductive framework for a-priori verification of web services M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, M Montali Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 38 | 2006 |
