- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- DeSpec: Modeling the Windows Driver Environment2009 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Can Leukocyte Telomere Length Predict Survival Time in Heart Transplant Recipients over a Minimal Follow-Up of 20 years?2016 | Faculty of Medicine in Pilsen
- Telomere length in peripheral blood lymphocytes related to genetic variation in telomerase, prognosis and clinicopathological features in breast cancer patients2020 | Faculty of Medicine in Pilsen, First Faculty of Medicine, Third Faculty of Medicine
- Genetic determinants of telomere length and risk of pancreatic cancer: a PANDoRA study2019 | Faculty of Medicine in Pilsen, First Faculty of Medicine
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Faculty of Mathematics and Physics
- Logic-based modeling of information transfer in cyber-physical multi-agent systems2016 | Faculty of Mathematics and Physics
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Faculty of Mathematics and Physics
- Post-Synthesis Functionalization Enables Fine-Tuning the Molecular-Sieving Properties of Zeolites for Light Olefin/Paraffin Separations2021 | Faculty of Science
- Is Academ ic Tracking Related to Gains in Learning Competence? Combining Propensity Score Matching and Analysis of Differential Item Functioning2019 | Faculty of Education