- On Complexity of Verifying Nested Workflows with Extra Constraints +12011 | Matematicko-fyzikální fakulta
- Verifying Nested Workflows with Extra Constraints2013 | Matematicko-fyzikální fakulta
- Simplifying Verification of Nested Workflows with Extra Constraints2013 | Matematicko-fyzikální fakulta
- Using Attribute Grammars to Model Nested Workflows with Extra Constraints2016 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- On verification of nested workflows with extra constraints: From theory to practice2014 | Matematicko-fyzikální fakulta
