- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Labelled Superposition for PLTL2012 | Matematicko-fyzikální fakulta
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance2012 | Matematicko-fyzikální fakulta
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall2014 | Matematicko-fyzikální fakulta
- Vnitro-institucionální a mezi-institucionální vliv v rozhodování Evropské unie2008 | Fakulta sociálních věd
- Národní, politický a institucionální vliv v rozhodování Evropské unie2008 | Fakulta sociálních věd
- Míra stupně federalismu v Evropské Unii2009 | Fakulta sociálních věd
- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Decision Making Games in the European Union: Evaluation of National and Institutional Influence2002 | Fakulta sociálních věd
- Příspěvek Lisabonské smlouvy ke zmírnění demokratického deficitu v EU2010 | Právnická fakulta, Filozofická fakulta
- Seeing Numbers2011 | Publikace bez příslušnosti k fakultě
- Vidění čísel2009 | Publikace bez příslušnosti k fakultě
- Stanovení rizika žilního tromboembolizmu a možnosti prevence u psychiatrických nemocných2008 | Lékařská fakulta v Hradci Králové
- Assessment of risk of venous thromboembolism and its possible prevention in psychiatric patients2008 | Lékařská fakulta v Hradci Králové
- Stanovení rizika žilního tromboembolizmu a možnosti prevence u psychiatrických nemocných2008 | 1. lékařská fakulta
- Finding Minimum Satisfying Assignments of Boolean FormulasPublikace bez příslušnosti k fakultě
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Profesionální bronchiální astma a alergická rinitida v ordinaci praktického lékaře2010 | Lékařská fakulta v Hradci Králové
- National Parliaments as New Actors in the Decision-making Process at the European Level2011 | Matematicko-fyzikální fakulta, Fakulta sociálních věd
- Snow avalanche run-out simulations of various events in Carpathian mountain2010 | Přírodovědecká fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- Stratification model based on early postprostatectomy prostate-specific antigen kinetics may help to reduce the risk of overtreatment in candidates for adjuvant radiotherapy2017 | 2. lékařská fakulta