- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT2016 | Faculty of Mathematics and Physics
- Embeddability in the 3-Sphere Is Decidable2018 | Faculty of Mathematics and Physics
- Computing All Maps into a Sphere2014 | Faculty of Mathematics and Physics
- Algebraic Filtering of Surfaces from 3D Medical Images with Julia2020 | Faculty of Medicine in Pilsen
- Embeddability in R-3 is NP-hard2020 | Faculty of Mathematics and Physics
- Computing Homotopy Classes for Diagrams2023 | Faculty of Mathematics and Physics
- On Average-Case Hardness in TFNP from One-Way Functions2020 | Faculty of Mathematics and Physics
- Persistent Homology Metrics Reveal Quantum Fluctuations and Reactive Atoms in Path Integral Dynamics2021 | Faculty of Mathematics and Physics