- Formalization of the Methods for Conformity Assessment among the Information Systems in Medicine and the Integration Patterns2014 | Faculty of Physical Education and Sport
- Domain-Based Local Pair Natural Orbital Version of Mukherjee's State-Specific Coupled Cluster Method2018 | Faculty of Science, Central Library of Charles University
- Decision-making in the EU Council : formal models and empirical studies2007 | Faculty of Social Sciences
- The teacher - Formalist2001 | Faculty of Education
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Faculty of Mathematics and Physics
- How can formalization of SOA help in finding solutions for IT systems2013 | Faculty of Mathematics and Physics
- Normalized Social Distance: Quantitative Analysis of Religion-Centered Gaming Pages on Social Networks2018 | Faculty of Arts