- Model Checking and Reduction of Behavior Protocols2006 | Faculty of Mathematics and Physics
- UnitCheck: Unit Testing and Model Checking Combined2009 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical ArchitecturePublication without faculty affiliation
- Model Checking of Component Behavior Specification: A Real Life Experience2006 | 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 Architecture2007 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking2005 | Faculty of Mathematics and Physics
- Applicability of the BLAST Model Checker: An Industrial Case Study2010 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- On Similarities Between Workflow Verification and Grammar Checking2016 | Faculty of Mathematics and Physics
- Photogrammetric approach to automated checking of DTMs2005 | Faculty of Science
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Faculty of Mathematics and Physics, First Faculty of Medicine
- Model-Checking on Ordered Structures2020 | Faculty of Mathematics and Physics
- Morphological Stickers for Annotation of Check2010 | Faculty of Mathematics and Physics
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- Annotation Quality Checking and Its Implications for Design of Treebank (in Building the Prague Czech-English Dependency Treebank)2009 | 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
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | 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
- Check- and Red List of Bryophytes in the Czech Republic (2003)2003 | Faculty of Science
- Notes on extended equation solvability and identity checking for groups2019 | Faculty of Mathematics and Physics
