- DAMIT: databáze modelů planetek2010 | Matematicko-fyzikální fakulta
- Jak dále s e-Health v České republice2014 | Publikace bez příslušnosti k fakultě
- Databázový přístup k XML datům2000 | Matematicko-fyzikální fakulta
- MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením2008 | Matematicko-fyzikální fakulta