| 2026 | CaiSE | Enabling Small Language Models for Text-to-Process Extraction: Balancing Accuracy and Efficiency Through Distant Supervision. | Julian Neuberger, Han van der Aa, Ivan Khrop, Hugo A. Lpez |
| 2025 | BPM | High-Level Requirements-Driven Business Process Compliance. | Juanita Caballero-Villalobos, Andrea Burattin, Hugo A. Lpez |
| 2025 | BPM | Kogi: A Tool for Assessing High‑Level Business Process Compliance. | Juanita Caballero-Villalobos, Hugo A. Lpez |
| 2025 | BPM | DCR‑JS: An Online Environment for Declarative Process Mining. | Axel Kjeld Fjelrad Christfort, Hugo A. Lpez |
| 2025 | BPM | Ambiguity Detection in Business Process Descriptions: An Evidence and an Automated Approach. | Hugo A. Lpez, BingKun Feng, Jonas Lindner, Marco Franceschetti, Amine Abbad-Andaloussi |
| 2025 | CoopIS | Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models. | Tilman Zuckmantel, Hugo A. Lpez, Yongluan Zhou, Boris Ddder, Thomas T. Hildebrandt |
| 2024 | BPM | Exploring the Cognitive Effects of Ambiguity in Process Models. | Marco Franceschetti, Amine Abbad-Andaloussi, Clemens Schreiber, Hugo A. Lpez, Barbara Weber |
| 2024 | BPM | Towards Immersive Environments for Declarative Process Models. | Simon James Jensen, Hugo A. Lpez |
| 2024 | CoopIS | Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments. | Daniel Grathwol, Han van der Aa, Hugo A. Lpez |
| 2024 | ICPM | DCR4Py: A PM4Py Library extension for Declarative Process Mining in Python. | Simon V. H. Hermansen, Ragnar Jnsson, Jonas L. Kjeldsen, Tijs Slaats, Vlad Paul Cosma, Hugo A. Lpez |
| 2023 | BPM | Pareto-Optimal Trace Generation from Declarative Process Models. | Juan Francisco Daz, Hugo A. Lpez, Luis Quesada, Juan C. Rosero |
| 2023 | BPM | Declarative Choreographies with Time and Data. | Thomas T. Hildebrandt, Hugo A. Lpez, Tijs Slaats |
| 2023 | CoopIS | An Open-Source Modeling Editor for Declarative Process Models. | Lucien Kiven Tamo, Amine Abbad-Andaloussi, Dung My Thi Trinh, Hugo A. Lpez |
| 2023 | CoopIS | On the Semantic Transparency of Declarative Process Models: The Case of Constraints. | Dung My Thi Trinh, Amine Abbad-Andaloussi, Hugo A. Lpez |
| 2023 | ER | A Characterisation of Ambiguity in BPM. | Marco Franceschetti, Ronny Seiger, Hugo A. Lpez, Andrea Burattin, Luciano Garca-Bauelos, Barbara Weber |
| 2022 | EMNLP | Can AMR Assist Legal and Logical Reasoning? | Nikolaus Schrack, Ruixiang Cui, Hugo A. Lpez, Daniel Hershcovich |
| 2022 | ICPM | Uncovering Change: A Streaming Approach for Declarative Processes. | Andrea Burattin, Hugo A. Lpez, Lasse Starklit |
| 2021 | BPM | Exploring the Conformance Space (Extended abstract). | Andrea Burattin, Alessandro Gianola, Hugo A. Lpez, Marco Montali |
| 2021 | BPM | Challenges in Legal Process Discovery. | Hugo A. Lpez |
| 2021 | CaiSE | Declarative Process Discovery: Linking Process and Textual Views. | Hugo A. Lpez, Rasmus Strmsted, Jean-Marie Niyodusenga, Morten Marquard |
| 2020 | BPM | Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts. | Amine Abbad Andaloussi, Christopher John Davis, Andrea Burattin, Hugo A. Lpez, Tijs Slaats, Barbara Weber |
| 2020 | FASE | Business Process Compliance Using Reference Models of Law. | Hugo A. Lpez, Sren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2020 | IFM | Chain of Events: Modular Process Models for the Law. | Sren Debois, Hugo A. Lpez, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt |
| 2019 | EDOC | Assisted Declarative Process Creation from Natural Language Descriptions. | Hugo A. Lpez, Morten Marquard, Lukas Muttenthaler, Rasmus Strmsted |
| 2019 | ER | Exploring the Modeling of Declarative Processes Using a Hybrid Approach. | Amine Abbad Andaloussi, Jon Buch-Lorentsen, Hugo A. Lpez, Tijs Slaats, Barbara Weber |
| 2019 | FORTE | Declarative Choreographies and Liveness. | Thomas T. Hildebrandt, Tijs Slaats, Hugo A. Lpez, Sren Debois, Marco Carbone |
| 2018 | BPM | The Process Highlighter: From Texts to Declarative Processes and Back. | Hugo A. Lpez, Sren Debois, Thomas T. Hildebrandt, Morten Marquard |
| 2018 | BPM | Dynamic Evaluation Forms using Declarative Modeling. | Rasmus Strmsted, Hugo A. Lpez, Sren Debois, Morten Marquard |
| 2017 | SAC | Choreographing cyber-physical distributed control systems for the energy sector. | Hugo A. Lpez, Kai Heussen |
| 2016 | FORTE | Enforcing Availability in Failure-Aware Communicating Systems. | Hugo A. Lpez, Flemming Nielson, Hanne Riis Nielson |
| 2015 | OOPSLA | Protocol-based verification of message-passing parallel programs. | Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2015 | PPDP | Declarative interpretations of session-based concurrency. | Mauricio Cano, Camilo Rueda, Hugo A. Lpez, Jorge A. Prez |
| 2010 | ICLP | Models for Trustworthy Service and Process Oriented Systems. | Hugo A. Lpez |
| 2009 | ICLP | Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. | Thomas T. Hildebrandt, Hugo A. Lpez |
| 2007 | ICSOC | Goal-Equivalent Secure Business Process Re-engineering. | Hugo A. Lpez, Fabio Massacci, Nicola Zannone |
| 2006 | ICLP | A Declarative Framework for Security: Secure Concurrent Constraint Programming. | Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia |