- On Sequent Calculi for Intuitionistic Propositional Logic2006 | Faculty of Arts
- Evaluation of XPath Fragments Using Lambda Calculi2008 | Faculty of Mathematics and Physics
- Notes without writing? : Non-textual marking systems and problems of their evidence in Ancient Egypt2018 | Faculty of Arts
- Advances in the Treatment of upper urinary tract calculi2013 | First Faculty of Medicine
- Calculus infinitesimalis, pars prima1996 | Faculty of Mathematics and Physics
- Provability in Hilbert-Style Calculi for Non-Classical Logics and ATPPublication without faculty affiliation
- Formation of the urinary stones in alkaptonuria patients2008 | Faculty of Science, Second Faculty of Medicine
- Treatment outcomes of bladder stones in children with intact bladders in developing countries: A systematic review of >1000 cases on behalf of the European Association of Urology Bladder Stones Guideline panel2022 | First Faculty of Medicine
- On the Independence of Axioms in BL and MTL2012 | Faculty of Arts
- What are the Benefits and Harms of Ureteroscopy Compared with Shock-wave Lithotripsy in the Treatment of Upper Ureteral Stones? A Systematic Review2017 | First Faculty of Medicine
- Tract Sizes in Miniaturized Percutaneous Nephrolithotomy: A Systematic Review from the European Association of Urology Urolithiasis Guidelines Panel2017 | First Faculty of Medicine
- EAU Guidelines on Diagnosis and Conservative Management of Urolithiasis2016 | First Faculty of Medicine
- Outcomes of Flexible Ureteroscopy vs Extracorporeal Shock Wave Lithotripsy for Renal Stones in Pediatric Patients: A European Association of Urology Urolithiasis Guidelines Systematic Review and Meta-Analysis2023 | First Faculty of Medicine
- Sialendoscopy and Combined Minimally Invasive Treatment for Large Parotid Stones2016 | Third Faculty of Medicine
- EAU Guidelines on Interventional Treatment for Urolithiasis2016 | First Faculty of Medicine
- Scanning electron microscopy in analysis of urinary stones2019 | Faculty of Medicine in Pilsen, Faculty of Science
- A DOLBEAULT-DIRAC SPECTRAL TRIPLE FOR QUANTUM PROJECTIVE SPACE2020 | Faculty of Mathematics and Physics
- LEADERSHIP OF THE RESEARCH PROJECT - Vlastnosti funkcí a zobrazení v Sobolevových prostorech (Sobolev mappings), LL1203, 2012-2017Publication without faculty affiliation
- Logica ludus2006 | Faculty of Arts
- Nichols Algebras and Quantum Principal Bundles2023 | Faculty of Mathematics and Physics
- Spectral mapping theorems and spectral space-independence2003 | Faculty of Mathematics and Physics
- Independence of Axioms in Non-classical Logics and Automated Theorem ProvingPublication without faculty affiliation
- Proof systems for the coalgebraic cover modality2008 | Faculty of Arts
- Caroli disease - dilatation of interahepatic bile ducts2011 | First Faculty of Medicine, Faculty of Medicine in Pilsen
- Semantics as Based on Inference2006 | Faculty of Arts
- Notes on Condensed Detachment2011 | Faculty of Arts
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Urolithiasis2013 | First Faculty of Medicine
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Faculty of Arts
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts