Showing 1 - 20 results of 77 for search 'Rauhe, Theis' Narrow Search
1
eBook

Contributors: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Caires, Luís, editorAff16, Italiano, Giuseppe F., editorAff17, Monteiro, Luís, editorAff18, Palamidessi, Catuscia, editorAff19, Yung, Moti, editorAff20

Superior Title: Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings. 3580:78-89

2
eBook

Contributors: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Penttonen, Martti, editorAff4, Schmidt, Erik Meineche, editorAff5

Superior Title: Algorithm Theory — SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings. 2368:20-29

3
eBook

Authors: Husfeldt, ThoreAff1, Aff2, Rauhe, TheisAff1

Contributors: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Larsen, Kim G., editor, Skyum, Sven, editor, Winskel, Glynn, editor

Superior Title: Automata, Languages and Programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings. 1443:67-78

4
eBook

Authors: Biehl, MortenAff1, Klarlund, NilsAff2, Rauhe, TheisAff1

Contributors: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Raymond, Darrell, editor, Wood, Derick, editor, Yu, Sheng, editor

Superior Title: Automata Implementation : First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers. 1260:6-25

5
eBook

Authors: Biehl, MortenAff1, Klarlund, NilsAff2, Rauhe, TheisAff1

Contributors: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Jonsson, Bengt, editor, Parrow, Joachim, editor

Superior Title: Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings. 1135:459-462

6
eBook

Authors: Husfeldt, ThoreAff1, Rauhe, TheisAff1, Skyum, SørenAff1

Contributors: Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Karlsson, Rolf, editor, Lingas, Andrzej, editor

Superior Title: Algorithm Theory — SWAT'96 : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings. 1097:198-211

7
eBook

Contributors: Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Brinksma, E., editor, Cleaveland, W. R., editor, Larsen, K. G., editor, Margaria, T., editor, Steffen, B., editor

Superior Title: Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers. 1019:89-110

8
eBook

Contributors: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Akl, Selim G., editor, Dehne, Frank, editor, Sack, Jörg-Rüdiger, editor, Santoro, Nicola, editor

Superior Title: Algorithms and Data Structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings. 955:98-108

9
Academic Journal

Authors: Alstrup, StephenAff1, IDs0022400411555_cor1, Gavoille, CyrilAff2, IDs0022400411555_cor2, Kaplan, HaimAff3, IDs0022400411555_cor3, Rauhe, TheisAff1, IDs0022400411555_cor4

Superior Title: Theory of Computing Systems. 37(3):441-456

PDF Full Text
12
Academic Journal

Superior Title: BRICS Report Series; No 16 (1998): RS-16 Marked Ancestor Problems ; BRICS Report Series; Nr. 16 (1998): RS-16 Marked Ancestor Problems ; 1601-5355 ; 0909-0878

13
Academic Journal

Superior Title: BRICS Report Series; No 7 (1998): RS-07 Marked Ancestor Problems (Preliminary Version) ; BRICS Report Series; Nr. 7 (1998): RS-07 Marked Ancestor Problems (Preliminary Version) ; 1601-5355 ; 0909-0878

File Description: application/pdf

14
Academic Journal

Superior Title: BRICS Report Series; No 10 (1998): RS-10 Optimal Time-Space Trade-Offs for Sorting ; BRICS Report Series; Nr. 10 (1998): RS-10 Optimal Time-Space Trade-Offs for Sorting ; 1601-5355 ; 0909-0878

File Description: application/pdf

15
Academic Journal

Superior Title: BRICS Report Series; No 32 (1997): RS-32 Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method ; BRICS Report Series; Nr. 32 (1997): RS-32 Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method ; 1601-5355 ; 0909-0878

File Description: application/pdf

16
Academic Journal

Superior Title: BRICS Report Series; No 26 (1996): RS-26 BDD Algortihms and Cache Misses ; BRICS Report Series; Nr. 26 (1996): RS-26 BDD Algortihms and Cache Misses ; 1601-5355 ; 0909-0878

File Description: application/pdf

18
Academic Journal

Superior Title: Alstrup , S , Thorup , M , Gørtz , I L , Rauhe , T & Zwick , U 2014 , ' Union-Find with Constant Time Deletions ' , A C M Transactions on Algorithms , vol. 11 , no. 1 . https://doi.org/10.1145/2636922

Subject Terms: Union-find, disjoint sets

20
Conference