• Richard Petersens Plads, 321, 015

    2800 Kgs. Lyngby

    Denmark

Accepting PhD Students

Search results

  • 2024

    3DCR: A Tool for Immersive Process Mining

    Caballero Villalobos, J., Jensen, S. J. & López-Acosta, H. A., 2024, Proceedings of the 6th International Conference on Process Mining. CEUR-WS, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    46 Downloads (Pure)
  • 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., 2024, Proceedings of the ICPM 2024 Tool Demonstration Track. CEUR-WS, Vol. 3783. 6 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    18 Downloads (Pure)
  • Emerging challenges in legal informatics from machine learning to LLMs - Preface to the proceedings of the 1st PLC workshop

    Genga, L., López, H. A. & Sulis, E., 2024, Proceedings of the 1st Internation Workshop on Processes, Laws and Compliance. CEUR-WS, Vol. 3850. 5 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

    Open Access
    File
  • Exploring the Cognitive Effects of Ambiguity in Process Models

    Franceschetti, M., Abbad-Andaloussi, A., Schreiber, C., López, H. A. & Weber, B., 2024, 22nd International Conference on Business Process Management . Springer, Vol. 14940. p. 493-510

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Pareto-Optimal Trace Generation from Declarative Process Models

    Diaz, J. F., López-Acosta, H.-A., Quesada, L. & Rosero, J. C., 2024, Proceedings of the 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023). Springer, p. 314-325

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    155 Downloads (Pure)
  • Towards Immersive Environments for Declarative Process Models

    Jensen, S. J. & López-Acosta, H.-A., 2024, Proceedings of The 22nd International Conference on Business Process Management 2024. Vol. 526. p. 214-231

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2023

    A Characterisation of Ambiguity in BPM

    Franceschetti, M., Seiger, R., López-Acosta, H.-A., Burattin, A., Garcia-Banuelos, L. & Weber, B., 2023, Proceedings of the 42nd International Conference on Conceptual Modeling (ER). Springer, Vol. 14320. p. 277–295

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    17 Downloads (Pure)
  • An Open-Source Modeling Editor for Declarative Process Models

    Tamo, L. K., Abbad-Andaloussi, A., Trinh, D. M. T. & López-Acosta, H.-A., 2023, Proceedings of the Demonstration Track at International Conference on Cooperative Information Systems 2023. CEUR-WS, Vol. 3552. 5 p. 5

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    134 Downloads (Pure)
  • Declarative Choreographies with Time and Data

    Hildebrandt, T. T., López-Acosta, H.-A. & Slaats, T., 2023, Proceedings of the the 21st International Conference of Business Process Management. Springer, Vol. 490. p. 73–89

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    269 Downloads (Pure)
  • On the Semantic Transparency of Declarative Process Models: The Case of Constraints

    Trinh, D. M. T., Abbad-Andaloussi, A. & López-Acosta, H.-A., 2023, Proceedings of the Research Track at International Conference on Cooperative Information Systems 2023. Vol. 14353. p. 217–236

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    178 Downloads (Pure)
  • The biggest business process management problems to solve before we die

    Beerepoot, I., Di Ciccio, C., Reijers, H. A., Rinderle-Ma, S., Bandara, W., Burattin, A., Calvanese, D., Chen, T., Cohen, I., Depaire, B., Di Federico, G., Dumas, M., van Dun, C., Fehrer, T., Fischer, D. A., Gal, A., Indulska, M., Isahagian, V., Klinkmüller, C. & Kratsch, W. & 22 others, Leopold, H., Van Looy, A., Lopez, H., Lukumbuzya, S., Mendling, J., Meyers, L., Moder, L., Montali, M., Muthusamy, V., Reichert, M., Rizk, Y., Rosemann, M., Röglinger, M., Sadiq, S., Seiger, R., Slaats, T., Simkus, M., Someh, I. A., Weber, B., Weber, I., Weske, M. & Zerbato, F., Apr 2023, In: Computers in Industry. 146, 14 p., 103837.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    331 Downloads (Pure)
  • Uncovering Change: A Streaming Approach for Declarative Processes

    Burattin, A., López, H. A. & Starklit, L., 2023, Proceedings of Process Mining Workshops: ICPM 2022 International Workshops. Springer, Vol. 468. p. 158-170

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    71 Downloads (Pure)
  • 2022

    Can AMR Assist Legal and Logical Reasoning?

    Schrack, N., Cui, R., López-Acosta, H.-A. & Hershcovich, D., 2022, Findings of the Association for Computational Linguistics. Association for Computational Linguistics, p. 1555 - 1568

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    78 Downloads (Pure)
  • How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks

    López-Acosta, H.-A. & Simon, V. D., 2022, Proceedings of 15th IFIP Working Conference on the Practice of Enterprise Modeling 2022. CEUR-WS, 17 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    110 Downloads (Pure)
  • 2017

    Choreographing Cyber-Physical Distributed Control Systems for the Energy Sector

    López-Acosta, H.-A. & Heussen, K., 2017, Proceedings of SAC 2017. Association for Computing Machinery, p. 437-443 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2016

    Enforcing Availability in Failure-Aware Communicating Systems

    López-Acosta, H.-A., Nielson, F. & Nielson, H. R., 2016, Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016). Albert, E. & Lanese, I. (eds.). Springer, p. 195-211 (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    539 Downloads (Pure)
  • 2015

    Declarative interpretations of session-based concurrency

    Cano , M., Rueda, C., López-Acosta, H.-A. & Pérez, J. A., 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15). Association for Computing Machinery, p. 67-78

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Protocol-Based Verification of Message-Passing Parallel Programs

    López-Acosta, H.-A., Eduardo R. B. Marques, E. R. B., Martins, F., Ng, N., Santos, C., Vasconcelos, V. T. & Yoshida, N., 2015, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015. Association for Computing Machinery, p. 280-298

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2012

    Foundations of Communication-Centred Programming: Calculi, Logics & Types

    López-Acosta, H.-A. & Hildebrandt, T. (Main supervisor), 2012, 233 p.

    Research output: Book/ReportPh.D. thesis

    Open Access
    File
    103 Downloads (Pure)