Mehlhorn, K.; Snelting, G. (Eds.): Informatik 2000: Neue Horizonte im neuen Jahrhundert, 30. Jahrestagung der Gesellschaft für Informatik. 30. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, September 19, 2000 - September 22, 2000. Springer, Berlin, Germany (2000), 205 pp.

Althaus, E.; Kohlbacher, O.; Lenhof, H.-P.; Müller, P.: A Combinatorial Approach to Protein Docking with Flexible Side-Chains. In: Proceedings of the 4th Annual International Conference on Computational Molecular Biology (RECOMB-00), pp. 15 - 24 (Eds. Shamir, R.; Miyano, S.; Istrail, S.; Pevzner, P.; Waterman, M.). Untitled Event, Tokyo, Japan. ACM Press, New York, USA (2000)

Althaus, E.; Mehlhorn, K.: TSP-Based Curve Reconstruction in Polynomial Time. In: Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-00), pp. 686 - 695. Untitled Event, San Francisco, USA, January 09, 2000. ACM, New York, USA (2000)

Althaus, E.; Mehlhorn, K.; Näher, S.; Schirra, S.: Experiments on curve reconstruction. In: Proceedings of 2nd Workshop on Algorithm Engineering and Experiments (ALENEX-00), pp. 103 - 114. Untitled Event, San Francisco, USA, January 07, 2000. University of New Mexico, Albuquerque, USA (2000)

Amato, N. M.; Goodrich, M. T.; Ramos, E. A.: Linear-Time Triangulation of a Simple Polygon Made Easier Via Randomization. In: Proceedings of the 16th Annual Symposium on Computational Geometry (SCG-00), pp. 201 - 212. Untitled Event, Clear Water Bay, Kowloon, Hong Kong, June 12, 2000 - June 14, 2000. ACM Press, New York, USA (2000)

Backes, W.; Wetzel, S.: New Results on Lattice Basis Reduction in Practice. In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), pp. 135 - 152 (Ed. Bosma, W.). Untitled Event, Leiden, Netherlands, 2000. Springer, New York, USA (2000)

Banderier, C.: A Generalized Cover Time for Random Walks on Graphs. In: Proceedings of FPSAC'00, pp. 113 - 124. Untitled Event, Moscow, June 26, 2000 - June 30, 2000. Springer, Heidelberg (2000)

Banderier, C.: Planar Maps and Airy Phenomena,. In: Proceedings of ICALP'00, pp. 388 - 402. Untitled Event, Geneva, July 09, 2000 - July 15, 2000. Springer, Heidelberg (2000)

Bast, H.; Hert, S.: The Area Partitioning Problem. In: Proceedings of the 12th Annual Canadian Conference on Computational Geometry (CCCG-00), pp. 163 - 171 (Ed. Bremner, D.). Untitled Event, Fredericton, New Brunswick, Canada, 2000. University of New Brunswick, Fredericton, Canada (2000)

Beier, R.; Sibeyn, J. F.: A powerful heuristic for telephone gossiping. In: Proceedings of the 7th International Colloquium on Structural Information and Communication Complexity (SIROCCO-00), pp. 17 - 36 (Eds. Flammini, M.; Nardelli, E.; Proietti, G.; Spirakis, P.). Untitled Event, L'Aquila, Italy, 2000. Carleton Scientific, Waterloo, Canada (2000)

Bischoff, S.; Kobbelt, L. P.; Seidel, H.-P.: Towards Hardware Implementation of Loop Subdivision. In: Proceedings of 2000 ACM SIGGRAPH/Eurographics Workshop on Graphics Hardware, pp. 41 - 50 (Ed. Spencer, S. N.). 2000 ACM SIGGRAPH/Eurographics Workshop on Graphics Hardware, Interlaken, Switzerland, August 21, 2000 - August 22, 2000. ACM, New York, NY (2000)

Booth, R.: The lexicographic closure as a revision process. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000) (Eds. Baral, C.; Truszczynski, M.). Untitled Event, Breckenridge, Colorado, USA, April 09, 2000 - April 11, 2000. ?, ? (2000)

Botsch, M.; Rössl, C.; Kobbelt, L.: Feature Sensitive Sampling for Interactive Remeshing. In: Proceedings of Vision, Modeling, and Visualization (VMV-00), pp. 129 - 136 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). Untitled Event, Saarbrücken, Germany, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)

Brabec, S.; Seidel, H.-P.: Extended Light Maps. In: GAME-ON 2000 / 1st International Conference on Intelligent Games and Simulation, pp. 10 - 13 (Eds. Mehdi, Q.; Gough, N.). 1st International Conference on Intelligent Games and Simulation, London, UK, November 11, 2000 - November 12, 2000. Society for Computer Simulation International, San Diego, USA (2000)

Charatonik, W.: Directional Type Checking for Logic Programs: Beyond Discriminative Types. In: Proceedings of the 8th European Symposium on Programming (ESOP-00), pp. 72 - 87 (Ed. Smolka, G.). Untitled Event, Berlin, Germany, 2000. Springer, Berlin, Germany (2000)

Charatonik, W.; Podelski, A.; Talbot, J.-M.: Paths vs. Trees in Set-based Program Analysis. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), pp. 330 - 337. Untitled Event, Boston, Massachusetts, USA, 2000. ACM, New York, USA (2000)

Chaudhuri, S.; Weikum, G.: Rethinking Database System Architecture: Towards a Self-Tuning RISC-Style Database System. In: Proceedings of 26th International Conference on Very Large Data Bases (VLDB 2000), pp. 1 - 10 (Eds. El Abbadi, A.; Brodie, M. L.; Chakravarthy, S.; Dayal, U.; Kamel, N. et al.). Untitled Event, Cairo, Egypt, September 10, 2000 - September 14, 2000. Morgan Kaufmann, San Francisco, USA (2000)

Choi, S. W.; Lee, S.-W.: Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance. In: Proceedings of the 15th International Conference on Pattern Recognition (ICPR-00), pp. 139 - 142 (Eds. Sanfeliu, A.; Villanueva, J. J.; Vanrell, M.; Alquézar, R.; Huang, T. et al.). Untitled Event, Barcelona, Spain, September 03, 2000 - September 07, 2000. IEEE, Los Alamitos, USA (2000)

Davydov, O.; Nürnberger, G.; Zeilfelder, F.: Cubic Spline Interpolation on Nested Polygon Triangulations. In: Curve and Surface Fitting, Saint-Malo 1999, pp. 161 - 170 (Eds. Cohen, A.; Rabut, C.; Schumaker, L. L.). Untitled Event, Saint Malo, July 01, 1999 - July 08, 1999. Vanderbilt University, Nashville, USA (2000)

de Nivelle, H.: An Overview of Resolution Decision Procedures. In: Formalizing the Dynamics of Information, pp. 115 - 130 (Eds. Faller, M.; Kaufmann, S.; Pauly, M.). Untitled Event, Stanford University, Palo Alto, USA, 2000. Center for the Study of Language and Information, Stanford, USA (2000)