- The Prologue of the Gospel of John (Joh 1:1–18). Notes on the interpretion and translation2010 | Protestant Theological Faculty
- Optimization of prolog programs by fully automated transformation procedure2008 | Faculty of Mathematics and Physics
- Prolog2000 | Faculty of Arts
- Prologue2004 | Faculty of Arts
- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation +12007 | Faculty of Mathematics and Physics
- Prologue: Wholeness as an Ethical Principle of Cognition2013 | Publication without faculty affiliation
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
- Dostojevskij in Divadlo v Dlouhé2002 | Faculty of Arts
- On-line Guide to Prolog Programming1998 | Faculty of Mathematics and Physics
- Anatomy of a Prolog Compiler +1Publication without faculty affiliation
- Execution 1621 : Prologue - The Great TheatrumPublication without faculty affiliation
- ver. Interactive Prolog GuidePublication without faculty affiliation
- Implementace překladače PROLOGu do kódu Warrenova abstraktního počítačePublication without faculty affiliation
- Josef Cibulka and National Gallery. Prologue and epilogue of one certain chapter2020 | Catholic Theological Faculty
- Parser Combinators using Higher Order Programming in PrologPublication without faculty affiliation
- A Narrative about a Young Man and the Magician Mesites in the Slavonic Medieval Tradition2022 | Publication without faculty affiliation
- A Narrative About a Young Man and the Magician: Slavonic Versions of a Byzantine Story2022 | Publication without faculty affiliation
- Movement culture of girls - Exercisework with girls2009 | Faculty of Physical Education and Sport
- Texts on Psalms2021 | Faculty of Arts
- Introduction to the issues of the Doctrina Iacobi nuper baptizati as a historical source II : The false prophet and the forced baptism of the Jews under Heraclius2020 | Faculty of Arts
- Medial Perceptions of the Personality: Dr. Leopold Fritz2011 | Faculty of Arts
- Pathological signs and symptoms2014 | Faculty of Physical Education and Sport, Faculty of Medicine in Hradec Králové, First Faculty of Medicine
- Is coagulation screening before adenoidectomy and tonsillectomy really necessary?2011 | Faculty of Medicine in Hradec Králové
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Faculty of Mathematics and Physics
- Two physicians from Bautzen and a farce by Klicpera (On the occasion of the 150th anniversary of the Sorbian theatre)2012 | Third Faculty of Medicine
- Compiling and Executing PDDL in Picat2016 | Faculty of Mathematics and Physics
- Is there any "literary trash" for Pierre Bourdieu?2013 | Faculty of Arts
- Combinatorics in Logic Programming: Implementations and Applications2006 | Faculty of Mathematics and Physics