- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu2008 | Matematicko-fyzikální fakulta
- Poznámky bez psaní? : Techniky nepísemného záznamu a problémy jejich doložení ve starém Egyptě2018 | Filozofická fakulta
- Novinky v léčbě litiázy horních cest močových2013 | 1. lékařská fakulta
- Calculus infinitesimalis, pars prima1996 | Matematicko-fyzikální fakulta
- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- Alkaptonurie a tvorba močových konkrementů2008 | Přírodovědecká fakulta, 2. lékařská fakulta
- 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 | 1. lékařská fakulta
- On the Independence of Axioms in BL and MTL2012 | Filozofická fakulta
- What are the Benefits and Harms of Ureteroscopy Compared with Shock-wave Lithotripsy in the Treatment of Upper Ureteral Stones? A Systematic Review2017 | 1. lékařská fakulta
- Tract Sizes in Miniaturized Percutaneous Nephrolithotomy: A Systematic Review from the European Association of Urology Urolithiasis Guidelines Panel2017 | 1. lékařská fakulta
- EAU Guidelines on Diagnosis and Conservative Management of Urolithiasis2016 | 1. lékařská fakulta
- 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 | 1. lékařská fakulta
- Sialendoscopy and Combined Minimally Invasive Treatment for Large Parotid Stones2016 | 3. lékařská fakulta
- EAU Guidelines on Interventional Treatment for Urolithiasis2016 | 1. lékařská fakulta
- Scanning electron microscopy in analysis of urinary stones2019 | Lékařská fakulta v Plzni, Přírodovědecká fakulta
- A DOLBEAULT-DIRAC SPECTRAL TRIPLE FOR QUANTUM PROJECTIVE SPACE2020 | Matematicko-fyzikální fakulta
- LEADERSHIP OF THE RESEARCH PROJECT - Vlastnosti funkcí a zobrazení v Sobolevových prostorech (Sobolev mappings), LL1203, 2012-2017Publikace bez příslušnosti k fakultě
- Logica ludus2006 | Filozofická fakulta
- Nichols Algebras and Quantum Principal Bundles2023 | Matematicko-fyzikální fakulta
- Spectral mapping theorems and spectral space-independence2003 | Matematicko-fyzikální fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Caroliho nemoc - dilatace intrahepatálních žlučových cest2011 | 1. lékařská fakulta, Lékařská fakulta v Plzni
- Sémantika jakožto založená na inferenci2006 | Filozofická fakulta
- Notes on Condensed Detachment2011 | Filozofická fakulta
- Uniformní interpolace a výrokové kvantifikátory v modální logice2007 | Filozofická fakulta
- Urolithiasis2013 | 1. lékařská fakulta
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Filozofická fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
