- Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému2009 | Matematicko-fyzikální fakulta
- TWO-STEP METHOD FOR ASSESSING SIMILARITY OF RANDOM SETS2021 | Matematicko-fyzikální fakulta
- Další krok v online vyhledávání a vizualizacích slovtvorných sítí2020 | Matematicko-fyzikální fakulta
- An efficient implementation of the equilibrium algorithm for housing markets with duplicate houses2011 | Matematicko-fyzikální fakulta
- Automorphism Groups of Geometrically Represented Graphs2015 | Matematicko-fyzikální fakulta
- Z2-genus of graphs and minimum rank of partial symmetric matrices2019 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Holes in 2-convex point sets2018 | Matematicko-fyzikální fakulta
- Holes in 2-Convex Point Sets2018 | Matematicko-fyzikální fakulta
- Intersection patterns of planar sets2020 | Matematicko-fyzikální fakulta
- On range searching with semialgebraic sets II +12012 | Matematicko-fyzikální fakulta
- Computational Complexity of Covering Disconnected Multigraphs2021 | Matematicko-fyzikální fakulta
- A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM2021 | Matematicko-fyzikální fakulta
- On flips in planar matchings +22020 | Matematicko-fyzikální fakulta
- A neural network clustering algorithm for the ATLAS silicon pixel detector2014 | Matematicko-fyzikální fakulta
- Extending Partial Representations of Proper and Unit Interval Graphs +12014 | Matematicko-fyzikální fakulta
- On the Beer Index of Convexity and Its Variants +12017 | Matematicko-fyzikální fakulta
- Lumped models of the cardiovascular system of various complexity2017 | 1. lékařská fakulta
- Information feedback in temporal networks as a predictor of market crashes2018 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- On Erdős-Szekeres-type problems for k-convex point sets2019 | Matematicko-fyzikální fakulta
- On Erdos-Szekeres-type problems for k-convex point sets2020 | Matematicko-fyzikální fakulta
- Parameterized approximation schemes for steiner trees with small number of Steiner vertices2018 | Matematicko-fyzikální fakulta
- A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth2020 | Matematicko-fyzikální fakulta
- PARAMETERIZED APPROXIMATION SCHEMES FOR STEINER TREES WITH SMALL NUMBER OF STEINER VERTICES2021 | Matematicko-fyzikální fakulta
- Efficient generation of elimination trees and graph associahedra2022 | Matematicko-fyzikální fakulta
- Epilepsy subtype-specific copy number burden observed in a genome-wide study of 17 458 subjects2020 | 2. lékařská fakulta