- QKDB - front-end ke knihovne kdbPublikace bez příslušnosti k fakultě
- Modelování a verifikace relačně-orientovaných interakcí mezi webovými službami: kompatibilita BPEL a relačních protokolůPublikace bez příslušnosti k fakultě
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
