Publikationen

  • Carl Corea, Anti Almann, Fabrizio Maria Maggi, Paul Hermann Wittlinger. Declarative Process Specifications over Discrete/Continuous Event Data. 37th International Conference on Advanced Information Systems Engineering (CAiSE 2025). Vienna, 2025.

  • Carl Corea, Matthias Thimm. Towards Handling Potential Issues in Business Rule Bases. Journal of Applied Logics. 2024.

  • Carl Corea, Timotheus Kampik, Marco Montali. Explainable DMN. Proceedings of the BPM Forum 2024 co-located with the 22nd International Conference on Business Process Management (BPM 2024). Krakow, 2024.

  • Carl Corea, Patrick Delfmann. Geo-Aware Process Mining. Proceedings of the Demonstrations & Resources Forum co-located with the 22nd International Conference on Business Process Management (BPM 2024). Krakow, 2024.

  • Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi. On the Flexibility of Declarative Process Specifications. 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024). Limassol, 2024.

  • Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant. Paraconsistent Reasoning for Inconsistency Measurement in Declarative Process Specifications. Information Systems. 2024.

  • Philipp Hehnle, Maximilian Behrendt, Luc Weinbrecht, Carl Corea. Carbon-Aware Process Execution for Green Business Process Management. 26th International Conference on Enterprise Information Systems (ICEIS 2024). Angers, 2024.

  • Carl Corea. On the Suitability of Inconsistency Measures. 2nd Workshop on Cognitive Aspects of Knowledge Representation (CAKR 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Rhodes, 2023.

  • Isabelle Kuhlmann, Carl Corea, John Grant. An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications. 21st International Workshop on Nonmonotonic Reasoning (NMR 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Rhodes, 2023.

  • Carl Corea, Timotheus Kampik, Patrick Delfmann. Empirical Evidence of DMN Errors in the Wild - An SAP Signavio Case Study. 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023) co-located with the 21st International Conference on Business Process Management (BPM 2023). Utrecht, 2023.

  • Isabelle Kuhlmann, Carl Corea, John Grant. Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP. 1st International Workshop on Formal Methods for Business Process Management (FM-BPM 2023) co-located with the 21st International Conference on Business Process Management (BPM 2023). Utrecht, 2023.

  • Nicolai Schützenmeier, Carl Corea, Patrick Delfmann, Stefan Jablonski. Efficient Computation of Behavioral Change Profiles in Declarative Process Models. 24th Working Conference on Business Process Modeling, Development and support (BPMDS 2023). Zaragosa, 2023.

  • Stefan Hill, David Fitzek, Carl Corea, Patrick Delfmann. An application of quantum machine learning for inter-case predictive process monitoring. In: Bulletin of the American Physical Society at the Advanced Physics March Meeting (APS 2023). Las Vegas, 2023.

  • Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant. Measuring and Resolving Inconsistency in Declarative Process Specifications (Extended Abstract). AI4BPM Bridge Programm at the 37th AAAI Conference on Artificial Intelligence (AAAI'23). Washington D.C., 2023.

  • Carl Corea, Paolo Fello, Marco Montali, Fabio Patrizi. On the Flexibility of Declarative Process Specifications (Extended Abstract). AI4BPM Bridge Programm at the 37th AAAI Conference on Artificial Intelligence (AAAI'23). Washington D.C., 2023.

  • Carl Corea, John Grant, Matthias Thimm. Measuring Inconsistency in Declarative Process Specifications. In Proceedings of the 20th International Conference on Business Process Management (BPM 2022). Münster, 2022. 

  • Eric Amann, Carl Corea, Christoph Drodt, Patrick Delfmann. A Dashboard Creator Suite for Simultaneous Predictive Process Monitoring. In Proceedings of the Demonstration Track at BPM 2022 co-located with the 20th International Conference on Business Process Management (BPM 2022). Münster, 2022.

  • Carl Corea, Rana Mansour, Patrick Delfmann. Advanced Auditing of Run-Time Conflicts in Declarative Process Models using Time Series Clustering. In Proceedings der 17. Internationalen Tagung der Wirtschaftsinformatik (WI 2022). Nürnberg, 2022.

  • Carl Corea, Faruk Hasic, Patrick Delfmann, Estefania Serral. Introduction to the Minitrack on Business Rule Management Technologies. In Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS 2022). Hawaii, 2022.

  • Carl Corea, Michael Fellmann, Patrick Delfmann. Ontology-Based Process Modelling - Will we live to see it?  In Proceedings of the 40th International Conference on Conceptual Modelling (ER 2021). St. John's, 2021.

  • Carl Corea, Matthias Thimm, Patrick Delfmann. Measuring Inconsistency over Sequences of Business Rule Cases. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). Hanoi, 2021.

  • Carl Corea, Sabine Nagel, Jan Mendling and Patrick Delfmann. Interactive and Minimal Repair of Declarative Process Models. In Proceedings of the BPM Forum 2021 co-located with the 19th International Conference on Business Process Management (BPM 2021). Rom, 2021.

  • Carl-Christian Grohé, Carl Corea and Patrick Delfmann. DMN 1.0 Verification Capabilities: An Analysis of current Tool Support. In Proceedings of the BPM Forum 2021 co-located with the 19th International Conference on Business Process Management (BPM 2021). Rom, 2021.

  • Stefan Hill, Nico Bartmann, Carl Corea, Chris Drodt, Patrick Delfmann. Applied Predictive Process Monitoring and Hyper Parameter Optimization in Camunda. In Proceedings of the CAiSE Forum 2021 co-located with the 33rd International Conference on Advanced Information Systems Engineering (CAISE 2021). Melbourne, 2021.

  • Carl Corea, Michael Fellmann, Patrick Delfmann. Ontology-Based Process Modelling - Will we live to see it? (Extended Abstract). In Proceedings of the 11th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2021). Kiel, 2021.

  • Carl Corea, Matthias Thimm. On Quasi-Inconsistency and its Complexity. In Artificial Intelligence (AIJ).  2020.

  • Sabine Nagel, Carl Corea, Patrick Delfmann. Cognitive Effects of Visualization Techniques for Inconsistency Metrics on Monitoring DataIntensive Processes. In Information Systems Management (ISM). 2020.

  • Carl Corea, Patrick Delfmann. A Taxonomy of Business Rule Organizing Approaches in Regard to Business Process Compliance. In International Journal of Conceptual Modeling (EMISAJ). 2020

  • Faruk Hasic, Carl Corea, Jonas Blatt, Patrick Delfmann and Estefania Serral. A Tool for the Verification of Decision Model and Notation (DMN) Models. In Proceedings of the 14th International Conference on Research Challenges in Information Science (RCIS 2020). Limassol, 2020.

  • Faruk Hasic, Carl Corea, Jonas Blatt, Patrick Delfmann and Estefania Serral. Decision Model Change Patterns for Dynamic System Evolution. In Knowledge and Information Systems (KAIS). 2020

  • Carl Corea, Matthias Thimm. Towards Inconsistency Measurement in Business Rule Bases. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). Santiago de Compostela, 2020.

  • Carl Corea, Patrick Delfmann, Sabine Nagel. Towards Intelligent Chatbots for Customer Care - Practice-Based Requirements for a Research Agenda. In Proceedings of the 53rd Hawaii International Conference on System Sciences (HICSS 2020). Hawaii, 2020.

  • Carl Corea, Sabine Nagel, Patrick Delfmann. Effects of Visualization Techniques on Understanding Inconsistencies in Automated Decision-Making. In Proceedings of the 53rd Hawaii International Conference on System Sciences (HICSS 2020). Hawaii, 2020.

  • Carl Corea, Jonas Blatt, Patrick Delfmann. A Tool for Decision-Logic Level Verification in DMN Decision Tables. In Proceedings of the Demonstration Track at BPM 2019 co-located with the 17th International Conference on Business Process Management (BPM 2019). Wien, 2019.

  • Carl Corea, Patrick Delfmann. Quasi-Inconsistency in Declarative Process Models. In Business Process Management Forum co-located with the 17th International Conference on Business Process Management (BPM 2019). Wien, 2019.

  • Patrick Delfmann, Dennis M. Riehle, Steffen Höhenberger, Carl Corea, Christoph Drodt. The Diagramed Model Query Language 2.0: Design, Implementation, and Evaluation. In Polyvyanyy, A. (Ed.), Process Querying Methods. 2019. 

  • Carl Corea, Matthias Deisen, Patrick Delfmann. Resolving Inconsistencies in Declarative Process Models 
 based on Culpability Measurement. In Proceedings der 14. Internationalen Tagung der Wirtschaftsinformatik (WI 2019). Siegen, 2019. Gewinner des Best Paper Award.

  • Sabine Nagel, Carl Corea, Patrick Delfmann. Effects of Quantitative Measures on Understanding Inconsistencies in Business Rules. In Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS 2019). Hawaii, 2019.

  • Carl Corea,  Patrick Delfmann. Supporting Business Rule Management with Inconsistency Analysis. In Proceedings of the Industrial Track at BPM 2018 co-located with the 16th International Conference on Business Process Management (BPM 2018). Sydney, 2018.

  • Carl Corea,  Patrick Delfmann. A Tool to Monitor Consistent Decision-Making in Business Process Execution. In Proceedings of the Demonstration Track at BPM 2018 co-located with the 16th International Conference on Business Process Management (BPM 2018). Sydney, 2018.

  • Carl Corea,  Patrick Delfmann. Detecting Compliance with Business Rules in Ontology-Based Process Modeling. In Proceedings der 13. Internationalen Tagung der Wirtschaftsinformatik (WI 2017). St.Gallen, 2017.

  • Carl Corea, Matthias Thimm. Using Matrix Exponentials for Abstract Argumentation. In Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA 2016). Potsdam, 2016.