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 | 296 | 2010 |
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 | 121 | 2009 |
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 | 91 | 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 | 82 | 2008 |
Checking compliance of execution traces to business rules F Chesani, P Mello, M Montali, F Riguzzi, M Sebastianis, S Storari Business Process Management Workshops: BPM 2008 International Workshops …, 2009 | 54 | 2009 |
Artificial intelligence techniques for monitoring dangerous infections E Lamma, P Mello, A Nanetti, F Riguzzi, S Storari, G Valastro IEEE Transactions on Information Technology in Biomedicine 10 (1), 143-155, 2006 | 53 | 2006 |
Testing careflow process execution conformance by translating a graphical language to computational logic F Chesani, P Mello, M Montali, S Storari Artificial Intelligence in Medicine: 11th Conference on Artificial …, 2007 | 33 | 2007 |
Incremental declarative process mining M Cattafi, E Lamma, F Riguzzi, S Storari Smart Information and Knowledge Management: Advances, Challenges, and …, 2010 | 28 | 2010 |
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, S Storari, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 27 | 2006 |
Improving the K2 algorithm using association rule parameters E Lamma, F Riguzzi, S Storari Modern Information Processing, 207-217, 2006 | 26 | 2006 |
A hybrid approach to clinical guideline and to basic medical knowledge conformance A Bottrighi, F Chesani, P Mello, G Molino, M Montali, S Montani, S Storari, ... Artificial Intelligence in Medicine: 12th Conference on Artificial …, 2009 | 24 | 2009 |
Compliance checking of cancer-screening careflows: an approach based on computational logic F Chesani, E Lamma, P Mello, M Montali, S Storari, P Baldazzi, ... Computer-based medical guidelines and protocols: A primer and current trends …, 2008 | 23 | 2008 |
Finding biological process modifications in cancer tissues by mining gene expression correlations G Gamberoni, S Storari, S Volinia BMC bioinformatics 7, 1-8, 2006 | 22 | 2006 |
Distributed medical diagnosis with abductive logic agents A Ciampolini, P Mello, S Storari ECAI2002 workshop on Agents in Healthcare, Lyon, 2002 | 22 | 2002 |
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines A Bottrighi, F Chesani, P Mello, M Montali, S Montani, S Storari, ... Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010 | 17 | 2010 |
The automatic discovery of alarm rules for the validation of microbiological data E Lamma, M Manservigi, P Mello, A Nanetti, F Riguzzi, S Storari Proceedings of Workshop on Intelligent Data Analysis in Medicine and …, 2001 | 16 | 2001 |
Towards a decserflow declarative semantics based on computational logic F Chesani, P Mello, M Montali, S Storari | 15 | 2007 |
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework F Chesani, P Mello, M Montali, S Storari, P Torroni Multiagent and Grid Systems 6 (2), 165-190, 2010 | 12 | 2010 |
A framework for defining and verifying clinical guidelines: A case study on cancer screening F Chesani, P De Matteis, P Mello, M Montali, S Storari Foundations of Intelligent Systems: 16th International Symposium, ISMIS 2006 …, 2006 | 12 | 2006 |
A multi-agent system for medical services synergy and coordination A Ciampolini, P Mello, S Storari | 12 | 2004 |