- Information Systems Development via Model Transformations2018 | Matematicko-fyzikální fakulta
- 3-D velocity models transformation from general to natural splines2019 | Matematicko-fyzikální fakulta
- Using OCL in Model Validation According to Stereotypes2012 | Matematicko-fyzikální fakulta
- A unified representation and transformation of multi-model data using category theory2022 | Matematicko-fyzikální fakulta
- Advantages and Problems of a Liberal Democratic Media Model. Media and Politics in the Czech Republic2020 | Fakulta sociálních věd
- Abstract Model for Multi-Model Data2021 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Information Systems Development with the help of Petri Nets2020 | Matematicko-fyzikální fakulta
- Využití metamodelování při návrhu a implementaci komponentových systémů: Případová studie SOFA2011 | Matematicko-fyzikální fakulta
- Towards Model-driven Fuzzification of Adaptive Systems Specification2022 | Matematicko-fyzikální fakulta
- Transformation of Relationships from UML/OCL to SQL2011 | Matematicko-fyzikální fakulta
- Transformace BPM modelu do aktivity diagramů UML pomocí XSLT2009 | Matematicko-fyzikální fakulta
- Sdílení caches v modelech výkonnosti Q-ImPrESS2009 | Matematicko-fyzikální fakulta
- Systém UK-Malta v soutěži CoNLL-SIGMORPHON 2019 v morfologické analýze a lematizaci v kontextu: Ohýbání slov postavené na operacích2019 | Matematicko-fyzikální fakulta
- Mapping Quality of Life (EQ-5D) from DAPsA, Clinical DAPsA and HAQ in Psoriatic Arthritis2018 | Ústřední knihovna, 1. lékařská fakulta