EDBT 2026 Demo / reviewers in the wild / expert
Rainer Gawlick
dblp:82/2081
· DBLP profile ↗
6ranked-venue papers
3as first author
0since 2021 · last 1998
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-authorComputer networks · 2 · 2 first-authorSystems, architecture and hardware · 1
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 |
Logic in computer science · 78% Approximation and online algorithms · 22% | |
| Computer networks
2 papers |
Routing and switching · 59% Network optimization and economics · 20% Edge and fog computing · 20% | |
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Distributed systems · 76% Embedded and real-time systems · 19% Interconnection networks and networks-on-chip · 6% |
Topics — the 17 heaviest of 17, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Routing and switching › routing
virtual circuit routing |
0.0 | 2 | 1995 | On-Line Routing for Permanent Virtural Circuits · INFOCOM 1995 On-line Admission Control and Circuit Routing for High Performance Computing and Communication · FOCS 1994 |
Logic in computer science › concurrency theory
concurrency semantics |
0.0 | 1 | 1998 | Liveness in Timed and Untimed Systems · Inf. Comput. 1998 |
Logic in computer science › temporal logic
liveness properties |
0.0 | 1 | 1998 | Liveness in Timed and Untimed Systems · Inf. Comput. 1998 |
Logic in computer science
temporal logic |
0.0 | 1 | 1998 | Liveness in Timed and Untimed Systems · Inf. Comput. 1998 |
Logic in computer science › transition systems
timed systems |
0.0 | 1 | 1998 | Liveness in Timed and Untimed Systems · Inf. Comput. 1998 |
Network optimization and economics
admission control |
0.0 | 1 | 1995 | On-Line Routing for Permanent Virtural Circuits · INFOCOM 1995 |
Edge and fog computing › resource management
online request admission |
0.0 | 1 | 1995 | On-Line Routing for Permanent Virtural Circuits · INFOCOM 1995 |
Routing and switching › routing algorithms
online routing |
0.0 | 1 | 1995 | On-Line Routing for Permanent Virtural Circuits · INFOCOM 1995 |
Distributed systems
fault tolerance |
0.0 | 1 | 1994 | Liveness in Timed and Untimed Systems · ICALP 1994 |
Distributed systems › distributed computing theory
liveness |
0.0 | 1 | 1994 | Liveness in Timed and Untimed Systems · ICALP 1994 |
Embedded and real-time systems
timed systems |
0.0 | 1 | 1994 | Liveness in Timed and Untimed Systems · ICALP 1994 |
Approximation and online algorithms › online algorithms
competitive analysis |
0.0 | 1 | 1994 | On-line Admission Control and Circuit Routing for High Performance Computing and Communication · FOCS 1994 |
Approximation and online algorithms
online algorithms |
0.0 | 1 | 1994 | On-line Admission Control and Circuit Routing for High Performance Computing and Communication · FOCS 1994 |
Distributed systems
clock synchronization |
0.0 | 1 | 1993 | Designing Algorithms for Distributed Systems with Partially Synchronized Clocks · PODC 1993 |
Distributed systems
distributed algorithms |
0.0 | 1 | 1993 | Designing Algorithms for Distributed Systems with Partially Synchronized Clocks · PODC 1993 |
Interconnection networks and networks-on-chip
interconnection networks |
0.0 | 1 | 1994 | On-line Admission Control and Circuit Routing for High Performance Computing and Communication · FOCS 1994 |
Distributed systems › fault tolerance
failure detection |
0.0 | 1 | 1993 | Designing Algorithms for Distributed Systems with Partially Synchronized Clocks · PODC 1993 |
Methods — techniques the papers use, named apart from their topics
competitive analysis · 0.0online algorithm design · 0.0lower bound · 0.0verification · 0.0temporal logic · 0.0combinatorial optimization · 0.0lower bounds · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1998 | Liveness in Timed and Untimed Systems
Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
Inf. Comput. | 2 |
| 1996 | On-line routing for permanent virtual circuits
Rainer Gawlick, Charles R. Kalmanek, K. G. Ramakrishnan |
Comput. Commun. | 1 |
| 1995 | On-Line Routing for Permanent Virtural CircuitsabstractThe paper considers the problem of routing a set of permanent virtual circuit requests over a backbone network. Several factors make this routing problem complicated. Routing decisions must be made on-line without any knowledge of future request sets. Furthermore, frequent rerouting to correct inefficiencies that can result from the on-line routing decisions is not possible since rerouting creates a service disruption for the customer. Finally, the forward and reverse bandwidth of a virtual circuit must be routed over the same single path. Using an extensive set of simulations, the paper evaluates several different strategies for on-line permanent virtual circuit routing. The authors find that a strategy based on results in competitive analysis and ideas from combinatorial optimization consistently provides the best performance. The problem of admission control is closely related to the problem of routing. The paper also provides a theoretical lower bound that suggests that non-greedy admission control is a fundamental component of an efficient on-line permanent virtual circuit routing algorithm. Rainer Gawlick, Charles R. Kalmanek, K. G. Ramakrishnan |
INFOCOM | 1 |
| 1994 | On-line Admission Control and Circuit Routing for High Performance Computing and CommunicationabstractThis paper considers the problems of admission control and virtual circuit routing in high performance computing and communication systems. Admission control and virtual circuit routing problems arise in numerous applications, including video-servers, real-lime database servers, and the provision of permanent virtual channel in large-scale communications networks. The paper describes both upper and lower bounds on the competitive ratio of algorithms for admission control and virtual circuit routing in trees, arrays, and hypercubes (the networks most commonly used in conjunction with nigh performance computing and communication). Our results include optimal algorithms for admission control and virtual circuit routing in trees, as well as the first competitive algorithms for these problems on non-tree networks. A key result of our research is the development of on-line algorithms that substantially outperform the greedy-based approaches that are used in practice.> Baruch Awerbuch, Rainer Gawlick, Frank Thomson Leighton, Yuval Rabani |
FOCS | 2 |
| 1994 | Liveness in Timed and Untimed Systems
Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
ICALP | 1 |
| 1993 | Designing Algorithms for Distributed Systems with Partially Synchronized ClocksabstractMuch of modernsystems programming involves designing algorithms for distributed systems in which the nodes have access to information about time.Time information can be used to estimate the time at which system or environment events occur, to detect process failures, to schedule the use of Soma Chaudhuri, Rainer Gawlick, Nancy A. Lynch |
PODC | 2 |