• Richard Petersens Plads, 321, 015

    2800 Kgs. Lyngby

    Denmark

Accepting PhD Students

Filter
Article in proceedings

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)
  • 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)
  • 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