- Procházení krychle2007 | Matematicko-fyzikální fakulta
- Bobřík učí informatiku (2. díl seriálu - Procházení grafů)2014 | Matematicko-fyzikální fakulta
- Průchod množinou bodů s minimálním počtem zlomů2009 | Matematicko-fyzikální fakulta
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Višnu překračující vesmír s addendem o vlivu zemětřesení a bouřek na umění a architekturu Nepálu2015 | Filozofická fakulta
- Traversing combinatorial 0/1-polytopes via optimization2023 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- From Cadomian accretion to Variscan collision: a crustal-scale traverse across the northwestern Teplá–Barrandian unit2013 | Přírodovědecká fakulta
- Model školy zítřka na bázi ICT (v kontextu strategií Evropské unie) aneb e-learning: strašidlo, které prochází Evropou2003 | Ústřední knihovna, Pedagogická fakulta
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Matematicko-fyzikální fakulta
- 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 | 1. lékařská fakulta
- Abstract Pathfinder2012 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Fotosensibilizátory používané ve fotodynamické terapii2007 | Lékařská fakulta v Plzni
- Studium vlastností různých fotonásobičů s pomocí svazků mionů a čerenkovského záření produkovaného v elektronových sprškách.2010 | Matematicko-fyzikální fakulta
- An anatomic comparison of the original versus a modified inside-out transobturator procedure2011 | 3. lékařská fakulta
- 3D Navigation for a Mobile Robot2017 | Matematicko-fyzikální fakulta
- JPF-staticPublikace bez příslušnosti k fakultě
- Inclusive jets and jet substructure in 2.76 TeV and 5.02 TeV pp and Pb plus Pb collisions with the ATLAS detector2017 | Matematicko-fyzikální fakulta
- Fitness landscape analysis of hyper-heuristic transforms for the vertex cover problem2016 | Matematicko-fyzikální fakulta
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- PARTON ENERGY LOSS AND CHARMONIA SUPPRESSION IN HEAVY-ION COLLISIONS2018 | Matematicko-fyzikální fakulta
- Ring wormholes and time machines2023 | Matematicko-fyzikální fakulta
- Feeding the Futures of Human-Food Interaction2020 | Filozofická fakulta