- Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station2016 | Faculty of Mathematics and Physics
- Dynamic Global Constraints in Constraint Logic ProgrammingPublication without faculty affiliation
- Compiling and Executing PDDL in Picat2016 | Faculty of Mathematics and Physics