Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Tobias Pröger

dblp:98/6015 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Computational complexity
implicit computational complexity
0.212014
On efficient implicit OBDD-based algorithms for maximal matchings · Inf. Comput. 2014
Distributed computing theory › distributed graph algorithms
maximal matching
0.212014
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
YearPublicationVenuePosition
2018 Robust optimization in the presence of uncertainty: A generic approach
abstract
We 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 Past
abstract
Given 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
ATMOS4
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
ATMOS3
2012 An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings
Beate Bollig, Tobias Pröger
LATA2
2012 Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations
Beate Bollig, Marc Bury, Tobias Pröger
TAMC3