A Declarative Framework for Security: Secure Concurrent Constraint Programming. - Hugo A. López 001; Catuscia Palamidessi; Jorge Andrés Pérez; Camilo Rueda; Frank D. Valencia (ICLP, 2006)

Goal-Equivalent Secure Business Process Re-engineering. - Hugo A. López 001; Fabio Massacci; Nicola Zannone (ICSOC Workshops, 2007)

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. - Thomas T. Hildebrandt; Hugo A. López 001 (ICLP, 2009)

Towards a Unified Framework for Declarative Structured Communications - Hugo A. López 001; Carlos Olarte; Jorge A. Pérez 001 (PLACES, 2009)

Models for Trustworthy Service and Process Oriented Systems. - Hugo A. López 001 (ICLP (Technical Communications), 2010)

A Logic for Choreographies - Marco Carbone; Davide Grohmann; Thomas T. Hildebrandt; Hugo A. López 001 (PLACES, 2010)

Time and Exceptional Behavior in Multiparty Structured Interactions. - Hugo A. López 001; Jorge A. Pérez 001 (WS-FM, 2011)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

Declarative interpretations of session-based concurrency. - Mauricio Cano; Camilo Rueda; Hugo A. López 001; Jorge A. Pérez 001 (PPDP, 2015)

Enforcing Availability in Failure-Aware Communicating Systems. - Hugo A. López 001; Flemming Nielson; Hanne Riis Nielson (FORTE, 2016)

A Theory of Available-by-Design Communicating Systems. - Hugo A. López 001; Flemming Nielson; Hanne Riis Nielson (CoRR, 2016)

Choreographing cyber-physical distributed control systems for the energy sector. - Hugo A. López 001; Kai Heussen (SAC, 2017)

The Process Highlighter: From Texts to Declarative Processes and Back. - Hugo A. López 001; Søren Debois; Thomas T. Hildebrandt; Morten Marquard (BPM (Dissertation/Demos/Industry), 2018)

Dynamic Evaluation Forms using Declarative Modeling. - Rasmus Strømsted; Hugo A. López 001; Søren Debois; Morten Marquard (BPM (Dissertation/Demos/Industry), 2018)

Assisted Declarative Process Creation from Natural Language Descriptions. - Hugo A. López 001; Morten Marquard; Lukas Muttenthaler; Rasmus Strømsted (EDOC Workshops, 2019)

Exploring the Modeling of Declarative Processes Using a Hybrid Approach. - Amine Abbad Andaloussi; Jon Buch-Lorentsen; Hugo A. López 001; Tijs Slaats; Barbara Weber (ER, 2019)

Declarative Choreographies and Liveness. - Thomas T. Hildebrandt; Tijs Slaats; Hugo A. López 001; Søren Debois; Marco Carbone (FORTE, 2019)

Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts. - Amine Abbad Andaloussi; Christopher John Davis; Andrea Burattin; Hugo A. López 001; Tijs Slaats; Barbara Weber (BPM, 2020)

Business Process Compliance Using Reference Models of Law. - Hugo A. López 001; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (FASE, 2020)

Chain of Events: Modular Process Models for the Law. - Søren Debois; Hugo A. López 001; Tijs Slaats; Amine Abbad Andaloussi; Thomas T. Hildebrandt (IFM, 2020)

EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. - Thomas T. Hildebrandt; Amine Abbad Andaloussi; Lars Rune Christensen; Søren Debois; Nicklas Pape Healy; Hugo A. López 001; Morten Marquard; Naja L. Holten Møller; Anette C. M. Petersen; Tijs Slaats; Barbara Weber (ICSSP, 2020)

Exploring the Conformance Space (Extended abstract). - Andrea Burattin; Alessandro Gianola; Hugo A. López 001; Marco Montali (ITBPM@BPM, 2021)

Challenges in Legal Process Discovery. - Hugo A. López 001 (ITBPM@BPM, 2021)

Declarative Process Discovery: Linking Process and Textual Views. - Hugo A. López 001; Rasmus Strømsted; Jean-Marie Niyodusenga; Morten Marquard (CAiSE Forum, 2021)

