- PDDL EditorPublication without faculty affiliation
- Compiling and Executing PDDL in Picat2016 | Faculty of Mathematics and Physics
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Faculty of Mathematics and Physics
- A Novel Framework for Modeling Planning Domains with State Variables2012 | Faculty of Mathematics and Physics
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- Using Finite-State Automata to Model and Solve Planning Problems2010 | Faculty of Mathematics and Physics
- Abused and neglected child in general practitioner's surgery for children and adolescents: recommendations for practicePublication without faculty affiliation
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics
- On Modeling Planning Problems: Experience From The Petrobras Challenge +12013 | Faculty of Mathematics and Physics
- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- On Modelling Multi-Agent Path Finding as a Classical Planning Problem2020 | Faculty of Mathematics and Physics
- Guiding Planning Engines by Transition-Based Domain Control Knowledge2016 | Faculty of Mathematics and Physics
- Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms2018 | Faculty of Mathematics and Physics
- Planning as tabled logic programming2015 | Faculty of Mathematics and Physics
- On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations2017 | Faculty of Mathematics and Physics