Überblick

CV (en). Carl Corea is a postdoctoral researcher in the Process Science Group at the University of Koblenz, Germany. He received his PhD in computer science with distinction in 2020. His research interest lies on the intersection between business informatics and a more formal, theoretical informatics. His works have been published in various outlets in the fields of information systems research and artificial intelligence, including conferences such as BPM, KR or ECAI, and journals such as Artificial Intelligence (AIJ). He received the best paper award at WI 2019. Next to his academic position, he currently serves as a visiting researcher at SAP Signavio in the area of Business Rule- and DMN research. Dr. Corea furthermore serves as a PC member of various conferences in the area of Business Process Management and Artificial Intelligence, such as KR, AAAI, ML4PM@ICPM or DEC2H.

Wissenschaftliche Aktivitäten

• Lehrauftrag - AI in Accounting Information Systems (Master), 2024. Justus-Liebig-Universität Gießen.

• Visiting Researcher, 2024. SAP Signavio.

• Vertretungsprofessur Wirtschaftsinformatik, WS 2023/24. Justus-Liebig-Universität Gießen.

• Vortrag beim AI Meetup Mittelrhein, 2024. Koblenz.

• Visiting Researcher, 2023. SAP Signavio.

• Lehrauftrag - Projektmanagement (Bachelor), 2020. Fachhochschule Südwestfalen.

• Vortrag beim ScienceDialog des 8. Zukunftskongress (Staat & Verwaltung), 2020. Berlin.

• Lehrauftrag - Business Process Management (Master), 2020. Universität Koblenz-Landau.

• Lehrauftrag - Projektmanagement (Bachelor), 2019. Fachhochschule Südwestfalen.

• Lehrauftrag - Einführung in die Wirtschaftsinformatik (Bachelor), 2017. Hochschule Bonn-Rhein-Sieg.

• Doctoral Consortium - 15th International Conference on Business Process Management (BPM 2017), 2017. Beitrag wurde zur Förderung durch Signavio ausgewählt.

Administrative Aktivitäten

• Mitglied der Kollegialen wissenschaftlichen Leitung des Interdisziplinären Forschungs-, Graduiertenförderungs- und Personalentwicklungszentrums (IFGPZ) der Universität Koblenz. Seit Januar 2023.

• Mitglied im Promotionsausschuss des Fachbereichs 4: Informatik (Statusgruppe wiss. Mitarbeiter). Seit Dezember 2022

• Mitglied im Prüfungsausschuss des Fachbereichs 4: Informatik (Statusgruppe wiss. Mitarbeiter).  Seit März 2019

• Stellv. Beiratsmitglied des Interdisziplinären Promotionszentrums (IPZ) der Uni Koblenz. 2019-2020

• Stellv. Beiratsmitglied des Instituts für Wissensmedien (IWM) der Uni Koblenz. Seit 2020

Förderungen und Preise

• Nominiert für den KR Early Career Award 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning (KR2022)

• Debeka Innovationspreis 2021 - Auszeichnung für das Forschungspraktikum "Predictive Process Monitoring" mit dem Debeka Innovationspreis für den FB4 der Universität Koblenz-Landau (Preis für gesamtes Forschungspraktikum; Rolle: Betreuer)

• Nominiert für den Koblenzer Hochschulpreis als beste Dissertation des Fachbereich 4: Informatik der Universität Koblenz-Landau.

• Studierenden-Lehrpreis SS 2020 - Lehrpreis der Universität Koblenz (HDA) für die von Studierenden für diesen Preis nominierte Lehrveranstaltung "Business Process Management"

• Debeka Innovationspreis 2019 - Auszeichnung für das Forschungspraktikum "Business Rule Management" mit dem Debeka Innovationspreis für den FB4 der Universität Koblenz-Landau (Preis für gesamtes Forschungspraktikum; Rolle: Betreuer)

• DAAD-Stipendium, 2020 - Förderung zur Kongressteilnahme im Ausland im Rahmen des Programms "Kongressreisen 2020" des Deutschen Akademischen Austauschdienstes

