research
∙
02/22/2022
Relational Algebra and Calculus with SQL Null Values
The logic of nulls in databases has been subject of investigation since ...
share
research
∙
09/30/2021
Process discovery on deviant traces and other stranger things
As the need to understand and formalise business processes into a model ...
research
∙
09/27/2019
Verification of data-aware workflows via reachability: formalisation and experiments
The growing adoption of IT-systems for the modelling and execution of (b...
research
∙
06/01/2017
Enhancing workflow-nets with data for trace completion
The growing adoption of IT-systems for modeling and executing (business)...
research
∙
06/17/2016
