Kim, M.-S.; Seidel, H.-P.: Special Issue on Pacific Graphics '99 in Graphical Models. Graphical Models 62 (6), S. 389 (2000)

Kobbelt, L.: Discrete fairing and variational subdivision for freeform surface design. The Visual Computer 16 (3/4), S. 142 - 158 (2000)

Kohlbacher, O.; Lenhof, H.-P.: BALL - Rapid Software Prototyping in Computational Molecular Biology. Bioinformatics 16 (9), S. 815 - 824 (2000)

Kontogiannis, S.; Pantziou, G. E.; Spirakis, P. G.; Yung, M.: Robust Parallel Computations through Randomization. Theory of Computing Systems 33 (5/6), S. 427 - 464 (2000)

Kopylov, E.; Dmitriev, K.: Light propagation visualization as a tool for 3D scene analysis in lighting design. Computers & Graphics 24, S. 31 - 39 (2000)

Krishna Rao, M. R. K.: Some characteristics of strong innermost normalization. Theoretical Computer Science 239 (1), S. 141 - 164 (2000)

Krishna Rao, M. R. K.: Some classes of prolog programs inferable from positive data. Theoretical Computer Science 241 (1/2), S. 211 - 223 (2000)

Labsik, U.; Kobbelt, L. P.; Schneider, R.; Seidel, H.-P.: Progressive Transmission of Subdivision Surfaces. Computational Geometry: Theory and Applications 15 (1-3), S. 25 - 39 (2000)

Lee, J.-H.; Park, S.-M.; Chwa, K.-Y.: Searching a polygonal room with one door by a 1-searcher. International Journal of Computational Geometry and Applications 10 (2), S. 201 - 220 (2000)

Lee, J.-H.; Shin, C.-S.; Chwa, K.-Y.: Optimal Embedding of Multiple Directed Hamiltonian Rings into d-dimensional Meshes. Journal of Parallel and Distributed Computing 60 (6), S. 775 - 783 (2000)

Lee, S.-W.; Kim, Y.-M.; Choi, S. W.: Fast Scene Change Detection Using Direct Feature Extraction from MPEG Compressed Videos. IEEE Transactions on Multimedia 2 (4), S. 240 - 254 (2000)

Lermen, M.; Reinert, K.: The practical use of the A* algorithm for exact multiple sequence alignment. Journal of Computational Biology 7 (5), S. 665 - 671 (2000)

Levy, J.; Veanes, M.: On the Undecidability of Second-Order Unification. Information and Computation 159, S. 125 - 150 (2000)

Lu, M.; Wu, J.: On Theorem proving in Annotated Logics. Journal of Applied Non-Classical Logics 10 (2), S. 121 - 143 (2000)

Lürig, C.; Kobbelt, L.; Ertl, T.: Hierachical solutions for the deformable surface problem in visualization. Graphical Models 62 (1), S. 2 - 18 (2000)

Maggs, B. M.; Vöcking, B.: Improved Routing and Sorting on Multibutterflies. Algorithmica 28 (4), S. 438 - 464 (2000)

Makinson, D.; van der Torre, L. W. N.: Input-output logics. Journal of Philosophical Logic 29 (4), S. 383 - 408 (2000)

Matthews, S.; Basin, D. A.: Structuring Metatheory on Inductive Definitions. Information and Computation 162 (1/2), S. 80 - 95 (2000)

Müller, M.; Niehren, J.; Podelski, A.: Ordering Constraints over Feature Trees. Constraints 5 (1/2), S. 7 - 41 (2000)

Muth, P.; O'Neil, P. E.; Pick, A.; Weikum, G.: The LHAM Log-Structured History Data Access Method. The VLDB Journal 8 (3-4), S. 199 - 221 (2000)