- Information Systems Development via Model Transformations2018 | Faculty of Mathematics and Physics
- 3-D velocity models transformation from general to natural splines2019 | Faculty of Mathematics and Physics
- Using OCL in Model Validation According to Stereotypes2012 | Faculty of Mathematics and Physics
- A unified representation and transformation of multi-model data using category theory2022 | Faculty of Mathematics and Physics
- Advantages and Problems of a Liberal Democratic Media Model. Media and Politics in the Czech Republic2020 | Faculty of Social Sciences
- Abstract Model for Multi-Model Data2021 | Faculty of Mathematics and Physics
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Information Systems Development with the help of Petri Nets2020 | Faculty of Mathematics and Physics
- Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study2011 | Faculty of Mathematics and Physics
- Towards Model-driven Fuzzification of Adaptive Systems Specification2022 | Faculty of Mathematics and Physics
- Transformation of Relationships from UML/OCL to SQL2011 | Faculty of Mathematics and Physics
- The BPM to UML Activity Diagram Transformation Using XSLT2009 | Faculty of Mathematics and Physics
- Cache Sharing in Q-ImPrESS Performance Models2009 | Faculty of Mathematics and Physics
- CUNI-Malta system at CoNLL-SIGMORPHON 2019 Shared Task on Morphological Analysis and Lemmatization in context: Operation-based word formation2019 | Faculty of Mathematics and Physics
- Mapping Quality of Life (EQ-5D) from DAPsA, Clinical DAPsA and HAQ in Psoriatic Arthritis2018 | Central Library of Charles University, First Faculty of Medicine