- Traversing the cube2007 | Faculty of Mathematics and Physics
- Bebras Teaches Computer Science (Part 2: Traversing Graphs)2014 | Faculty of Mathematics and Physics
- Traversing a Set of Points with a Minimum Number of Turns2009 | Faculty of Mathematics and Physics
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- Viṣṇu Traversing the Universe, With an Addendum of Earthquakes and storms in Nepal - their impact on art and architecture2015 | Faculty of Arts
- Traversing combinatorial 0/1-polytopes via optimization2023 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- From Cadomian accretion to Variscan collision: a crustal-scale traverse across the northwestern Teplá–Barrandian unit2013 | Faculty of Science
- School of tomorrow model based on ICT (in a context of EU strategies) or e-learning: bugaboo that traverses across Europe2003 | Central Library of Charles University, Faculty of Education
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Faculty of Mathematics and Physics
- Analysis of direct oil contrast lymphography of upper limb lymphatics traversing the axilla - A lesson from the past - Contribution to the concept of axillary reverse mapping2012 | First Faculty of Medicine
- Abstract Pathfinder2012 | Faculty of Mathematics and Physics
- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Photosensibilisators used in photodynamic therapy2007 | Faculty of Medicine in Pilsen
- Study of various photomultiplier tubes with muon beams and Cerenkov light produced in electron showers2010 | Faculty of Mathematics and Physics
- An anatomic comparison of the original versus a modified inside-out transobturator procedure2011 | Third Faculty of Medicine
- 3D Navigation for a Mobile Robot2017 | Faculty of Mathematics and Physics
- JPF-staticPublication without faculty affiliation
- Inclusive jets and jet substructure in 2.76 TeV and 5.02 TeV pp and Pb plus Pb collisions with the ATLAS detector2017 | Faculty of Mathematics and Physics
- Fitness landscape analysis of hyper-heuristic transforms for the vertex cover problem2016 | Faculty of Mathematics and Physics
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- PARTON ENERGY LOSS AND CHARMONIA SUPPRESSION IN HEAVY-ION COLLISIONS2018 | Faculty of Mathematics and Physics
- Ring wormholes and time machines2023 | Faculty of Mathematics and Physics
- Feeding the Futures of Human-Food Interaction2020 | Faculty of Arts