Delzanno, G.; Podelski, A.: Constraint-based Deductive Model Checking. International Journal on Software Tools for Technology Transfer (STTT) 3 (3), S. 250 - 270 (2001)

Doerr, B.: Vector Balancing Games with Aging. Electronic Notes in Discrete Mathematics 10, S. xx - xx (2001)

Doerr, B.; Srivastav, A.: Multi-Color Discrepancies - Extended Abstract -. Electronic Notes in Discrete Mathematics 7, S. 78 - 81 (2001)

Doerr, B.; Srivastav, A.: Multi-Color Discrepancy of Arithmetic Progressions. Electronic Notes in Discrete Mathematics 8, S. 27 - 30 (2001)

Drago, F.; Myszkowski, K.: Validation Proposal for Global Illumination and Rendering Techniques. Computers & Graphics 25 (3), S. 511 - 518 (2001)

Eisenbrand, F.: Short Vectors of Planar Integral Lattices via Continued Fractions. Information Processing Letters 79, S. 121 - 126 (2001)

El Kahoui, M.: Improved algorithms for linear complementarity problems arising from collision response. Mathematics and Computers in Simulation 56 (1), S. 69 - 93 (2001)

Feldmann, A.; Greenberg, A. G.; Lund, C.; Reingold, N.; Rexford, J.; True, F.: Deriving Traffic Demands for Operational IP Networks: Methodology and Experience. IEEE/ACM Transactions on Networking 9 (3), S. 265 - 280 (2001)

Ganzinger, H.: Efficient deductive methods for program analysis. ACM SIGPLAN Notices 36 (3), S. 102 - 103 (2001)

Jaeger, M.: Automatic Derivation of Probabilistic Inference Rules. International Journal of Approximate Reasoning 28 (1), S. 1 - 22 (2001)

Jaeger, M.: Complex Probabilistic Modeling with Recursive Relational Bayesian Networks. Annals of Mathematics and Artificial Intelligence 32, S. 179 - 220 (2001)

Joo, Y.; Ribeiro, V. J.; Feldmann, A.; Gilbert, A. C.; Willinger, W.: TCP/IP Traffic Dynamics and Network Performance: A Lesson in Workload Modeling, Flow Control, and Trace-driven Simulations. Computer Communication Review 31 (2), S. 25 - 37 (2001)

Kraiss, A.; Schön, F.; Weikum, G.; Deppisch, U.: Towards Response Time Guarantees for e-Service Middleware. IEEE Data(Base) Engineering Bulletin 24 (1), S. 58 - 63 (2001)

Krysta, P.; Solis-Oba, R.: Approximation Algorithms for Bounded Facility Location. Journal of Combinatorial Optimization 5 (2), S. 233 - 247 (2001)

Kumar, V. S. A.: Coupling vs. conductance for the Jerrum-Sinclair chain. Random Structures & Algorithms 18, S. 1 - 17 (2001)

Lengauer, T.; Beerenwinkel, N.; Schmidt, B.; Walter, H.; Kaiser, R.; Hoffmann, D.; Korn, K.; Selbig, J.: Geno2pheno: a new machine learning approach to predicting phenotypic drug resistance from genotype. Antiviral Therapy 6 (Supp. 1) (2001)

Lensch, H. P. A.; Goesele, M.; Seidel, H.-P.: A Framework for the Acquisition, Processing and Interactive Display of High Quality 3D Models. Festschrift zum 60. Geburtstag von Wolfgang Straßer WSI-2001-20, S. 131 - 166 (2001)

Lensch, H. P. A.; Heidrich, W.; Seidel, H.-P.: A Silhouette-Based Algorithm for Texture Registration and Stitching. Graphical Models 63 (4), S. 245 - 262 (2001)

Lomet, D.; Weikum, G.: Guest Editorial Introduction to the Special Section on the 16th International Conference on Data Engineering. IEEE Transactions on Knowledge and Data Engineering 13 (1), S. 5 - 6 (2001)

Mehlhorn, K.; Meiser, S.; Rasch, R.: Furthest Site Abstract Voronoi Diagrams. International Journal of Computational Geometry & Applications 11 (6), S. 583 - 616 (2001)