- Morphological Stickers for Annotation of Check2010 | Faculty of Mathematics and Physics
- MFT S3 CHECK TESTING METHOD USING FOR EVALUATING THE IMPACT OF SELECTED RECONDITIONING PROCEDURES FOR CURATIVE SOCCER PLAYERS AFTER ACL RECONSTRUCTION2011 | Faculty of Physical Education and Sport
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Faculty of Mathematics and Physics, First Faculty of Medicine
- An ounce of prevention is worth a pound of cure. - Preventive check - ups.2003 | First Faculty of Medicine
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking2005 | Faculty of Mathematics and Physics
- On Similarities Between Workflow Verification and Grammar Checking2016 | Faculty of Mathematics and Physics
- Development of the complex reaction of lower limbs at school-aged boys2014 | Faculty of Physical Education and Sport, First Faculty of Medicine
- Model Checking and Reduction of Behavior Protocols2006 | Faculty of Mathematics and Physics
- Mechanisms of resistance to melanoma immunotherapy2023 | First Faculty of Medicine
- UnitCheck: Unit Testing and Model Checking Combined2009 | Faculty of Mathematics and Physics
- Photogrammetric approach to automated checking of DTMs2005 | Faculty of Science
- Model-Checking on Ordered Structures2020 | Faculty of Mathematics and Physics
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- Static type checking of XSLT programs2005 | Faculty of Mathematics and Physics
- Behavior Protocols: Efficient Checking For Composition Errors2005 | Faculty of Mathematics and Physics
- Eclipse plugin for checking behavior of composed web servicesPublication without faculty affiliation
- Checking of huge questionaries from the logical structure point of view2008 | Faculty of Mathematics and Physics
- Specification and Generation of Environment for Model Checking of Software Components2007 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical ArchitecturePublication without faculty affiliation
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
- Arabic Word Generation and Modelling for Spell Checking2012 | Faculty of Mathematics and Physics
- Check-list and Red List of Bryophytes of the Czech Republic2006 | Faculty of Science
- Model Checking of Component Behavior Specification: A Real Life Experience2006 | Faculty of Mathematics and Physics
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Faculty of Science
- MULTI - CHOICE REACTION SPEED OF THE LOWER LIMBS OF OLDER SCHOOL-AGED BOYS2012 | Faculty of Physical Education and Sport
- Notes on extended equation solvability and identity checking for groups2019 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Post-annotation Checking of Prague Dependency Treebank 2.0 Data2006 | Faculty of Mathematics and Physics