- Validation of hierarchical plans via parsing of attribute grammars2018 | Matematicko-fyzikální fakulta
- On verification of workflow and planning domain models using attribute grammars2017 | Matematicko-fyzikální fakulta
- Using Attribute Grammars to Model Nested Workflows with Extra Constraints2016 | Matematicko-fyzikální fakulta
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Matematicko-fyzikální fakulta
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Matematicko-fyzikální fakulta
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Matematicko-fyzikální fakulta
- Using a grammar checker to validate compliance of processes with workflow models2017 | Matematicko-fyzikální fakulta
- On Similarities Between Workflow Verification and Grammar Checking2016 | Matematicko-fyzikální fakulta