Search for persons
X
?
Advanced Information Systems Engineering; Lecture Notes in Computer Science ,
2
Object-Centric Conformance Alignments with Synchronization:
, In:
?
Business Process Management Workshops; Lecture Notes in Business Information Processing ,
3
Equivalence of Data Petri Nets with Arithmetic:
, In:
?
Lecture Notes in Computer Science; Business Process Management ,
4
Approximating Multi-perspective Trace Alignment Using Trace..:
, In:
?
2023 5th International Conference on Process Mining (ICPM) ,
6
Repairing Soundness Properties in Data-Aware Processes:
, In:
?
Advanced Information Systems Engineering; Lecture Notes in Computer Science ,
9
Soundness of Data-Aware Processes with Arithmetic Condition:
, In:
?
Lecture Notes in Computer Science; Business Process Management ,
10
Conformance Checking with Uncertainty via SMT:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
11
CTL$$^*$$ Model Checking for Data-Aware Dynamic Systems wit..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
12
Runtime Complexity Analysis of Logically Constrained Rewrit..:
, In:
?
Lecture Notes in Computer Science; Business Process Management ,
13