- Using a grammar checker to validate compliance of processes with workflow models2017 | Faculty of Mathematics and Physics
- Secure role-based workflow models2004 | Faculty of Mathematics and Physics
- Information Systems Development with the help of Petri Nets2020 | Faculty of Mathematics and Physics
- Information Systems Development via Model Transformations2018 | Faculty of Mathematics and Physics
- Simplifying Verification of Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Using Attribute Grammars to Model Nested Workflows with Extra Constraints2016 | Faculty of Mathematics and Physics
