Talbot, J.-M.; Devienne, P.; Tison, S.: Generalized Definite Set Constraints. Constraints 5 (1/2), S. 161 - 202 (2000)

Thorup, M.: Floats, Integers, and Single Source Shortest Paths. Journal of Algorithms 35, S. 189 - 201 (2000)

Träff, J. L.; Zaroliagis, C.: A simple parallel algorithm for the single-source shortest path problem on planar digraphs. Journal of Parallel and Distributed Computing 60 (9), S. 1103 - 1124 (2000)

Veanes, M.: Farmer's Theorem Revisited. Information Processing Letters 74 (1/2), S. 47 - 53 (2000)

Volevich, V.; Myszkowski, K.; Khodulev, A.; Kopylov, E.: Using the Visual Differences Predictor to Improve Performance of Progressive Global Illumination Computations. ACM Transactions on Graphics 19 (2), S. 122 - 161 (2000)

Weikum, G.: Review - Data Placement In Bubba. ACM SIGMOD Digital Review 2 (2000)

Weikum, G.: Review - TerraServer: A Spatial Data Warehouse. ACM SIGMOD Digital Review 2 (2000)

Weikum, G.: Review - XTRACT: A System for Extracting Document Type Descriptors from XML Documents. ACM SIGMOD Digital Review 2 (2000)

Albers, S.: Better bounds for online scheduling. SIAM Journal on Computing 29 (2), S. 459 - 473 (1999)

Arikati, S. R.; Mehlhorn, K.: A Correctness Certificate for the Stoer-Wagner Min-cut Algorithm. Information Processing Letters 70 (5), S. 251 - 254 (1999)

Arya, S.; Golin, M. J.; Mehlhorn, K.: On the Expected Depth of Random Circuits. Combinatorics, Probability and Computing 8 (3), S. 209 - 228 (1999)

Auletta, V.; Dinitz, Y.; Nutov, Z.; Parente, D.: A 2-approximation algorithm for finding an optimum 3-vertex-connected spanning subgraph. Journal of Algorithms 32 (1), S. 21 - 30 (1999)

Basin, D. A.; Friedrich, S.: Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods in Systems Design 15 (2), S. 99 - 122 (1999)

Blackburn, P.; Tzakova, M.: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7 (1), S. 27 - 54 (1999)

Bockmayr, A.; Eisenbrand, F.; Hartmann, M.; Schulz, A. S.: On the Chvátal Rank of Polytopes in the 0/1 Cube. Discrete applied mathematics 98 (1/2), S. 21 - 27 (1999)

Brooks-Wilson, A.; Marcil, M.; Clee, S. M.; Zhang, L.-H.; Roomp, K.; van Dam, M.; Yu, L.; Brewer, C.; Collins, J. A.; Molhuizen, H.O. et al.; Loubser, O.; Ouelette, B.F.; Fichter, K.; Ashbourne-Excoffon, K.J.; Sensen, C.W.; Scherer, S.; Mott, S.; Denis, M.; Martindale, D.; Frohlich, J.; Morgan, K.; Koop, B.; Pimstone, S.; Kastelein, J.J.P.; Hayden, M. R.: Mutations in ABC1 in Tangier disease and familial high-density lipoprotein. Nature Genetics 22 (4), S. 336 - 45 (1999)

Buchmann, J.; Eisenbrand, F.: On Factor Refinement in Number Fields. Mathematics of Computation 68 (225), S. 345 - 350 (1999)

Cheriyan, J.; Mehlhorn, K.: An Analysis of the Highest-level Selection rule in the Preflow-push Max-flow Algorithm. Information Processing Letters 69 (5), S. 239 - 242 (1999)

Coquillart, S.; Seidel, H.-P.: Editorial. Computer Graphics Forum 18 (4), S. 200 (1999)

Delzanno, G.; Galmiche, D.; Martelli, M.: A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science 9 (3), S. 253 - 286 (1999)