Scientific Publications
Journal Article (84)
1.
Journal Article
47 (6), pp. 969 - 986 (2000)
Minimizing stall time in single and parallel disk systems. Journal of the ACM 2.
Journal Article
16 (3), pp. 240 - 259 (2000)
Average-Case Analyses of First Fit and Random Fit Bin Packing. Random Structures & Algorithms 3.
Journal Article
30 (1), pp. 5 - 36 (2000)
Program Development Schemata as Derived Rules. Journal of Symbolic Computation 4.
Journal Article
30 (5), pp. 1552 - 1578 (2000)
Tight bounds for searching a sorted array of strings. SIAM Journal on Computing 5.
Journal Article
17 (3/4), pp. 135 - 152 (2000)
Approximate range searching. Computational Geometry 6.
Journal Article
45 (3), pp. 132 - 137 (2000)
LEDA + Algorithm = Program. Communications of the Operations Research Society of Japan 7.
Journal Article
33 (5), pp. 489 - 563 (2000)
On Scheduling Parallel Tasks at Twilight. Theory of Computing Systems 8.
Journal Article
76 (4-6), pp. 155 - 162 (2000)
Limited bookmark randomized online algorithms for the paging problem. Information Processing Letters 9.
Journal Article
10 (4) (2000)
An Efficient Incremental Algorithm for Generating All Maximal Independent Sets in Hypergraphs of Bounded Dimension. Parallel Processing Letters 10.
Journal Article
10 (1), pp. 75 - 104 (2000)
Object Calculi in Linear Logic. Journal of Logic and Computation 11.
Journal Article
27 (1), pp. 87 - 99 (2000)
A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Radicals. Algorithmica 12.
Journal Article
26 (1), pp. 31 - 49 (2000)
Computing mimicking networks. Algorithmica 13.
Journal Article
27 (3/4), pp. 212 - 226 (2000)
Shortest paths in digraphs of small treewidth. Part I, Sequential algorithms. Algorithmica 14.
Journal Article
106 (10), pp. 1263 - 70 (2000)
Age and residual cholesterol efflux affect HDL cholesterol levels and coronary artery disease in ABCA1 heterozygotes. Journal of Clinical Investigation 15.
Journal Article
30 (5), pp. 1385 - 1404 (2000)
An O(n log n) algorithm for the maximum agreement subtree problem for binary trees. SIAM Journal on Computing 16.
Journal Article
16, pp. 33 - 46 (2000)
Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model. Random Structures & Algorithms 17.
Journal Article
119 (1/2), pp. 97 - 114 (2000)
Multiresolution analysis over triangles, based on quadratic Hermite interpolation. Journal of Computational and Applied Mathematics 18.
Journal Article
88 (1), pp. 219 - 232 (2000)
Deciding the E-plus class by an a posteriori, liftable order. Annals of Pure and Applied Logic 19.
Journal Article
8 (3), pp. 265 - 292 (2000)
Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 20.
Journal Article
243 (1/2), pp. 167 - 184 (2000)
Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results. Theoretical Computer Science