- Popis a ověřování integritních omezení v XML pomocí OCL2012 | Matematicko-fyzikální fakulta
- Verzování, revalidace a integritní omezení XML dokumentů2011 | Matematicko-fyzikální fakulta
- Když gramatiky nestačí: integritní omezení dat a obsahu a jejich ověřování v XML pomocí konceptuálního modelu2013 | Matematicko-fyzikální fakulta
- INCOX - jazyk pro popis integritních omezení v XML +12008 | Matematicko-fyzikální fakulta
- O dolování XML integrtiních omezení2011 | Matematicko-fyzikální fakulta
- Realizace omezení pro násobnosti vztahů mezi entitami v relačních databázích2011 | Matematicko-fyzikální fakulta
- Rekonstrukce OCL z SQL2010 | Matematicko-fyzikální fakulta
- Jazyk OCL a modelem řízený vývoj2010 | Matematicko-fyzikální fakulta