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

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

Krishna Rao, M. R. K.: Some classes of prolog programs inferable from positive data. Theoretical Computer Science 241 (1/2), pp. 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), pp. 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), pp. 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), pp. 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), pp. 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), pp. 665 - 671 (2000)

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

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

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

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

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

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

Müller, M.; Niehren, J.; Podelski, A.: Ordering Constraints over Feature Trees. Constraints 5 (1/2), pp. 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), pp. 199 - 221 (2000)

Myszkowski, K.; Kunii, T. L.: A Case Study Towards Validation of Global Illumination Algorithms: Progressive Hierarchical Radiosity with Clustering. The Visual Computer 16 (5), pp. 271 - 288 (2000)

Myszkowski, K.; Rokita, P.; Tawara, T.: Perception-Based Fast Rendering and Antialiasing of Walkthrough Sequences. IEEE Transactions on Visualization and Computer Graphics 6 (4), pp. 360 - 379 (2000)

Nerjes, G.; Muth, P.; Paterakis, M.; Romboyannakis, Y.; Triantafillou, P.; Weikum, G.: Incremental Scheduling of Mixed Workloads in Multimedia Information Servers. Multimedia Tools and Applications 11 (1), pp. 9 - 33 (2000)

Nürnberger, G.; Zeilfelder, F.: Developments in bivariate spline interpolation. Journal of Computational and Applied Mathematics 120 (1/2), pp. 125 - 152 (2000)