BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rauhe:Theis

Contributed to:

ICALP 20052005
STOC 20012001
STOC 19991999
ICALP 19981998
WIA 19961996
TACAS 19951995

Wrote 6 papers:

ICALP-2005-AlstrupGRTZ #constant
Union-Find with Constant Time Deletions (SA, ILG, TR, MT, UZ), pp. 78–89.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.