- Stress testing: conservative calibration and regular verification2010 | Publication without faculty affiliation
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- The importance of histological verification of tumour's metastasis2012 | Faculty of Medicine in Hradec Králové
- On-site verification - on some selected problems2019 | Faculty of Law
- Pattern-Based Verification for Multithreaded Programs2014 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- On Similarities Between Workflow Verification and Grammar Checking2016 | Faculty of Mathematics and Physics
- Simplifying Verification of Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Enhanced Property Specification and Verification in BLAST2009 | Faculty of Mathematics and Physics
- Software for the automated verification of the scanned map metadataPublication without faculty affiliation
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Addressing Unbounded Parallelism in Verification of Software Components2006 | Faculty of Mathematics and Physics
- To copy identity card for verification of signatures lawyer2012 | Faculty of Law
- Verification of machine learning applicationPublication without faculty affiliation
- Verification of the functionality of the diagnostic of a system with many attenuation elements2016 | Third Faculty of Medicine
- ATP Cross-Verification of the Mizar MPTP Challenge Problems2007 | Faculty of Mathematics and Physics
- Behavior Protocol Verification: Fighting State Explosion +12005 | Faculty of Mathematics and Physics
- VisPlan: Interactive Visualisation and Verification of Plans2011 | Faculty of Mathematics and Physics
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Automated Verification of Constraints in Nested Workflows2012 | Faculty of Mathematics and Physics
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- Software Component Verification: On Translating Behavior Protocols to PromelaPublication without faculty affiliation
- On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task2022 | Faculty of Mathematics and Physics
- On verification of nested workflows with extra constraints: From theory to practice2014 | Faculty of Mathematics and Physics
- Histological verification of pulmonary tuberculosis (2)Publication without faculty affiliation
- Histological verification of pulmonary tuberculosis (1)Publication without faculty affiliation
- Variability between batches of reagents and calibrators and its consequences for measurement verification2016 | Publication without faculty affiliation
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics