Travelled to:1 × Canada
1 × Greece
1 × Portugal
1 × USA
2 × Denmark
Collaborated with:S.Alstrup T.Husfeldt N.Klarlund G.S.Brodal A.M.Ben-Amram M.Biehl I.L.Gørtz M.Thorup U.Zwick J.G.Henriksen J.L.Jensen M.E.Jørgensen R.Paige A.Sandholm
Talks about:union (2) optim (2) find (2) chronogram (1) algorithm (1) constant (1) automata (1) problem (1) practic (1) fredman (1)
Person: Theis Rauhe
DBLP: Rauhe:Theis
Contributed to:
2005
200119991998
1996
1995Wrote 6 papers:
- ICALP-2005-AlstrupGRTZ #constant
- Union-Find with Constant Time Deletions (SA, ILG, TR, MT, UZ), pp. 78–89.
- STOC-2001-AlstrupBR
- Optimal static range reporting in one dimension (SA, GSB, TR), pp. 476–482.
- STOC-1999-AlstrupBR #worst-case
- Worst-Case and Amortised Optimality in Union-Find (SA, AMBA, TR), pp. 499–506.
- ICALP-1998-HusfeldtR #problem
- Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method (TH, TR), pp. 67–78.
- WIA-1996-BiehlKR #algorithm #automaton
- Algorithms for Guided Tree Automata (MB, NK, TR), pp. 6–25.
- TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
- Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.