Demo Data from EDBT 2026 / 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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Computational complexity · 67% Algorithms and data structures · 33% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity › circuit complexity
boolean circuits |
0.5 | 1 | 2021 | Sorting Short Integers · ICALP 2021 |
Computational complexity
circuit complexity |
0.5 | 1 | 2021 | Sorting Short Integers · ICALP 2021 |
Algorithms and data structures › sequence algorithms
sorting |
0.5 | 1 | 2021 | Sorting Short Integers · ICALP 2021 |
Computational complexity › complexity classes › TFNP
CLS |
0.3 | 1 | 2018 | ARRIVAL: Next Stop in CLS · ICALP 2018 |
Computational complexity
complexity classes |
0.3 | 1 | 2018 | ARRIVAL: Next Stop in CLS · ICALP 2018 |
| 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 |