- Uvažování o relacích mutex v algoritmu Graphplan z pohledu omezujících podmínek2006 | Matematicko-fyzikální fakulta
- Mutex reasoning in cooperative path finding modeled as propositional satisfiability2013 | 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
- Globální filtrace pro splňování cílů v sítích se vzájemným vylučováním2008 | Matematicko-fyzikální fakulta
- Globální filtrace pro splňování cílů v sítích vzájemného vyloučení2008 | Matematicko-fyzikální fakulta