- FETI algoritmy pro řešení kontaktních úloh: škálovatelnost,velké deformace, 3D Coulombův zákon2005 | Matematicko-fyzikální fakulta
- Infrastruktura Sémantického Webu2007 | Matematicko-fyzikální fakulta
- Návrh systému pokročilých metadatových služeb na bázi AMGA pro experment Belle II2010 | Matematicko-fyzikální fakulta
- CloudASR - v1.0Publikace bez příslušnosti k fakultě
- Optimalizace třídicích algoritmů pro systémy proudového zpracování dat2011 | Matematicko-fyzikální fakulta
- CloudASR: Platforma & Služba2015 | Matematicko-fyzikální fakulta
- Paralelní dynamické vkládání do M-stromu2009 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- NoSQL databáze - současný stav vývoje2012 | Matematicko-fyzikální fakulta
- Řetězení stavového prostoru: nová metoda distribuované verifikace +12007 | Matematicko-fyzikální fakulta
- MTMonkey: škálovatelná infrastruktura pro webovou službu poskytující strojový překlad2013 | Matematicko-fyzikální fakulta
- Problém použitelnosti v servisně orietované architektuře +22007 | Matematicko-fyzikální fakulta
- Databáze léčiv v dětské populaci CzechPharmPedPublikace bez příslušnosti k fakultě