Uncovering Change: A Streaming Approach for Declarative Processes. - Andrea Burattin; Hugo A. López 001; Lasse Starklit (ICPM Workshops, 2022)

How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks. - Hugo A. López 001; Vít Dexter Simon (PoEM (Forum), 2022)

Session-based concurrency, declaratively. - Mauricio Cano; Hugo A. López 001; Jorge A. Pérez 001; Camilo Rueda (Acta Informatica, 2022)

A Monitoring and Discovery Approach for Declarative Processes Based on Streams. - Andrea Burattin; Hugo A. López 001; Lasse Starklit (CoRR, 2022)

A Type Discipline for Message Passing Parallel Programs. - Vasco T. Vasconcelos; Francisco Martins; Hugo-Andrés López 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2022)

Pareto-Optimal Trace Generation from Declarative Process Models. - Juan Francisco Díaz; Hugo A. López 001; Luis Quesada 001; Juan C. Rosero (Business Process Management Workshops, 2023)

Declarative Choreographies with Time and Data. - Thomas T. Hildebrandt; Hugo A. López 001; Tijs Slaats (BPM (Forum), 2023)

An Open-Source Modeling Editor for Declarative Process Models. - Lucien Kiven Tamo; Amine Abbad Andaloussi; Dung My Thi Trinh; Hugo A. López 001 (CoopIS (Demos), 2023)

On the Semantic Transparency of Declarative Process Models: The Case of Constraints. - Dung My Thi Trinh; Amine Abbad Andaloussi; Hugo A. López 001 (CoopIS, 2023)

A Characterisation of Ambiguity in BPM. - Marco Franceschetti; Ronny Seiger; Hugo A. López 001; Andrea Burattin; Luciano García-Bañuelos; Barbara Weber (ER, 2023)

The biggest business process management problems to solve before we die. - Iris Beerepoot; Claudio Di Ciccio; Hajo A. Reijers; Stefanie Rinderle-Ma; Wasana Bandara; Andrea Burattin; Diego Calvanese; Tianwa Chen; Izack Cohen; Benoît Depaire; Gemma Di Federico; Marlon Dumas; et al. (Comput. Ind., 2023)

A Characterization of Ambiguity in BPM. - Marco Franceschetti; Ronny Seiger; Hugo A. López 001; Andrea Burattin; Luciano García-Bañuelos; Barbara Weber (Zenodo, 2023)

Ambiguity Taxonomy Development Iterations. - Marco Franceschetti; Ronny Seiger; Hugo A. López 001; Andrea Burattin; Luciano García-Bañuelos; Barbara Weber (Zenodo, 2023)

Exploring the Cognitive Effects of Ambiguity in Process Models. - Marco Franceschetti; Amine Abbad Andaloussi; Clemens Schreiber; Hugo A. López 001; Barbara Weber (BPM, 2024)

Towards Immersive Environments for Declarative Process Models. - Simon James Jensen; Hugo A. López 001 (BPM (Forum), 2024)

Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments. - Daniel Grathwol; Han van der Aa; Hugo A. López 001 (CoopIS, 2024)

3DCR: A Tool for Immersive Process Mining. - Juanita Caballero-Villalobos; Simon James Jensen; Hugo-Andrés López-Acosta (ICPM Doctoral Consortium / Demo, 2024)

DCR4Py: A PM4Py Library extension for Declarative Process Mining in Python. - Simon V. H. Hermansen; Ragnar Jónsson; Jonas L. Kjeldsen; Tijs Slaats; Vlad Paul Cosma; Hugo A. López 001 (ICPM Doctoral Consortium / Demo, 2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. - Hugo A. López 001; Thomas T. Hildebrandt (CoRR, 2024)

Ambiguity Detection in Business Process Descriptions: An Evidence and an Automated Approach. - Hugo A. López 001; BingKun Feng; Jonas Lindner; Marco Franceschetti; Amine Abbad Andaloussi (BPM, 2025)

BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing. - Ahmed Awad 001; Feras M. Awaysheh; Hugo A. López 001 (CoRR, 2025)