- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT2016 | Matematicko-fyzikální fakulta
- Embeddability in the 3-Sphere Is Decidable2018 | Matematicko-fyzikální fakulta
- Computing All Maps into a Sphere2014 | Matematicko-fyzikální fakulta
- Algebraic Filtering of Surfaces from 3D Medical Images with Julia2020 | Lékařská fakulta v Plzni
- Embeddability in R-3 is NP-hard2020 | Matematicko-fyzikální fakulta
- Computing Homotopy Classes for Diagrams2023 | Matematicko-fyzikální fakulta
- On Average-Case Hardness in TFNP from One-Way Functions2020 | Matematicko-fyzikální fakulta
- Persistent Homology Metrics Reveal Quantum Fluctuations and Reactive Atoms in Path Integral Dynamics2021 | Matematicko-fyzikální fakulta