Wissenschaftliche Publikationen
Zeitschriftenartikel (72)
1.
Zeitschriftenartikel
197 (1/2), S. 95 - 109 (1998)
A competitive analysis of the list update problem with lookahead. Theoretical Computer Science 2.
Zeitschriftenartikel
27 (3), S. 682 - 693 (1998)
Improved randomized on-line algorithms for the list update problem. SIAM Journal on Computing 3.
Zeitschriftenartikel
27, S. 75 - 96 (1998)
New on-line algorithms for the page replication problem. Journal of Algorithms 4.
Zeitschriftenartikel
21 (3), S. 312 - 329 (1998)
Average case analyses of list update algorithms, with applications to data compression. Algorithmica 5.
Zeitschriftenartikel
66 (3), S. 109 - 113 (1998)
Maximum Network Flow with Floating Point Arithmetic. Information Processing Letters 6.
Zeitschriftenartikel
29, S. 82 - 110 (1998)
All-Pairs Min-Cut in Sparse Networks. Journal of Algorithms 7.
Zeitschriftenartikel
45 (6), S. 1007 - 1049 (1998)
Ordered Chaining Calculi for First-Order Theories of Transitive Relations. Journal of the ACM 8.
Zeitschriftenartikel
27 (4), S. 1190 - 1202 (1998)
Time-Space Lower Bounds for Directed st-Connectivity on Graph Automata Models. SIAM Journal on Computing 9.
Zeitschriftenartikel
81, S. 467 - 496 (1998)
Modelling Discrete Optimisation Problems in Constraint Logic Programming. Annals of Operations Research 10.
Zeitschriftenartikel
13 (3), S. 255 - 288 (1998)
Automata Based Symbolic Reasoning in Hardware Verification. Formal Methods in Systems Design 11.
Zeitschriftenartikel
7 (3), S. 237 - 263 (1998)
Labelled Modal Logics: quantifiers. Journal of Logic, Language and Information 12.
Zeitschriftenartikel
60 (1), S. 119 - 160 (1998)
Natural Deduction for Non-Classical Logics. Studia Logica 13.
Zeitschriftenartikel
6 (4), S. 625 - 650 (1998)
Hybrid Completeness. Logic Journal of the IGPL 14.
Zeitschriftenartikel
24 (1/4), S. 23 - 49 (1998)
Hybridizing Concept Languages. Annals of Mathematics and Artificial Intelligence 15.
Zeitschriftenartikel
10 (3), S. 287 - 300 (1998)
Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing 16.
Zeitschriftenartikel
11 (1), S. 168 - 181 (1998)
Ranking of Graphs. SIAM Journal on Discrete Mathematics 17.
Zeitschriftenartikel
27 (6), S. 1725 - 1746 (1998)
Parallel Algorithms with Optimal Speedup for Bounded Treewidth. SIAM Journal on Computing 18.
Zeitschriftenartikel
27 (2), S. 466 - 490 (1998)
Efficient Matrix Chain Ordering in Polylog Time. SIAM Journal on Computing 19.
Zeitschriftenartikel
49 (1), S. 4 - 21 (1998)
A Parallel Priority Queue with Constant Time Operations. Journal of Parallel and Distributed Computing, Special Issue on Parallel Data Structures 20.
Zeitschriftenartikel
26 (3), S. 11 - 15 (1998)
Web Proxy Caching: The Devil is in the Details. ACM SIGMETRICS Performance Evaluation Review