Scientific Publications

Althaus, E.; Mehlhorn, K.: Traveling Salesman-Based Curve Reconstruction in Polynomial Time. SIAM Journal on Computing 31 (1), pp. 27 - 66 (2001)

Apostolakis, J.; Hofmann, D.; Lengauer, T.: Derivation of a scoring function for crystal structure prediction. Acta Crystallographica A57, pp. 442 - 450 (2001)

Areces, C.; de Rijke, M.; de Nivelle, H.: Resolution in modal, description and hybrid logic. Journal of Logic and Computation 11, pp. 717 - 736 (2001)

Arikati, S. R.; Dessmark, A.; Lingas, A.; Marathe, M. V.: Approximation algorithms for maximum two-dimensional pattern matching. Theoretical Computer Science 255 (1/2), pp. 51 - 62 (2001)

Ayari, A.; Basin, D. A.: A Higher-order Interpretation of Deductive Tableau. Journal of Symbolic Computation 31 (5), pp. 487 - 520 (2001)

Banderier, C.: Random Maps, Coalescing Saddles, Singularity Analysis, and Airy Phenomena. Random Structures & Algorithms 19 (3-4), pp. 194 - 246 (2001)

Basin, D. A.; Ganzinger, H.: Automated Complexity Analysis Based on Ordered Resolution. Journal of the ACM 48 (1), pp. 70 - 109 (2001)

Beerenwinkel, N.; Däumer, M.; Hoffmann, D.; Kaiser, R.; Korn, K.; Lengauer, T.; Schmidt, B.; Walter, H.; Selbig, J.: Neue Wege zur Optimierung von Anti-HIV Therapien. BIOforum 24 (12), pp. 912 - 914 (2001)

Beerenwinkel, N.; Schmidt, B.; Walter, H.; Kaiser, R.; Lengauer, T.; Hoffmann, D.; Korn, K.; Selbig, J.: Geno2pheno: A system for the interpretation of genotypic HIV Drug resistance tests. IEEE Intelligent Systems 16 (6), pp. 35 - 41 (2001)

Bittner, J.; Havran, V.: Exploiting coherence in hierarchical visibility algorithms. The Journal of Visualization and Computer Animation 12 (5), pp. 277 - 286 (2001)

Bockmayr, A.; Eisenbrand, F.: Cutting Planes and the Elementary Closure in Fixed Dimension. Mathematics of Operations Research 26 (2), pp. 304 - 312 (2001)

Booth, R.: The lexicographic closure as a revision process. Journal of Applied Non-Classical Logics 11 (1/2), pp. 35 - 58 (2001)

Brönnimann, H.; Burnikel, C.; Pion, S.: Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics 109 (1/2), pp. 25 - 47 (2001)

Burnikel, C.; Funke, S.; Seel, M.: Exact geometric computation using Cascading. International Journal of Computational Geometry & Applications 11 (3), pp. 245 - 266 (2001)

Choi, S. W.; Seidel, H.-P.: Hyperbolic Hausdorff Distance for Medial Axis Transform. Graphical Models 63 (5), pp. 369 - 384 (2001)

Claussen, C.; Buning, C.; Rarey, M.; Lengauer, T.: FlexE: Efficient Molecular Docking Considering Protein Structure Variations. Journal of Molecular Biology 308 (2), pp. 377 - 395 (2001)

Clee, S. M.; Zwinderman, A.H.; Engert, J.C.; Zwarts, K.Y.; Molhuizen, H.O.; Roomp, K.; Jukema, J.W.; van Wijland, M.; van Dam, M.; Hudson, T.J. et al.; Brooks-Wilson, A.; Genest, J. J.; Kastelein, J.J.P.; Hayden, M. R.: Common genetic variation in ABCA1 is associated with altered lipoprotein levels and a modified risk for coronary artery disease. Circulation 103 (9), pp. 1198 - 205 (2001)

Cole, R.; Ost, K.; Schirra, S.: Edge-Coloring Bipartite Multigraphs in O(E log D) Time. Combinatorica 21 (1), pp. 5 - 12 (2001)

Crauser, A.; Ferragina, P.; Mehlhorn, K.; Meyer, U.; Ramos, E. A.: Randomized External-Memory Algorithms for Line Segment Intersection and Other Geometric Problems. International Journal of Computational Geometry & Applications 11, pp. 305 - 337 (2001)

de Nivelle, H.; Blackburn, P.; Bos, J.; Kohlhase, M.: Inference and Computational Semantics. Studies in Linguistics and Philosophy, Computing Meaning 77 (2), pp. 11 - 28 (2001)