Carl Corea

Orcid: 0000-0001-6420-1272

According to our database1, Carl Corea authored at least 42 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Paraconsistent reasoning for inconsistency measurement in declarative process specifications.
Inf. Syst., 2024

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log.
CoRR, 2024

Inconsistency Measurement in LTL<sub> f</sub> Based on Minimal Inconsistent Sets and Minimal Correction Sets.
Proceedings of the Scalable Uncertainty Management - 16th International Conference, 2024

Carbon-Aware Process Execution for Green Business Process Management.
Proceedings of the 26th International Conference on Enterprise Information Systems, 2024

Introduction to the Minitrack on Business Process Technology.
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

On the Flexibility of Declarative Process Specifications.
Proceedings of the Advanced Information Systems Engineering, 2024

Explainable DMN.
Proceedings of the Business Process Management Forum, 2024

Geo-Aware Process Mining.
Proceedings of the Best Dissertation Award, 2024

2023
Inter-case Predictive Process Monitoring: A candidate for Quantum Machine Learning?
CoRR, 2023

An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

On the Suitability of Inconsistency Measures.
Proceedings of the Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023

Efficient Computation of Behavioral Changes in Declarative Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2023

Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
Proceedings of the Business Process Management Workshops, 2023

Empirical Evidence of DMN Errors in the Wild - An SAP Signavio Case Study.
Proceedings of the Business Process Management Workshops, 2023

2022
Advanced Auditing of Run-Time Conflicts in Declarative Process Models using Time Series Clustering.
Proceedings of the WI for Grand Challenges, 2022

Introduction to the Minitrack on Business Rule Management Technologies.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

Measuring Inconsistency in Declarative Process Specifications.
Proceedings of the Business Process Management - 20th International Conference, 2022

A Dashboard Creator Suite for Simultaneous Predictive Process Monitoring.
Proceedings of the Best Dissertation Award, 2022

The Diagramed Model Query Language 2.0: Design, Implementation, and Evaluation.
Proceedings of the Process Querying Methods, 2022

2021
Cognitive Effects of Visualization Techniques for Inconsistency Metrics on Monitoring Data-Intensive Processes.
Inf. Syst. Manag., 2021

Ontology-Based Process Modelling - Will we live to see it? (Extended Abstract).
EMISA Forum, 2021

Measuring Inconsistency over Sequences of Business Rule Cases.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Ontology-Based Process Modelling - Will We Live to See It?
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Applied Predictive Process Monitoring and Hyper Parameter Optimization in Camunda.
Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

DMN 1.0 Verification Capabilities: An Analysis of Current Tool Support.
Proceedings of the Business Process Management Forum, 2021

Interactive and Minimal Repair of Declarative Process Models.
Proceedings of the Business Process Management Forum, 2021

Handling Inconsistency in Business Rule Bases.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

2020
Decision model change patterns for dynamic system evolution.
Knowl. Inf. Syst., 2020

A Taxonomy of Business Rule Organizing Approaches in Regard to Business Process Compliance.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2020

On quasi-inconsistency and its complexity.
Artif. Intell., 2020

A Tool for the Verification of Decision Model and Notation (DMN) Models.
Proceedings of the Research Challenges in Information Science, 2020

Effects of Visualization Techniques on Understanding Inconsistencies in Automated Decision-Making.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Towards Intelligent Chatbots for Customer Care - Practice-Based Requirements for a Research Agenda.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Towards Inconsistency Measurement in Business Rule Bases.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Resolving Inconsistencies in Declarative Process Models based on Culpability Measurement.
Proceedings of the Human Practice. Digital Ecologies. Our Future. 14. Internationale Tagung Wirtschaftsinformatik (WI 2019), 2019

Effects of Quantitative Measures on Understanding Inconsistencies in Business Rules.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Quasi-Inconsistency in Declarative Process Models.
Proceedings of the Business Process Management Forum, 2019

A Tool for Decision Logic Verification in DMN Decision Tables.
Proceedings of the Dissertation Award, 2019

2018
Supporting Business Rule Management with Inconsistency Analysis.
Proceedings of the Dissertation Award, 2018

A Tool to Monitor Consistent Decision-Making in Business Process Execution.
Proceedings of the Dissertation Award, 2018

2017
Detecting Compliance with Business Rules in Ontology-Based Process Modeling.
Proceedings of the Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, 2017

2016
Using Matrix Exponentials for Abstract Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016


  Loading...