- Uvažování o relacích mutex v algoritmu Graphplan z pohledu omezujících podmínek2006 | Matematicko-fyzikální fakulta
- Udržování hranové konzistence v relacích vzájemného vyloučení v plánovacích grafech během prohledávání2007 | Matematicko-fyzikální fakulta
- Projektivní globální konzistence: aplikace v plánování pro umělou inteligenci2007 | Matematicko-fyzikální fakulta
