- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Labelled Superposition for PLTL2012 | Faculty of Mathematics and Physics
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance2012 | Faculty of Mathematics and Physics
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall2014 | Faculty of Mathematics and Physics
- Inter-institutional and Intra-institutional influence in European Union decision making2008 | Faculty of Social Sciences
- National, political and institutional influence in European Union decision making2008 | Faculty of Social Sciences
- How much of federalism in the European Union?2009 | Faculty of Social Sciences
- On Sequent Calculi for Intuitionistic Propositional Logic2006 | Faculty of Arts
- Decision Making Games in the European Union: Evaluation of National and Institutional Influence2002 | Faculty of Social Sciences
- Lisbon treaty as a contribution for attenuation of democratic deficit in the EU2010 | Faculty of Law, Faculty of Arts
- Seeing Numbers +12011 | Publication without faculty affiliation
- Assessment of risk of venous thromboembolism and its possible prevention in psychiatric patients +12008 | Faculty of Medicine in Hradec Králové
- Assessment of risk of venous thromboembolism and its possible prevention in psychiatric patients2008 | First Faculty of Medicine
- Finding Minimum Satisfying Assignments of Boolean FormulasPublication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Occupational asthma and allergic rhinitis in general practice2010 | Faculty of Medicine in Hradec Králové
- National Parliaments as New Actors in the Decision-making Process at the European Level2011 | Faculty of Mathematics and Physics, Faculty of Social Sciences
- Snow avalanche run-out simulations of various events in Carpathian mountain2010 | Faculty of Science
- Function Summarization Modulo Theories2018 | Faculty of Mathematics and Physics
- Stratification model based on early postprostatectomy prostate-specific antigen kinetics may help to reduce the risk of overtreatment in candidates for adjuvant radiotherapy2017 | Second Faculty of Medicine