- Weak Theories and Essential Undecidability2008 | Faculty of Arts
- Extending continuous maps: polynomiality and undecidability2013 | Faculty of Mathematics and Physics
- What is a decision? A post-structuralist exploration of the trinity of decidedness, undecidedness and undecidability2016 | Faculty of Social Sciences
- Extendability of Continuous Maps Is Undecidable2014 | Faculty of Mathematics and Physics
- FAITH'S PROBLEM ON R-PROJECTIVITY IS UNDECIDABLE2019 | Faculty of Mathematics and Physics
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- THE UNDECIDABLE AS AESTHETIC VALUE OF DECADENCE: THE JE NE KNOW WHAT IN MONSIEUR DE PHOCAS BY JEAN LORRAIN2022 | Faculty of Arts, Faculty of Education
- The Undecidable as the aesthetic value of Decadence: the je-ne-sais-quoi in Monsieur de Phocas by Jean Lorrain2022 | Faculty of Arts, Faculty of Education
- NERVES OF GOOD COVERS ARE ALGORITHMICALLY UNRECOGNIZABLE2013 | Faculty of Mathematics and Physics
- Evaluation of Analysis by Reduction Inference Algorithms2010 | Faculty of Mathematics and Physics
- Two Results on Discontinuous Input Processing +12016 | Faculty of Mathematics and Physics
- Computing All Maps into a Sphere2014 | Faculty of Mathematics and Physics
- Truth and (Un)Provability2023 | Faculty of Arts
- Summarization of branching loops2022 | Faculty of Mathematics and Physics
- Fear of driving license withdrawal in patients with insulin-treated diabetes mellitus negatively influences their decision to report severe hypoglycemic events to physicians2015 | First Faculty of Medicine, Faculty of Physical Education and Sport, Second Faculty of Medicine, Third Faculty of Medicine
- Distinct bilineal leukemia immunophenotypes are not genetically determined2016 | Second Faculty of Medicine
- Minimal Maximalism. Frank Zappa's Big Note"2016 | Faculty of Arts
- Application of DES Theory to Verification of Software Components2009 | Faculty of Mathematics and Physics
- Hardness of Embedding Simplicial Complexes in R^d2009 | Faculty of Mathematics and Physics
- Czech Treebanking Unlimited2012 | Faculty of Arts
- The Dual Baer Criterion for non-perfect rings2020 | Faculty of Mathematics and Physics
- Quantum and non-signalling graph isomorphisms2019 | Faculty of Mathematics and Physics
- Home-schooling - an Opportunity for Children with Specific Educational Needs: a case study of a pupil with dyslexia2016 | Faculty of Education
- Computing Exact Worst-Case Gas Consumption for Smart Contracts2018 | Faculty of Mathematics and Physics
- On the way to the social reproduction theory2020 | Faculty of Arts, Faculty of Humanities
- New Techniques for Universality in Unambiguous Register Automata2021 | Faculty of Mathematics and Physics
- Amyloid Plaques of Alzheimer's Disease as Hotspots of Glutamatergic Activity2019 | Central Library of Charles University
- Computing Homotopy Classes for Diagrams2023 | Faculty of Mathematics and Physics
- Hardness of embedding simplicial complexes in R^d2011 | Faculty of Mathematics and Physics