VLDB 2026 Research / reviewers in the wild / expert
Miroslav Rada
dblp:99/11285
· DBLP profile ↗
5ranked-venue papers
3as first author
3since 2021 · last 2025
0000-0002-1761-897XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | 0-1 Linear programming under interval uncertainty
Elif Garajová, Milan Hladík, Miroslav Rada |
Soft Comput. | 3 |
| 2024 | The NP-hard problem of computing the maximal sample variance over interval data is solvable in almost linear time with a high probability
Miroslav Rada, Michal Cerný, Ondrej Sokol |
Comput. Complex. | 1 |
| 2023 | New pruning tests for the branch-and-prune framework for interval parametric linear systems
Miroslav Rada, Elif Garajová, Jaroslav Horácek, Milan Hladík |
Soft Comput. | 1 |
| 2018 | A New Algorithm for Enumeration of Cells of Hyperplane Arrangements and a Comparison with Avis and Fukuda's Reverse SearchabstractWe design a new algorithm, called Incremental Enumeration (IncEnu), for the enumeration of full-dimensional cells of hyperplane arrangements (or dually, for the enumeration of vertices of generator-presented zonotopes). The algorithm is based on an incremental construction of the graph of cells of the arrangement. IncEnu is compared to Avis and Fukuda's Reverse Search (RS), including its later improvements by Sleumer and others. The basic versions of IncEnu and RS are not directly comparable, since they solve different numbers of linear programs (LPs) of different sizes. We therefore reformulate our algorithm as a version that permits comparison with RS in terms of the number of LPs solved. The result is that both IncEnu and RS have “the same” complexity-theoretic properties (compactness, output-polynomiality, worst-case bounds, tightness of bounds). In spite of the fact that IncEnu and RS have the same asymptotic bounds, it is proved that IncEnu is faster than RS by a nontrivial additive term. Our computational experiments show that for most test cases IncEnu is significantly faster than RS in practice. Based on the results obtained, we conjecture that IncEnu is $\mathcal{O}(d)$ times faster for nondegenerate arrangements, where $d$ denotes the dimension of the arrangement. Miroslav Rada, Michal Cerný |
SIAM J. Discret. Math. | 1 |
| 2012 | Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions
Michal Cerný, Miroslav Rada |
TAMC | 2 |