Picture for Sergio Tessaris

Sergio Tessaris

Relational Algebra and Calculus with SQL Null Values

Add code
Feb 22, 2022
Viaarxiv icon

Process discovery on deviant traces and other stranger things

Add code
Sep 30, 2021
Figure 1 for Process discovery on deviant traces and other stranger things
Figure 2 for Process discovery on deviant traces and other stranger things
Figure 3 for Process discovery on deviant traces and other stranger things
Figure 4 for Process discovery on deviant traces and other stranger things
Viaarxiv icon

Verification of data-aware workflows via reachability: formalisation and experiments

Add code
Sep 27, 2019
Figure 1 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 2 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 3 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 4 for Verification of data-aware workflows via reachability: formalisation and experiments
Viaarxiv icon

Enhancing workflow-nets with data for trace completion

Add code
Jun 01, 2017
Figure 1 for Enhancing workflow-nets with data for trace completion
Figure 2 for Enhancing workflow-nets with data for trace completion
Viaarxiv icon

Abducing Compliance of Incomplete Event Logs

Add code
Jun 17, 2016
Figure 1 for Abducing Compliance of Incomplete Event Logs
Figure 2 for Abducing Compliance of Incomplete Event Logs
Figure 3 for Abducing Compliance of Incomplete Event Logs
Figure 4 for Abducing Compliance of Incomplete Event Logs
Viaarxiv icon