- PHP Visual Studio IntelliSensePublication without faculty affiliation
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
- Framework for Static Analysis of PHP Applications2015 | Faculty of Mathematics and Physics
- Framework for Static Analysis of PHP Applications (Artifact)Publication without faculty affiliation
- WeVerca: Web Applications Verification for PHP2014 | Faculty of Mathematics and Physics
- UPComp - A PHP Component for Recommendation Based on User Behaviour2011 | Faculty of Mathematics and Physics
- On Security Analysis of PHP Web Applications2012 | Faculty of Mathematics and Physics
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Faculty of Mathematics and Physics
- Influence of probiotics on cholesterol level in serum of Prague hypercholinestromic ratPublication without faculty affiliation
- Disturbances of calcium-phosphate metabolism2003 | First Faculty of Medicine
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Faculty of Mathematics and Physics
- Phalanger ImprovementsPublication without faculty affiliation
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Faculty of Mathematics and Physics
- Data-flow Analysis of Programs with Associative Arrays2014 | Faculty of Mathematics and Physics
- The PresocraticsPublication without faculty affiliation
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Faculty of Mathematics and Physics
- Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees2010 | Faculty of Mathematics and Physics
- A proof complexity generator2009 | Faculty of Mathematics and Physics
- GRAM-LINE. Online Grammar Workbook for Advanced Learners of German as a Foreign Language 1.0Publication without faculty affiliation
- Parathyroid gland diaseasis2001 | First Faculty of Medicine
- SIGNIFICANT AWARD - J. ŠťovíčekPublication without faculty affiliation
- User interface for insertion and editing of knowledge units into knowledge base for subject area of knowledge organizationPublication without faculty affiliation
- Information systems in education, our experiences +12007 | Faculty of Medicine in Hradec Králové
- Information systems in education, our experiences2007 | First Faculty of Medicine
- Software for creation and management of database of weak signals in the area of environmentPublication without faculty affiliation
- Phalanger IntelliSense: Syntactic and semantic prediction2009 | Faculty of Mathematics and Physics
- Surgical contribution to the management of primary hyperparathyroidism2004 | First Faculty of Medicine
- Primary hyperparathyroidismPublication without faculty affiliation
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Faculty of Mathematics and Physics
