- Improving Domain-Independent Planning via Critical Section Macro-Operators2019 | Faculty of Mathematics and Physics
- Generation of macro-operators via investigation of action dependencies in plans2010 | Faculty of Mathematics and Physics
- Determining representativeness of training plans: A case of macro-operators2018 | Faculty of Mathematics and Physics
- Generation of Macro-operators via Investigation of Actions Dependencies in Plans2008 | Faculty of Mathematics and Physics
- On the Evolution of Planner-Specific Macro Sets2017 | Faculty of Mathematics and Physics