- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Výuka formálních metod: Modely chování a analýza kódu2009 | Matematicko-fyzikální fakulta
- DeSpec: Modelování v prostředí Windows ovladačů2009 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Can Leukocyte Telomere Length Predict Survival Time in Heart Transplant Recipients over a Minimal Follow-Up of 20 years?2016 | Lékařská fakulta v Plzni
- Telomere length in peripheral blood lymphocytes related to genetic variation in telomerase, prognosis and clinicopathological features in breast cancer patients2020 | Lékařská fakulta v Plzni, 1. lékařská fakulta, 3. lékařská fakulta
- Genetic determinants of telomere length and risk of pancreatic cancer: a PANDoRA study2019 | Lékařská fakulta v Plzni, 1. lékařská fakulta
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Matematicko-fyzikální fakulta
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Matematicko-fyzikální fakulta
- Logic-based modeling of information transfer in cyber-physical multi-agent systems2016 | Matematicko-fyzikální fakulta
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Matematicko-fyzikální fakulta
- Post-Synthesis Functionalization Enables Fine-Tuning the Molecular-Sieving Properties of Zeolites for Light Olefin/Paraffin Separations2021 | Přírodovědecká fakulta
- Is Academ ic Tracking Related to Gains in Learning Competence? Combining Propensity Score Matching and Analysis of Differential Item Functioning2019 | Pedagogická fakulta
