- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Measuring recreation benefits of forest quality change with contingent behavior model +12016 | Publication without faculty affiliation
- Measuring recreation benefits of forest quality change with contingent behavior model2016 | Faculty of Humanities
- The Economic Valuation of the Change in Forest Quality in the Jizerske hory Mountains: a Contingent Behavior Model2008 | Publication without faculty affiliation
- Information conduction and convection in noiseless Vicsek flocks2022 | Faculty of Mathematics and Physics
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Theory of Planned Behavior : Recent Developments and Applications on Pro-environmental BehaviorPublication without faculty affiliation
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Economic Valuation of Forest Quality Change in the Jizerske hory Mountains: the Evidence from Contingent Behavior StudyPublication without faculty affiliation
- Assessment of the Recreation Value of Public Programs in the Jizerske Hory Mountains Using a Contingent Behaviour ModelPublication without faculty affiliation
- female sexual functions and dysfunctions2016 | First Faculty of Medicine
- Addictive behavior on the Internet and its treatment2009 | First Faculty of Medicine
- Behavioral preclinical models of anxiety2004 | Third Faculty of Medicine
- Properties of rheological models with distributed parameters2010 | Faculty of Pharmacy in Hradec Králové
- Vortioxetine In Treatment Of Depressive Disorder And Potential Improvement Of Cognitive Function2014 | First Faculty of Medicine, Faculty of Medicine in Hradec Králové
- Impact of prenatal methamphetamine exposure on the sensitivity to the same drug in adult male rats2011 | Third Faculty of Medicine
- The Influence of Hospice Use on Nursing Home and Hospital Use in Assisted Living Among Dual-Eligible Enrollees2012 | First Faculty of Medicine
- Cognitive-behavioral therapy of specific phobia in chronic pain patient - a case study2007 | Publication without faculty affiliation