- Towards Efficient Software Comprehension with Code Analysis2022 | Faculty of Mathematics and Physics
- Using Static Code Analysis to Improve Coarse Task Granularity in Bobox2015 | Faculty of Mathematics and Physics
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Using Static Code Analysis for Improvement of Job Data Availability in Bobox Task Scheduling2015 | Faculty of Mathematics and Physics
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
- Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees2010 | Faculty of Mathematics and Physics
- The New Civil Code for the Czech Republic. Critical sketch.2014 | Faculty of Law
- Some Theoretical and Methodological Starting Points for Research in Art Education2007 | Faculty of Mathematics and Physics, Faculty of Education
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Faculty of Mathematics and Physics
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Faculty of Mathematics and Physics
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Faculty of Mathematics and Physics
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Faculty of Mathematics and Physics
- Applicability of the BLAST Model Checker: An Industrial Case Study2010 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Heuristic Reduction of Parallelism in Component EnvironmentPublication without faculty affiliation
- Anticipatory information sources of serve and returning of elite professional tennis players: A qualitative approach2023 | First Faculty of Medicine, Faculty of Physical Education and Sport