de Nivelle, H.; Bezem, M.; Hendriks, D.: Automated Proof Construction in Type Theory Using Resolution. In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), pp. 148 - 163 (Ed. McAllester, D.). Untitled Event, Carnegie Mellon University, Pittsburgh, PA, USA, 2000. Springer, Berlin, Germany (2000)

Delzanno, G.; Raskin, J.-F.: Symbolic Representation of Upward-Closed Sets. In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), pp. 426 - 440 (Eds. Graf, S.; Schwartzbach, M. I.). Untitled Event, Berlin, Germany, 2000. Springer, Berlin, Germany (2000)

Eisenbrand, F.; Bockmayr, A.: Combining Logic and Optimization in Cutting Plane Theory. In: Frontiers of Combining Systems, pp. 1 - 17 (Eds. Kirchner, H.; Ringeissen, C.). Third International Workshop on Frontiers of Combining Systems, Nancy, France, March 22, 2000 - March 24, 2000. Springer, Berlin (2000)

Esparza, J.; Podelski, A.: Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), pp. 1 - 11. Untitled Event, Boston, Massachusetts, USA, 2000. ACM, New York, USA (2000)

Feldmann, A.; Greenberg, A. G.; Lund, C.; Reingold, N.; Rexford, J.; True, F.: Deriving Traffic Demands for Operational IP Networks: Methodology and Experience. In: Proceedings of the Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, pp. 257 - 270. Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication , Stockholm, Sweden, August 28, 2000 - September 01, 2000. ACM, New York, NY (2000)

Feldmann, A.; Muthukrishnan, S.: Tradeoffs for Packet Classification. In: Proceedings IEEE Infocom 2000, pp. 1193 - 1202. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Tel Aviv, Israel, March 26, 2000 - March 30, 2000. IEEE, Piscataway, NJ (2000)

Fleischer, R.; Wahl, M.: Online scheduling revisited. In: Algorithms - ESA 2000, Proceedings of the 8th Annual European Symposium (ESA-00), pp. 202 - 210 (Ed. Paterson, M.). Untitled Event, Saarbrücken, Germany, 2000. Springer, Berlin, Germany (2000)

Funke, S.; Mehlhorn, K.: LOOK - a Lazy Object-Oriented Kernel for Geometric Computation. In: Proceedings of the 16th Annual Symposium on Computational Geometry (SCG-00), pp. 156 - 165. Untitled Event, Hong Kong, China, June 12, 2000. ACM, New York, USA (2000)

Ganzinger, H.; Sofronie-Stokkermans, V.: Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), pp. 337 - 344. Untitled Event, Portland, Oregon, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (2000)

Ghali, S.; Fiume, E.; Seidel, H.-P.: Shadow Computation: A Unified Perspective. In: Proceedings of the 21st Annual Conference of the European Association for Computer Graphics, pp. 1 - 17. 21st Annual Conference of the European Association for Computer Graphics, Interlaken, Switzerland, August 21, 2000 - August 25, 2000. Eurographics, Aire-la-Ville, Switzerland (2000)

Ghali, S.; Fiume, E.; Seidel, H.-P.: Object-Space, Connectivity-Preserving, Shadow Computation. In: Proceedings of Vision, Modeling, and Visualization 2000, pp. 281 - 289 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)

Gillmann, M.; Mindermann, R.; Weikum, G.: Benchmarking and Configuration of Workflow Management Systems. In: Proceedings of the 7th International Conference on Cooperative Information Systems (CoopIS 2000), pp. 186 - 197 (Eds. Etzion, O.; Scheuermann, P.). Untitled Event, Eilat, Israel, September 06, 2000 - September 08, 2000. Springer, Heidelberg, GER (2000)

Gillmann, M.; Weißenfels, J.; Shegalov, G.; Roth, O.; Wonner, W.; Weikum, G.: A Goal-driven Auto-Configuration Tool for the Distributed Workflow Management System Mentor-lite. In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, p. 595 - 595. Untitled Event, Dallas, U.S.A., May 16, 2000 - May 18, 2000. ACM, New York (2000)

Gillmann, M.; Weissenfels, J.; Weikum, G.; Kraiss, A.: Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems. In: Proceedings of the 7th International Conference on Extending Database Technology (EDBT 2000), pp. 183 - 201 (Eds. Zaniolo, C.; Lockemann, P. C.; Scholl, M. H.; Grust, T.). Untitled Event, Konstanz, Germany, March 27, 2000 - March 31, 2000. Springer, Heidelberg, GER (2000)

Göbel, M.; Maier, P.: Three Remarks on Comprehensive Gröbner and SAGBI Bases. In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), pp. 191 - 202 (Eds. Ganzha, V. G.; Mayr, E. W.; Vorozhtsov, E. V.). Untitled Event, Samarkand, Uzbekistan, October 05, 2000 - October 09, 2000. Springer, Berlin, Germany (2000)

Goesele, M.; Lensch, H. P. A.; Heidrich, W.; Seidel, H.-P.: Building a Photo Studio for Measurement Purposes. In: Proceedings of Vision, Modeling, and Visualization 2000, pp. 231 - 238 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)

Haber, J.; Seidel, H.-P.: Using an Enhanced LBG Algorithm to Reduce the Codebook Error in Vector Quantization. In: Proceedings of Computer Graphics International 2000, pp. 99 - 104. Computer Graphics International 2000, Geneva, Switzerland, June 19, 2000 - June 24, 2000. IEEE, Los Alamitos, USA (2000)

Haber, J.; Stamminger, M.; Seidel, H.-P.: Customized Object Hierarchies. In: Proceedings of Vision, Modeling, and Visualization 2000, pp. 255 - 262 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)

Haber, J.; Stamminger, M.; Seidel, H.-P.: Enhanced Automatic Creation of Multi-Purpose Object Hierarchies. In: Proceedings of the 8th Pacific Conference on Computer Graphics and Applications, pp. 52 - 61;437 (Eds. Barsky, B. A.; Shinagawa, Y.; Wang, W.). 8th Pacific Conference on Computer Graphics and Applications, Hong Kong, China, October 05, 2000. IEEE, Los Alamitos, USA (2000)

Hagedoorn, M.; Overmars, M. H.; Veltkamp, R.: A New Visibility Partition for Affine Pattern Matching. In: Discrete Geometry for Computer Imagery, Proceedings of the 9th International Conference (DGCI-00), pp. 358 - 370 (Eds. Borgefors, G.; Nystrom, I.; Sanniti di Baja, G.). Untitled Event, Uppsala, Sweden, December 13, 2000 - December 15, 2000. Springer, Berlin, Germany (2000)