VLDB 2026 Research / reviewers in the wild / expert
Karel Král 0002
dblp:84/8440-2
· DBLP profile ↗
5ranked-venue papers
0as first author
2since 2021 · last 2021
0000-0002-6557-9354ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 2 since 2021Security and privacy · 2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Data Structures Lower Bounds and Popular ConjecturesabstractIn this paper, we investigate the relative power of several conjectures that attracted recently lot of interest. We establish a connection between the Network Coding Conjecture (NCC) of Li and Li and several data structure like problems such as non-adaptive function inversion of Hellman and the well-studied problem of polynomial evaluation and interpolation. In turn these data structure problems imply super-linear circuit lower bounds for explicit functions such as integer sorting and multi-point polynomial evaluation. Pavel Dvorák, Michal Koucký 0001, Karel Král 0002, Veronika Slívová |
ESA | 3 |
| 2021 | Sorting Short IntegersabstractWe build boolean circuits of size $O(nm^2)$ and depth $O(\log(n) + m \log(m))$ for sorting $n$ integers each of $m$-bits. We build also circuits that sort $n$ integers each of $m$-bits according to their first $k$ bits that are of size $O(nmk(1 + \log^*(n) - \log^*(m)))$ and depth $O(\log^{3}(n))$. This improves on the result of Asharov et al. arXiv:2010.09884 and resolves some of their open questions. Michal Koucký 0001, Karel Král 0002 |
ICALP | 2 |
| 2020 | On Average-Case Hardness in TFNP from One-Way Functions
Pavel Hubácek, Chethan Kamath, Karel Král 0002, Veronika Slívová |
TCC (3) | 3 |
| 2019 | Stronger Lower Bounds for Online ORAM
Pavel Hubácek, Michal Koucký 0001, Karel Král 0002, Veronika Slívová |
TCC (2) | 3 |
| 2018 | ARRIVAL: Next Stop in CLS
Bernd Gärtner, Thomas Dueholm Hansen, Pavel Hubácek, Karel Král 0002, Hagar Mosaad, Veronika Slívová |
ICALP | 4 |