Study programme
Classes
- Computational complexity and interactive protocolsNTIN081 | Faculty of Mathematics and Physics
- Selected Topics in Computational Complexity INTIN085 | Faculty of Mathematics and Physics
- Selected Topics in Computational Complexity IINTIN086 | Faculty of Mathematics and Physics
- Introduction to Information Transmission and ProcessingNTIN100 | Faculty of Mathematics and Physics
- Automata and Computational ComplexityNMMB415 | Faculty of Mathematics and Physics
- Data Structures 1NTIN066 | Faculty of Mathematics and Physics
- Nonuniform computational modelsNTIN082 | Faculty of Mathematics and Physics
- Seminar on theory of computingNTIN102 | Faculty of Mathematics and Physics
Publications
- Simple, deterministic, fast (but weak) approximations to edit distance and Dyck edit distance2023 | Faculty of Mathematics and Physics
- Locally Consistent Decomposition of Strings with Applications to Edit Distance Sketching2023 | Faculty of Mathematics and Physics
- High Entropy Random Selection Protocols2021 | Faculty of Mathematics and Physics
- Approximating Edit Distance Within Constant Factor in Truly Sub-quadratic Time2020 | Faculty of Mathematics and Physics
- Constant factor approximations to edit distance on far input pairs in nearly linear time2020 | Faculty of Mathematics and Physics
- Approximate Online Pattern Matching in Sublinear Time2019 | Faculty of Mathematics and Physics, Central Library of Charles University
- Simulation Theorems via Pseudo-random Properties2019 | Faculty of Mathematics and Physics
- Cover time and mixing time of random walks on dynamic graphs2018 | Faculty of Mathematics and Physics
- Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time2018 | Faculty of Mathematics and Physics
- Lower Bounds for Combinatorial Algorithms for Boolean Matrix Multiplication2018 | Faculty of Mathematics and Physics
Loading network view...