- On Sequent Calculi for Intuitionistic Propositional Logic2006 | Faculty of Arts
- Sequentions of the absurd comic in Bohemia2005 | Faculty of Arts
- Automated determination and dissolution studies of pharmaceutical formulations using method sequentional injection analysis2002 | Publication without faculty affiliation
- Characterization of PEEK, PET and PI implanted with Mn ions and sub-sequently annealed2014 | First Faculty of Medicine, Faculty of Mathematics and Physics
- Sequentional segmental analysis of congenital heart diseases by MR2001 | Central Library of Charles University, Second Faculty of Medicine
- The obligations to protection of cyberspace sequent upon European and International law.2008 | Faculty of Law
- Expander Construction in VNC12017 | Faculty of Mathematics and Physics
- Expander construction in VNC12020 | Faculty of Mathematics and Physics
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Faculty of Arts
- Therapy of rheumatoid arthritis with synthetic and biological disease modifying drugs.2009 | First Faculty of Medicine
- Feasible Disjunction Property and Feasible Interpolation in Modal LogicPublication without faculty affiliation
- Bad child. Diagnosis of Asperger syndrome?2017 | Faculty of Education
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Embedding l-bimonoids into involutive residuated lattices2016 | Faculty of Arts
- Angioplasty of Dysfunctional Dialysis Fistula or Graft with Resveratrol-Excipient and Paclitaxel-Coated Balloon Improves Primary Patency Rates Compared to Plain Angioplasty Alone2022 | First Faculty of Medicine
- Reductio ad contradictionem: an algebraic perspective2016 | Faculty of Arts
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Faculty of Arts
- Holocaust of the Roma and Sinti on the Territory of CzechoslovakiaPublication without faculty affiliation
- Overlap of Female Reproductive Cycles Explains Shortened Interclutch Interval in a Lizard with Invariant Clutch Size (Squamata: Gekkonidae: Paroedura picta)2012 | Faculty of Science
- Ecological significance of standing dead phytomass: Marcescence as a puzzle piece to the nutrient cycle in temperate ecosystems2023 | Faculty of Science, Central Library of Charles University