I agree that this site is using cookies. You can find further informations here.
X
Lopez, Hugo
153  results:
Bookchapter (Online) X
Search for persons X
?
1

Pareto-Optimal Trace Generation from Declarative Process Mo..:

, In: Business Process Management Workshops; Lecture Notes in Business Information Processing,
Diaz, Juan F. ; López, Hugo A. ; Quesada, Luis. - p. 314-325 , 2024
Link: https://doi.org/10.1007/..
 
?
2

A Characterisation of Ambiguity in BPM:

, In: Conceptual Modeling; Lecture Notes in Computer Science,
Franceschetti, Marco ; Seiger, Ronny ; López, Hugo A.... - p. 277-295 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Uncovering Change: A Streaming Approach for Declarative Pro..:

, In: Lecture Notes in Business Information Processing; Process Mining Workshops,
Burattin, Andrea ; López, Hugo A. ; Starklit, Lasse - p. 158-170 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Declarative Choreographies with Time and Data:

, In: Lecture Notes in Business Information Processing; Business Process Management Forum,
Hildebrandt, Thomas T. ; López, Hugo A. ; Slaats, Tijs - p. 73-89 , 2023
Link: https://doi.org/10.1007/..
 
?
5

On the Semantic Transparency of Declarative Process Models:..:

, In: Cooperative Information Systems; Lecture Notes in Computer Science,
Trinh, Dung My Thi ; Abbad-Andaloussi, Amine ; López, Hugo A. - p. 217-236 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Declarative Process Discovery: Linking Process and Textual ..:

, In: Lecture Notes in Business Information Processing; Intelligent Information Systems,
López, Hugo A. ; Strømsted, Rasmus ; Niyodusenga, Jean-Marie. - p. 109-117 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Business Process Compliance Using Reference Models of Law:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
López, Hugo A. ; Debois, Søren ; Slaats, Tijs. - p. 378-399 , 2020
Link: https://doi.org/10.1007/..
 
?
8

The Protection of Cultural Heritage Sites on the Moon: The ..:

, In: Protection of Cultural Heritage Sites on the Moon; Studies in Space Policy,
Lopez, Hugo - p. 131-143 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Chain of Events: Modular Process Models for the Law:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Debois, Søren ; López, Hugo A. ; Slaats, Tijs.. - p. 368-386 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Understanding Quality in Declarative Process Modeling Throu..:

, In: Lecture Notes in Computer Science; Business Process Management,
Abbad Andaloussi, Amine ; Davis, Christopher J. ; Burattin, Andrea... - p. 417-434 , 2020
Link: https://doi.org/10.1007/..
 
?
11

EcoKnow : Engineering Effective, Co-created and Complian..:

, In: Proceedings of the International Conference on Software and System Processes,
Hildebrandt, Thomas T. ; Andaloussi, Amine Abbad ; Christensen, Lars R.... - p. 155-164 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Declarative Choreographies and Liveness:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Hildebrandt, Thomas T. ; Slaats, Tijs ; López, Hugo A... - p. 129-147 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Exploring the Modeling of Declarative Processes Using a Hyb..:

, In: Conceptual Modeling; Lecture Notes in Computer Science,
Abbad Andaloussi, Amine ; Buch-Lorentsen, Jon ; López, Hugo A... - p. 162-170 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Choreographing cyber-physical distributed control systems f..:

, In: Proceedings of the Symposium on Applied Computing,
López, Hugo A. ; Heussen, Kai - p. 437-443 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Protocol-based verification of message-passing parallel pro..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,
López, Hugo A. ; Marques, Eduardo R. B. ; Martins, Francisco... - p. 280-298 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15