- Using a grammar checker to validate compliance of processes with workflow models2017 | Matematicko-fyzikální fakulta
- Secure role-based workflow models2004 | Matematicko-fyzikální fakulta
- Information Systems Development with the help of Petri Nets2020 | Matematicko-fyzikální fakulta
- Information Systems Development via Model Transformations2018 | 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