Related references
Note: Only part of the references are listed.The advantages of the Matthews correlation coefficient (MCC) over F1 score and accuracy in binary classification evaluation
Davide Chicco et al.
BMC GENOMICS (2020)
On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study
Amine Abbad Andaloussi et al.
INFORMATION SYSTEMS (2020)
Declarative and Hybrid Process Discovery: Recent Advances and Open Challenges
Tijs Slaats
JOURNAL ON DATA SEMANTICS (2020)
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs
Amine Abbad Andaloussi et al.
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING (2019)
Towards an Empirical Evaluation of Imperative and Declarative Process Mining
Christoffer Olling Back et al.
ADVANCES IN CONCEPTUAL MODELING, ER 2018 (2019)
Exploring the Modeling of Declarative Processes Using a Hybrid Approach
Amine Abbad Andaloussi et al.
CONCEPTUAL MODELING, ER 2019 (2019)
Discovering Responsibilities with Dynamic Condition Response Graphs
Viktorija Nekrasaite et al.
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019) (2019)
On the relevance of a business constraint to an event log
Claudio Di Ciccio et al.
INFORMATION SYSTEMS (2018)
Parallel algorithms for the automated discovery of declarative process models
Fabrizio Maria Maggi et al.
INFORMATION SYSTEMS (2018)
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Soren Debois et al.
ACTA INFORMATICA (2018)
Temporal Logics for Learning and Detection of Anomalous Behavior
Zhaodan Kong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Resolving inconsistencies and redundancies in declarative process models
Claudio Di Ciccio et al.
INFORMATION SYSTEMS (2017)
Application fields for the new Object Management Group (OMG) Standards Case Management Model and Notation (CMMN) and Decision Management Notation (DMN) in the perioperative field
M. Wiemuth et al.
INTERNATIONAL JOURNAL OF COMPUTER ASSISTED RADIOLOGY AND SURGERY (2017)
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
Areti Manataki et al.
IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS (2017)
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
Petros Papapanagiotou et al.
AUTOMATED DEDUCTION - CADE 26 (2017)
Mixed-Paradigm Process Modeling with Intertwined State Spaces
Johannes De Smedt et al.
BUSINESS & INFORMATION SYSTEMS ENGINEERING (2016)
A framework for efficiently mining the organisational perspective of business processes
Stefan Schoenig et al.
DECISION SUPPORT SYSTEMS (2016)
Conformance checking based on multi-perspective declarative process models
Andrea Burattin et al.
EXPERT SYSTEMS WITH APPLICATIONS (2016)
Efficient discovery of Target-Branched Declare constraints
Claudio Di Ciccio et al.
INFORMATION SYSTEMS (2016)
The Semantics of Hybrid Process Models
Tijs Slaats et al.
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2016 CONFERENCES (2016)
Fusion Miner: Process discovery for mixed-paradigm models
Johannes De Smedt et al.
DECISION SUPPORT SYSTEMS (2015)
Artifact Lifecycle Discovery
Viara Popova et al.
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2015)
Investigating expressiveness and understandability of hierarchy in declarative business process models
Stefan Zugal et al.
SOFTWARE AND SYSTEMS MODELING (2015)
KIPO: the knowledge-intensive process ontology
Juliana Baptista dos Santos Franca et al.
SOFTWARE AND SYSTEMS MODELING (2015)
Declarative Process Modeling in BPMN
Giuseppe De Giacomo et al.
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 (2015)
Web-Based Modelling and Collaborative Simulation of Declarative Processes
Morten Marquard et al.
BUSINESS PROCESS MANAGEMENT, BPM 2015 (2015)
Modeling and Monitoring Variability in Hospital Treatments: A Scenario Using CMMN
Nico Herzberg et al.
BUSINESS PROCESS MANAGEMENT WORKSHOPS( BPM 2014) (2015)
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
Soren Debois et al.
FM 2015: FORMAL METHODS (2015)
Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches
Claudio Di Ciccio et al.
JOURNAL ON DATA SEMANTICS (2015)
A Case for Declarative Process Modelling: Agile Development of a Grant Application System
Soren Debois et al.
2014 IEEE 18TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS AND DEMONSTRATIONS (EDOCW) (2014)
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs
Thomas Hildebrandt et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2013)
APROMORE: An advanced process model repository
Marcell La Rosa et al.
EXPERT SYSTEMS WITH APPLICATIONS (2011)
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Thomas T. Hildebrandt et al.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2011)
Declarative Specification and Verification of Service Choreographies
Marco Montali et al.
ACM TRANSACTIONS ON THE WEB (2010)
Semantics and analysis of business process models in BPMN
Remco M. Dijkman et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2008)
Conformance checking of processes based on monitoring real behavior
A. Rozinat et al.
INFORMATION SYSTEMS (2008)
Workflow mining: Discovering process models from event logs
W van der Aalst et al.
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (2004)
Share Paper