• Best Paper Award, 2019 - 14. Internationalen Tagung der Wirtschaftsinformatik (WI2019)

• HDA-Lehrpreis WS 2018/19 (Preis für gesamte FG BKS; Rolle: Betreuer) - Lehrpreis der Universität Koblenz (HDA) für die Lehrveranstaltung "Special Topics in Informations Systems"

Mitwirkung in Programmkomitees und -organisation

• 6th International Workshop on Leveraging Machine Learning in Process Mining (ML4PM 2025) - PC member

• 1st International Workshop on Inconsistency Measurement (IM'25@ECSQARU 2025) - Co-Chair

• 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) - PC member

• 4th International Workshop on Process Management in the AI era (PMAI@ECAI 2025) - PC member

• 20. Internationale Tagung der Wirtschaftsinformatik, Track: Process Science (WI25) - Associate Editor

• 1st Process Technology Forum (@BPM 2025) - PC member

• 26th Working Conference on Business Process Modeling, Development, and Support (BPMDS 2025) - PC member

• 15th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2025) - PC member

• 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025) - PC member

• 12th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2024) - PC member

• 5th International Workshop on Leveraging Machine Learning in Process Mining (ML4PM 2024) - PC member

• 2nd International Workshop on Formal Methods for Business Process Management (FM-BPM 2024) - PC member

• 3rd International Workshop on Process Management in the AI era (PMAI@ECAI 2024) - PC member

• 58th Hawai’i International Conference on System Sciences, Business Process Technologies Minitrack (HICSS 2025) - Minitrack Chair

• 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) - PC member

• 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - PC member

• 19. Internationale Tagung der Wirtschaftsinformatik, Track: Process Science (WI24) - Associate Editor

• 25th Working Conference on Business Process Modeling, Development, and Support (BPMDS 2024) - PC member

• 38th AAAI Conference on Artificial Intelligence (AAAI 2024) - PC member

• 4th International Workshop on Leveraging Machine Learning in Process Mining (ML4PM@ICPM 2023) - PC member

• 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023) - PC member

• 1st International Workshop on Formal Methods for Business Process Management (FM-BPM 2023) - PC member

• 24th Working Conference on Business Process Modeling, Development, and Support (BPMDS 2023) - PC member

• 57th Hawai’i International Conference on System Sciences, Business Process Technologies Minitrack (HICSS 2024) - Minitrack Chair

• 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) - PC member

• 37th AAAI Conference on Artificial Intelligence (AAAI 2023) - PC member

• 18. Internationale Tagung der Wirtschaftsinformatik, Track: Geschäftsprozessmanagement (WI23) - Associate Editor

• 56th Hawai’i International Conference on System Sciences, Business Rule Management Technologies Minitrack (HICSS 2023) - Minitrack Chair

• 1st IJCAI Workshop on Process Management in the AI era (PMAI@IJCAI/ECAI 2022) - PC member

• 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM@ICPM) - PC member

• 10th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2022) - PC member

• 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) - PC member

• 17. Internationale Tagung der Wirtschaftsinformatik, Track: Geschäftsprozessmanagement (WI22) - Associate Editor

• 55th Hawai’i International Conference on System Sciences, Business Rule Management Technologies Minitrack (HICSS 2022) - Minitrack Chair

• 9th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2021) - PC member

• 38th AAAI Conference on Artificial Intelligence - PC member

Sonstige Reviews

• KI - Künstliche Intelligenz

• Information Systems

• Software X

• Journal of Intelligent Information Systems

• Computational Models of Argument

• Internationale Tagung der Wirtschaftsinformatik

• International Conference on Business Process Management

• International Conference on Information Systems

• International Workshop on Enterprise Modeling and Information Systems

• Hawaii International Conference on System Sciences

• Multikonferenz Wirtschaftsinformatik

• European Conference on Information Systems

• Software and Systems Modeling

• IEEE International Conference on Business Informatics

• HMD – Praxis der Wirtschaftsinformatik

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.