Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review.
Hugo A. López, Thomas T. Hildebrandt. Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. https://arxiv.org/abs/2410.1090
Exploring the Cognitive Effects of Ambiguity in Process Models
Franceschetti, M., Abbad-Andaloussi, A., Schreiber, C., López, H.A., Weber, B. (2024). Exploring the Cognitive Effects of Ambiguity in Process Models. In: Business Process Management. BPM 2024. Lecture Notes in Computer Science, vol 14940. Springer, Cham. https://doi.org/10.1007/978-3-031-70396-6_28
3DCR: A Tool for Immersive Process Mining
Caballero-Villalobos, J., Jensen, S.J., López, H.A., 3DCR: A Tool for Immersive Process Mining. In International Conference on Process Mining. In Proceedings of the 6th International Conference on Process Mining CEUR-WS.
DCR4Py: A PM4Py Library Extension for Declarative Process Mining in Python
Hermansen, S.V.H., Jónsson, R., Kjeldsen, J.L., Slaats, T., Cosma, V. P., López, H.A., DCR4Py: A PM4Py Library Extension for Declarative Process Mining in Python. In Proceedings of the 6th International Conference on Process Mining CEUR-WS.
Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments
Gratwhol, D., van der Aa, H., López, H. A., Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments. In International Conference on Cooperative Information Systems. To appear.
Danish Center of Digital Compliance
This work is supported by the research grant ''Center for Digital CompliancE (DICE)'' (VIL57420) from VILLUM FOUNDATION.
Contact us
Verify
hulo@dtu.dk
© 2025. All rights reserved.
