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