Rauhe, Theis
-
BRICS Report Series Nr. 26 (1996): RS-26 BDD Algortihms and Cache Misses - Artikler
BDD Algortihms and Cache Misses
Resumé PDF (English) -
BRICS Report Series Nr. 9 (1996): RS-9 Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching - Artikler
Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching
Resumé PDF (English) -
BRICS Report Series Nr. 10 (1998): RS-10 Optimal Time-Space Trade-Offs for Sorting - Artikler
Optimal Time-Space Trade-Offs for Sorting
Resumé PDF (English) -
BRICS Report Series Nr. 32 (1997): RS-32 Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method - Artikler
Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method
Resumé PDF (English) -
BRICS Report Series Nr. 16 (1998): RS-16 Marked Ancestor Problems - Artikler
Marked Ancestor Problems
Resumé -
BRICS Report Series Nr. 7 (1998): RS-07 Marked Ancestor Problems (Preliminary Version) - Artikler
Marked Ancestor Problems (Preliminary Version)
Resumé PDF (English) -
BRICS Report Series Nr. 1 (1995): RS-01 Dynamic Algorithms for the Dyck Languages - Artikler
Dynamic Algorithms for the Dyck Languages
Resumé PDF (English) -
BRICS Report Series Nr. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Artikler
MONA: Monadic Second-Order Logic in Practice
Resumé PDF (English)