- Samolepky pro morfologické anotace Check2010 | Matematicko-fyzikální fakulta
- Využití přístroje MFT S3 CHECK pro hodnocení účinku vybraných rekondičně rehabilitačních postupů u hráčů fotbalu po plastice LCA2011 | Fakulta tělesné výchovy a sportu
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Matematicko-fyzikální fakulta, 1. lékařská fakulta
- An ounce of prevention is worth a pound of cure. - Preventive check - ups.2003 | 1. lékařská fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta
- On Similarities Between Workflow Verification and Grammar Checking2016 | Matematicko-fyzikální fakulta
- Vývoj komplexní reakční doby dolních končetin u chlapců školního věku2014 | Fakulta tělesné výchovy a sportu, 1. lékařská fakulta
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Mechanismy rezistence na imunoterapii melanomu2023 | 1. lékařská fakulta
- UnitCheck: Kombinace Technik Unit Testing a Model Checking2009 | Matematicko-fyzikální fakulta
- Fotogrammetrický přístup k automatické kontrole digitálních modelů terénu2005 | Přírodovědecká fakulta
- Model-Checking on Ordered Structures2020 | Matematicko-fyzikální fakulta
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Statická typová kontrola XSLT programů2005 | Matematicko-fyzikální fakulta
- Protokoly chování: Efektivní kontrola chyb skládání2005 | Matematicko-fyzikální fakulta
- Plugin pro prostředí Eclipse integrující nástroj pro ověřování korektnosti chování složených webových služebPublikace bez příslušnosti k fakultě
- Kontrola rozsáhlých dotazníků z hlediska logických vazeb2008 | Matematicko-fyzikální fakulta
- Specifikace a generování prostředí pro model checking softwarových komponent2007 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architekturPublikace bez příslušnosti k fakultě
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | Matematicko-fyzikální fakulta
- Generování slov v arabštině a modelování kontroly pravopisu2012 | Matematicko-fyzikální fakulta
- Seznam a červený seznam mechorostů České republiky (2005)2006 | Přírodovědecká fakulta
- Model checking specifikací chování komponent: praktická zkušenost2006 | Matematicko-fyzikální fakulta
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Přírodovědecká fakulta
- DISJUNKTIVNÍ REAKČNÍ RYCHLOST DOLNÍCH KONČETIN U CHLAPCŮ STARŠÍHO ŠKOLNÍHO VĚKU2012 | Fakulta tělesné výchovy a sportu
- Notes on extended equation solvability and identity checking for groups2019 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Poanotační kontroly dat Pražského závislostního korpusu verze 2.02006 | Matematicko-fyzikální fakulta