| DP | 
Bužková Lucie: Implementace a rozšíření algoritmu na virtuální hranovou konzistenci pro problém váženého programování s omezujícími podmínkami (PDF) | Werner Tomáš | 
2015 | 
OI | 
Počítačové vidění a digitální obraz | 
| DP | 
Dlask Tomáš: Minimalizace konvexních po částech afinních funkcí pomocí lokálních konzistencí (PDF) | Werner Tomáš | 
2018 | 
OI | 
Umělá inteligence | 
| BP | 
Stránský Martin: Optimalizace řízení SBR čističky odpadních vod  | Werner Tomáš | 
2012 | 
OI | 
Informatika a počítačové vědy (bakalářský) | 
 | 
Tomáš Dlask: Sestup po blocích souřadnic a lokální konzistence v lineárním programování (PDF) | Werner Tomáš | 
2022 | 
 | 
Umělá inteligence a biokybernetika |