- 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
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální 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
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Matematicko-fyzikální fakulta, 1. lékařská fakulta
- Model-Checking on Ordered Structures2020 | Matematicko-fyzikální fakulta
- Samolepky pro morfologické anotace Check2010 | 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
- 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.0 +12006 | Matematicko-fyzikální fakulta
- Automatické ověřování specifikace chování komponenty: praktické poznatky2005 | Matematicko-fyzikální fakulta
- Hodnocení kondiční připravenosti ve sportovních hrách ? možnosti využití v řízení tréninku.2008 | Fakulta tělesné výchovy a sportu
- Korektor – systém pro kontextovou kontrolu pravopisu a doplňování diakritiky2012 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Povinné vstupní lékařské prohlídky externistů na vysokých školách?2013 | Právnická fakulta