VLDB 2026 Research / reviewers in the wild / expert
Tobias Pröger
dblp:98/6015
· DBLP profile ↗
8ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 8Applied, interdisciplinary, general and emerging computing · 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
1 paper |
Distributed computing theory · 50% Computational complexity · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
implicit computational complexity |
0.2 | 1 | 2014 | On efficient implicit OBDD-based algorithms for maximal matchings · Inf. Comput. 2014 |
Distributed computing theory › distributed graph algorithms
maximal matching |
0.2 | 1 | 2014 | On efficient implicit OBDD-based algorithms for maximal matchings · Inf. Comput. 2014 |
Methods — techniques the papers use, named apart from their topics
ordered binary decision diagrams · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Robust optimization in the presence of uncertainty: A generic approachabstractWe propose a novel approach for optimization under uncertainty. Our approach does not assume any particular noise model behind the measurements, and only requires two typical instances. We first propose a measure of similarity of instances (with respect to a given objective). Based on this measure, we then choose a solution randomly among all solutions that are near-optimum for both instances. The exact notion of near-optimum is intertwined with the proposed similarity measure. Our similarity measure also allows us to derive formal statements about the expected quality of the computed solution. Furthermore, we apply our approach to various optimization problems. Joachim M. Buhmann, Alexey Gronskiy, Matús Mihalák, Tobias Pröger, Rastislav Srámek, Peter Widmayer |
J. Comput. Syst. Sci. | 4 |
| 2018 | Computing and Listing st-Paths in Public Transportation Networks
Katerina Böhmová, Luca Häfliger, Matús Mihalák, Tobias Pröger, Gustavo Sacomoto, Marie-France Sagot |
Theory Comput. Syst. | 4 |
| 2015 | Robust Routing in Urban Public Transportation: Evaluating Strategies that Learn From the PastabstractGiven an urban public transportation network and historic delay information, we consider the problem of computing reliable journeys. We propose new algorithms based on our recently presented solution concept (Böhmová et al., ATMOS 2013), and perform an experimental evaluation using real-world delay data from Zürich, Switzerland. We compare these methods to natural approaches as well as to our recently proposed method which can also be used to measure typicality of past observations. Moreover, we demonstrate how this measure relates to the predictive quality of the individual methods. In particular, if the past observations are typical, then the learning- based methods are able to produce solutions that perform well on typical days, even in the presence of large delays. Katerina Böhmová, Matús Mihalák, Peggy Neubert, Tobias Pröger, Peter Widmayer |
ATMOS | 4 |
| 2014 | On efficient implicit OBDD-based algorithms for maximal matchings
Beate Bollig, Tobias Pröger |
Inf. Comput. | 2 |
| 2014 | Implicit computation of maximum bipartite matchings by sublinear functional operations
Beate Bollig, Marc Bury, Tobias Pröger |
Theor. Comput. Sci. | 3 |
| 2013 | Robust Routing in Urban Public Transportation: How to Find Reliable Journeys Based on Past Observations
Katerina Böhmová, Matús Mihalák, Tobias Pröger, Rastislav Srámek, Peter Widmayer |
ATMOS | 3 |
| 2012 | An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings
Beate Bollig, Tobias Pröger |
LATA | 2 |
| 2012 | Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations
Beate Bollig, Marc Bury, Tobias Pröger |
TAMC | 3 |