Marco Montali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
142
Venues
32
Active years
2005–2026
Best venue rank
A*
Where they publish
- ABPM43 papers
- ACaiSE19 papers
- A*AAAI11 papers
- A*IJCAI11 papers
- BEDOC7 papers
- BICPM6 papers
- A*KR5 papers
- AECAI4 papers
- A*PODS4 papers
- ACADE3 papers
- BAIME3 papers
- AER2 papers
- BJELIA2 papers
- BPROFES2 papers
- CISMIS2 papers
- AICSOC2 papers
- CNeSy1 paper
- ASTACS1 paper
- BFM1 paper
- BLPNMR1 paper
- BPRIMA1 paper
- BEKAW1 paper
- ACIKM1 paper
- BIJCNLP1 paper
- MulticonferenceSAC1 paper
- BFASE1 paper
- BRV1 paper
- NationalHAIS1 paper
- AICWS1 paper
- BICLP1 paper
- CPPDP1 paper
- BCBMS1 paper
Papers
142 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CaiSE | Porifera: A Relational Approach to Conformance Checking for Object-Centric Behavioral Constraints. | Maike Basmer, Radu-Dan Falcusan, Marco Montali, Matthias Weidlich |
| 2026 | CaiSE | Detecting Dynamic Relationships in Object-Centric Event Logs. | Alessandro Gianola, Zeeshan Hameed, Marco Montali, Anjo Seidel, Mathias Weske, Sarah Winkler |
| 2026 | CaiSE | Time and Relations into Focus: Ontological Foundations of Object-Centric Event Data. | Hosna Hooshyar, Mattia Fumagalli, Marco Montali, Giancarlo Guizzardi |
| 2025 | AAAI | Generating Counterfactual Explanations Under Temporal Constraints. | Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Massimiliano Ronzani |
| 2025 | BPM | From Sound Workflow Nets to LTL | Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio |
| 2025 | BPM | Efficient Conformance Checking of Rich Data-Aware Declare Specifications. | Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama |
| 2025 | CaiSE | Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2025 | CaiSE | Modeling and Monitoring Business Constraints of Non-conformant Choreographed Business Processes. | Giovanni Meroni, Pierluigi Plebani, Simone Tagliente, Marco Montali |
| 2025 | ER | To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes. | Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske |
| 2025 | KR | Depth-Bounded Epistemic Planning. | Thomas Bolander, Alessandro Burigana, Marco Montali |
| 2025 | NeSy | T-ILR: a Neurosymbolic Integration for LTLf. | Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani |
| 2025 | STACS | On Cascades of Reset Automata. | Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari |
| 2024 | AAAI | Foundations of Reactive Synthesis for Declarative Process Specifications. | Luca Geatti, Marco Montali, Andrey Rivkin |
| 2024 | AAAI | Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | BPM | Glocal Conformance Checking. | Alessandro Burigana, Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | BPM | Explainable DMN. | Carl Corea, Timotheus Kampik, Marco Montali |
| 2024 | BPM | Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications. | Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali |
| 2024 | CaiSE | On the Flexibility of Declarative Process Specifications. | Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi |
| 2024 | CaiSE | Object-Centric Conformance Alignments with Synchronization. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | CaiSE | Stochastic Process Discovery: Can It Be Done Optimally? | Sander J. J. Leemans, Tian Li, Marco Montali, Artem Polyvyanyy |
| 2024 | ECAI | AI for Declarative Processes: Representation, Mining, Synthesis. | Marco Montali |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2023 | AAAI | SMT Safety Verification of Ontology-Based Processes. | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
| 2023 | AAAI | Monitoring Arithmetic Temporal Properties on Finite Traces. | Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler |
| 2023 | BPM | Generating Event Logs from Hybrid Process Models. | Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin |
| 2023 | BPM | The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. | Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penn, Alberto Jos Bugarn Diz |
| 2023 | BPM | Foundations of Collaborative sfDECLARE. | Luca Geatti, Marco Montali, Andrey Rivkin |
| 2023 | BPM | Approximating Multi-perspective Trace Alignment Using Trace Encodings. | Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler |
| 2023 | BPM | Equivalence of Data Petri Nets with Arithmetic. | Marco Montali, Sarah Winkler |
| 2023 | BPM | An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases. | Francesco Riva, Dario Benvenuti, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali |
| 2023 | CaiSE | Extracting Event Data from Document-Driven Enterprise Systems. | Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali |
| 2023 | ECAI | A Semantic Approach to Decidability in Epistemic Planning. | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
| 2023 | ICPM | Repairing Soundness Properties in Data-Aware Processes. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2023 | ICPM | Plan Recognition as Probabilistic Trace Alignment. | Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza, Ramon Fraga Pereira |
| 2023 | ICPM | Declare MoGeS: Model Generator and Specializer. | Manal Laghmouch, Benot Depaire, Nicola Gigante, Mieke Jans, Marco Montali |
| 2023 | ICPM | Implementing Object-Centric Event Data Models in Event Knowledge Graphs. | Ava Swevels, Dirk Fahland, Marco Montali |
| 2023 | IJCAI | Safety Verification and Universal Invariants for Relational Action Bases. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2023 | IJCAI | Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). | Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali |
| 2023 | JELIA | delphic: Practical DEL Planning via Possibilities. | Alessandro Burigana, Paolo Felli, Marco Montali |
| 2023 | PROFES | Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. | Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali |
| 2022 | AAAI | Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | BPM | What Can Database Query Processing Do for Instance-Spanning Constraints? | Heba Aamer, Marco Montali, Jan Van den Bussche |
| 2022 | BPM | Conformance Checking with Uncertainty via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2022 | BPM | Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. | Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali |
| 2022 | BPM | Constraints for Process Framing in AI-Augmented BPM. | Marco Montali |
| 2022 | CADE | CTL | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | CaiSE | Multi-model Monitoring Framework for Hybrid Process Specifications. | Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2022 | CaiSE | Soundness of Data-Aware Processes with Arithmetic Conditions. | Paolo Felli, Marco Montali, Sarah Winkler |
| 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 | ICPM | A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. | Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese |
| 2022 | IJCAI | Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2022 | IJCAI | Verification of Generic, Relational Transition Systems. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2022 | IJCAI | Reasoning and Verification with Data Petri Nets. | Paolo Felli, Marco Montali, Sarah Winkler |
| 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 |
| 2021 | AAAI | SMT-based Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2021 | BPM | RuM: Declarative Process Mining, Distilled. | Anti Alman, Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Han van der Aa |
| 2021 | BPM | Aligning Data-Aware Declarative Process Models and Event Logs. | Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali |
| 2021 | BPM | Exploring the Conformance Space (Extended abstract). | Andrea Burattin, Alessandro Gianola, Hugo A. Lpez, Marco Montali |
| 2021 | BPM | Process Mining with Common Sense. | Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus |
| 2021 | BPM | Human Behavior as a Process Model: Which Language to Use? | Gemma Di Federico, Andrea Burattin, Marco Montali |
| 2021 | BPM | CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2021 | BPM | Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2021 | CaiSE | A Tool for Computing Probabilistic Trace Alignments. | Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2021 | CaiSE | ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. | Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga |
| 2021 | CaiSE | Refining Case Models Using Cardinality Constraints. | Stephan Haarmann, Marco Montali, Mathias Weske |
| 2021 | ICPM | Probabilistic Trace Alignment. | Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2021 | IJCAI | HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli |
| 2020 | AAAI | Temporal Logics Over Finite Traces with Uncertainty. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2020 | BPM | Petri Nets with Parameterised Data - Modelling and Verification. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | BPM | Extending Temporal Business Constraints with Uncertainty. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza, Anti Alman |
| 2020 | CADE | Combined Covers and Beth Definability. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | CaiSE | Probabilistic Conformance Checking Based on Declarative Process Models. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2020 | EDOC | Formalizing Integration Patterns with Multimedia Data. | Marco Montali, Andrey Rivkin, Daniel Ritter |
| 2020 | KR | Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. | Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2020 | PRIMA | A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2019 | BPM | Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. | Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst |
| 2019 | BPM | Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | BPM | Putting Decisions in Perspective. | Marco Montali |
| 2019 | BPM | Formal Reasoning on Natural Language Descriptions of Processes. | Josep Snchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Llus Padr |
| 2019 | CADE | Model Completeness, Covers and Superposition. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | CaiSE | Fifty Shades of Green: How Informative is a Compliant Process Trace? | Andrea Burattin, Giancarlo Guizzardi, Fabrizio Maria Maggi, Marco Montali |
| 2019 | CaiSE | Modeling and In-Database Management of Relational, Data-Aware Processes. | Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2019 | EDOC | A Preliminary Framework for Strategic and Compliance Monitoring. | Evellin Cardoso, Marco Montali |
| 2019 | EDOC | Representing and Querying Norm States Using Temporal Ontology-Based Data Access. | Evellin Cardoso, Marco Montali, Diego Calvanese |
| 2019 | EDOC | Compliance Monitoring of Multi-Perspective Declarative Process Models. | Fabrizio Maria Maggi, Marco Montali, Ubaier Bhat |
| 2019 | PODS | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali |
| 2018 | BPM | BPM: Foundations, Engineering, Management. | Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke |
| 2018 | EDOC | Formalizing Application Integration Patterns. | Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha |
| 2018 | EKAW | Conceptual Schema Transformation in Ontology-Based Data Access. | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst |
| 2018 | ER | A Holistic Approach for Soundness Verification of Decision-Aware Process Models. | Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2017 | AAAI | Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris |
| 2017 | BPM | The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso |
| 2017 | ISMIS | Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. | Federico Chesani, Paola Mello, Marco Montali |
| 2017 | PROFES | From Zero to Hero: A Process Mining Tutorial. | Andrea Janes, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali |
| 2016 | BPM | Semantics and Analysis of DMN Decision Tables. | Diego Calvanese, Marlon Dumas, lari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa |
| 2016 | BPM | Semantical Vacuity Detection in Declarative Process Mining. | Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling |
| 2016 | CaiSE | Towards a Graphical Language for Process Modelling in Construction. | Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt |
| 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 |
| 2016 | IJCAI | Plan Synthesis for Knowledge and Action Bases. | Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy |
| 2016 | KR | On First-Order μ-Calculus over Situation Calculus Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2016 | PODS | Recency-Bounded Verification of Dynamic Database-Driven Systems. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine |
| 2015 | AAAI | Verification of Relational Multiagent Systems with Data Types. | Diego Calvanese, Giorgio Delzanno, Marco Montali |
| 2015 | BPM | Ontology-Driven Extraction of Event Logs from Relational Databases. | Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst |
| 2015 | BPM | Ensuring Model Consistency in Declarative Process Discovery. | Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling |
| 2015 | CaiSE | Declarative Process Modeling in BPMN. | Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali |
| 2015 | IJCAI | Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. | Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo |
| 2015 | IJCAI | Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. | Diego Calvanese, Marco Montali, Ario Santoso |
| 2014 | AAAI | Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali |
| 2014 | BPM | Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali |
| 2014 | CIKM | Verifiable UML Artifact-Centric Business Process Models. | Diego Calvanese, Marco Montali, Montserrat Estaol, Ernest Teniente |
| 2014 | JELIA | Verification of Context-Sensitive Knowledge and Action Bases. | Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
| 2014 | KR | State-Boundedness in Data-Aware Dynamic Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch |
| 2013 | BPM | Towards a Reference Implementation for Data Centric Dynamic Systems. | Alessandro Russo, Massimo Mecella, Marco Montali, Fabio Patrizi |
| 2013 | BPM | Discovering Data-Aware Declarative Process Models from Event Logs. | Fabrizio Maria Maggi, Marlon Dumas, Luciano Garca-Bauelos, Marco Montali |
| 2013 | BPM | Verification of Query Completeness over Processes. | Simon Razniewski, Marco Montali, Werner Nutt |
| 2013 | EDOC | A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches. | Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst |
| 2013 | IJCAI | Verification of Inconsistency-Aware Knowledge and Action Bases. | Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov |
| 2013 | IJCNLP | Automated Activity Recognition in Clinical Documents. | Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher |
| 2013 | ICSOC | Verification of Semantically-Enhanced Artifact Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin |
| 2013 | ICSOC | Verification of Artifact-Centric Systems: Decidability and Modeling Issues. | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
| 2013 | PODS | Foundations of data-aware process analysis: a database theory perspective. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali |
| 2013 | PODS | Verification of relational data-centric dynamic systems with external services. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali |
| 2013 | SAC | Towards data-aware constraints in declare. | Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi |
| 2012 | ECAI | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2012 | FASE | An Operational Decision Support Framework for Monitoring Business Constraints. | Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst |
| 2012 | KR | Semantically-Governed Data-Aware Processes. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
| 2011 | BPM | Process Mining Manifesto. | Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Mal Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Gnther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Prez, Ricardo Seguel Prez, Marcos Seplveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn |
| 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 |
| 2011 | BPM | Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. | Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst |
| 2011 | RV | Runtime Verification of LTL-Based Declarative Process Models. | Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
| 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 |
| 2007 | BPM | Inducing Declarative Logic-Based Models from Labeled Traces. | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
| 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 | CBMS | Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. | Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari |