| Process mining manifesto W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ... Business Process Management Workshops: BPM 2011 International Workshops …, 2012 | 1961 | 2012 |
| Image analysis and rule-based reasoning for a traffic monitoring system R Cucchiara, M Piccardi, P Mello IEEE transactions on intelligent transportation systems 1 (2), 119-130, 2000 | 623 | 2000 |
| 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 | 308 | 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 | 216 | 2008 |
| Modularity in logic programming M Bugliesi, E Lamma, P Mello The Journal of Logic Programming 19, 443-502, 1994 | 201 | 1994 |
| 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 | 162 | 2014 |
| 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: Special Issue …, 2009 | 128 | 2009 |
| HABITAT: An IoT solution for independent elderly E Borelli, G Paolini, F Antoniazzi, M Barbiroli, F Benassi, F Chesani, ... Sensors 19 (5), 1258, 2019 | 124 | 2019 |
| 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 | 120 | 2006 |
| 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 | 99 | 2013 |
| Specification and verification of agent interaction protocols in a logic-based system M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004 | 96 | 2004 |
| Inducing declarative logic-based models from labeled traces E Lamma, P Mello, M Montali, F Riguzzi, S Storari Business Process Management: 5th International Conference, BPM 2007 …, 2007 | 95 | 2007 |
| Applying inductive logic programming to process mining E Lamma, P Mello, F Riguzzi, S Storari Inductive Logic Programming: 17th International Conference, ILP 2007 …, 2008 | 91 | 2008 |
| Integrating constraint logic programming and operations research techniques for the crew rostering problem A Caprara, F Focacci, E Lamma, P Mello, M Milano, P Toth, D Vigo Software: Practice and Experience 28 (1), 49-76, 1998 | 81 | 1998 |
| Commitment Tracking via the Reactive Event Calculus. F Chesani, P Mello, M Montali, P Torroni IJCAI 9, 91-96, 2009 | 79 | 2009 |
| 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 |
| Constraint propagation and value acquisition: why we should do it interactively E Lamma, P Mello, M Milano, R Cucchiara, M Gavanelli, M Piccardi IJCAI 99, 467-473, 1999 | 77 | 1999 |
| A configurable rete-oo engine for reasoning with different types of imperfect information D Sottara, P Mello, M Proctor IEEE Transactions on Knowledge and Data Engineering 22 (11), 1535-1548, 2010 | 74 | 2010 |
| Specification and verification of agent interaction using social integrity constraints M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004 | 70 | 2004 |
| Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant L Luccarini, GL Bragadin, G Colombini, M Mancini, P Mello, M Montali, ... Environmental Modelling & Software 25 (5), 648-660, 2010 | 66 | 2010 |
