- Evaluace účinnosti gymnastických programů2012 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí2007 | Matematicko-fyzikální fakulta
- ECO - Computer Program2001 | Přírodovědecká fakulta
- Binary Speed Up for Logic Programs2000 | Matematicko-fyzikální fakulta
- Optimal interpolation with spatial rational Pythagorean hodograph curves2023 | Matematicko-fyzikální fakulta
- Přístup krz hrubě vypuklé zkloubení pro číslicové řešení nevypuklých úloh variačních.2010 | Matematicko-fyzikální fakulta
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Matematicko-fyzikální fakulta
- Monitorování jodového zásobení novorozenecké populace v Česku: alarmující výsledky za rok 20202021 | 3. lékařská fakulta