Picture for Claudio Di Ciccio

Claudio Di Ciccio

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach

Add code
May 09, 2023
Viaarxiv icon

Computing unsatisfiable cores for LTLf specifications

Add code
Mar 09, 2022
Figure 1 for Computing unsatisfiable cores for LTLf specifications
Figure 2 for Computing unsatisfiable cores for LTLf specifications
Figure 3 for Computing unsatisfiable cores for LTLf specifications
Figure 4 for Computing unsatisfiable cores for LTLf specifications
Viaarxiv icon

Conformance Checking of Mixed-paradigm Process Models

Add code
Nov 23, 2020
Figure 1 for Conformance Checking of Mixed-paradigm Process Models
Figure 2 for Conformance Checking of Mixed-paradigm Process Models
Figure 3 for Conformance Checking of Mixed-paradigm Process Models
Figure 4 for Conformance Checking of Mixed-paradigm Process Models
Viaarxiv icon

Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining

Add code
Sep 30, 2020
Figure 1 for Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining
Figure 2 for Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining
Figure 3 for Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining
Figure 4 for Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining
Viaarxiv icon

Comprehensive Process Drift Detection with Visual Analytics

Add code
Jul 15, 2019
Figure 1 for Comprehensive Process Drift Detection with Visual Analytics
Figure 2 for Comprehensive Process Drift Detection with Visual Analytics
Figure 3 for Comprehensive Process Drift Detection with Visual Analytics
Figure 4 for Comprehensive Process Drift Detection with Visual Analytics
Viaarxiv icon

QRFA: A Data-Driven Model of Information-Seeking Dialogues

Add code
Dec 27, 2018
Figure 1 for QRFA: A Data-Driven Model of Information-Seeking Dialogues
Figure 2 for QRFA: A Data-Driven Model of Information-Seeking Dialogues
Figure 3 for QRFA: A Data-Driven Model of Information-Seeking Dialogues
Figure 4 for QRFA: A Data-Driven Model of Information-Seeking Dialogues
Viaarxiv icon