- Parsování Universal Dependency korpusů pomocí neuronových sítí a prohledávacího orákula2015 | Matematicko-fyzikální fakulta
- Prohledávací strategie pro rozvrhovací problémy s volitelnými aktivitami2008 | Matematicko-fyzikální fakulta
- Poznámka o variabilitě intervalových dat2010 | Matematicko-fyzikální fakulta
- Preemptivní rozvrhov ání s precedencemi a alternativními zdroji2009 | Matematicko-fyzikální fakulta
- Plánovací heuristiky pro efektivní přenos dat na gridech2009 | Matematicko-fyzikální fakulta
- Rozšiření full-textového indexeru o podporu vyhledávaní matematických výrazu2008 | Matematicko-fyzikální fakulta