Santoso, Ario
[Author]
;
Calvanese, Diego
[Degree supervisor];
Montali, Marco
[Degree supervisor];
Baader, Franz
[Degree supervisor];
Baader, Franz
[Other];
Lespérance, Yves
[Other];
Sardina, Sebastian
[Other]
Verification of Data-aware Business Processes in the Presence of Ontologies