- An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner2016 | Matematicko-fyzikální fakulta
- Plánování efektivního přenos dat mezi počítači pro datově náročné aplikace použitím technik splňování podmínek2010 | Matematicko-fyzikální fakulta