default search action
Hugo A. López 0001
Person information
- affiliation: Technical University of Denmark, Department of Mathematics and Computer Science, Denmark
- affiliation: University of Copenhagen, Denmark
- affiliation: DCR Solutions A/S, Copenhagen, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j3]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, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - 2022
- [j2]Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda:
Session-based concurrency, declaratively. Acta Informatica 59(1): 1-87 (2022) - [j1]Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida:
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44(4): 26:1-26:55 (2022)
Conference and Workshop Papers
- 2024
- [c34]Simon James Jensen, Hugo A. López:
Towards Immersive Environments for Declarative Process Models. BPM (Forum) 2024: 214-231 - [c33]Marco Franceschetti, Amine Abbad Andaloussi, Clemens Schreiber, Hugo A. López, Barbara Weber:
Exploring the Cognitive Effects of Ambiguity in Process Models. BPM 2024: 493-510 - [c32]Juanita Caballero-Villalobos, Simon James Jensen, Hugo-Andrés López-Acosta:
3DCR: A Tool for Immersive Process Mining. ICPM Doctoral Consortium / Demo 2024 - [c31]Simon V. H. Hermansen, Ragnar Jónsson, Jonas L. Kjeldsen, Tijs Slaats, Vlad Paul Cosma, Hugo A. López:
DCR4Py: A PM4Py Library extension for Declarative Process Mining in Python. ICPM Doctoral Consortium / Demo 2024 - 2023
- [c30]Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats:
Declarative Choreographies with Time and Data. BPM (Forum) 2023: 73-89 - [c29]Juan F. Diaz, Hugo A. López, Luis Quesada, Juan C. Rosero:
Pareto-Optimal Trace Generation from Declarative Process Models. Business Process Management Workshops 2023: 314-325 - [c28]Lucien Kiven Tamo, Amine Abbad Andaloussi, Dung My Thi Trinh, Hugo A. López:
An Open-Source Modeling Editor for Declarative Process Models. CoopIS (Demos) 2023: 21-25 - [c27]Dung My Thi Trinh, Amine Abbad Andaloussi, Hugo A. López:
On the Semantic Transparency of Declarative Process Models: The Case of Constraints. CoopIS 2023: 217-236 - [c26]Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber:
A Characterisation of Ambiguity in BPM. ER 2023: 277-295 - 2022
- [c25]Andrea Burattin, Hugo A. López, Lasse Starklit:
Uncovering Change: A Streaming Approach for Declarative Processes. ICPM Workshops 2022: 158-170 - [c24]Hugo A. López, Vít Dexter Simon:
How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks. PoEM (Forum) 2022: 81-97 - 2021
- [c23]Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali:
Exploring the Conformance Space (Extended abstract). ITBPM@BPM 2021: 62-67 - [c22]Hugo A. López:
Challenges in Legal Process Discovery. ITBPM@BPM 2021: 68-73 - [c21]Hugo A. López, Rasmus Strømsted, Jean-Marie Niyodusenga, Morten Marquard:
Declarative Process Discovery: Linking Process and Textual Views. CAiSE Forum 2021: 109-117 - 2020
- [c20]Amine Abbad Andaloussi, Christopher John Davis, Andrea Burattin, Hugo A. López, Tijs Slaats, Barbara Weber:
Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts. BPM 2020: 417-434 - [c19]Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Business Process Compliance Using Reference Models of Law. FASE 2020: 378-399 - [c18]Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt:
Chain of Events: Modular Process Models for the Law. IFM 2020: 368-386 - [c17]Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber:
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP 2020: 155-164 - 2019
- [c16]Hugo A. López, Morten Marquard, Lukas Muttenthaler, Rasmus Strømsted:
Assisted Declarative Process Creation from Natural Language Descriptions. EDOC Workshops 2019: 96-99 - [c15]Amine Abbad Andaloussi, Jon Buch-Lorentsen, Hugo A. López, Tijs Slaats, Barbara Weber:
Exploring the Modeling of Declarative Processes Using a Hybrid Approach. ER 2019: 162-170 - [c14]Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone:
Declarative Choreographies and Liveness. FORTE 2019: 129-147 - 2018
- [c13]Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard:
The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) 2018: 66-70 - [c12]Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard:
Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) 2018: 172-179 - 2017
- [c11]Hugo A. López, Kai Heussen:
Choreographing cyber-physical distributed control systems for the energy sector. SAC 2017: 437-443 - 2016
- [c10]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
Enforcing Availability in Failure-Aware Communicating Systems. FORTE 2016: 195-211 - 2015
- [c9]Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Protocol-based verification of message-passing parallel programs. OOPSLA 2015: 280-298 - [c8]Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez:
Declarative interpretations of session-based concurrency. PPDP 2015: 67-78 - 2011
- [c7]Hugo A. López, Jorge A. Pérez:
Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM 2011: 48-63 - 2010
- [c6]Hugo A. López:
Models for Trustworthy Service and Process Oriented Systems. ICLP (Technical Communications) 2010: 270-276 - [c5]Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
A Logic for Choreographies. PLACES 2010: 29-43 - 2009
- [c4]Thomas T. Hildebrandt, Hugo A. López:
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP 2009: 417-431 - [c3]Hugo A. López, Carlos Olarte, Jorge A. Pérez:
Towards a Unified Framework for Declarative Structured Communications. PLACES 2009: 1-15 - 2007
- [c2]Hugo A. López, Fabio Massacci, Nicola Zannone:
Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops 2007: 212-223 - 2006
- [c1]Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia:
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450
Data and Artifacts
- 2023
- [d2]Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber:
A Characterization of Ambiguity in BPM. Zenodo, 2023 - [d1]Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber:
Ambiguity Taxonomy Development Iterations. Zenodo, 2023
Informal and Other Publications
- 2024
- [i3]Hugo A. López, Thomas T. Hildebrandt:
Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. CoRR abs/2410.10906 (2024) - 2022
- [i2]Andrea Burattin, Hugo A. López, Lasse Starklit:
A Monitoring and Discovery Approach for Declarative Processes Based on Streams. CoRR abs/2208.05364 (2022) - 2016
- [i1]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
A Theory of Available-by-Design Communicating Systems. CoRR abs/1611.05651 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint