Wissenschaftliche Publikationen
Zeitschriftenartikel (62)
1.
Zeitschriftenartikel
31 (1), S. 27 - 66 (2001)
Traveling Salesman-Based Curve Reconstruction in Polynomial Time. SIAM Journal on Computing 2.
Zeitschriftenartikel
A57, S. 442 - 450 (2001)
Derivation of a scoring function for crystal structure prediction. Acta Crystallographica 3.
Zeitschriftenartikel
11, S. 717 - 736 (2001)
Resolution in modal, description and hybrid logic. Journal of Logic and Computation 4.
Zeitschriftenartikel
255 (1/2), S. 51 - 62 (2001)
Approximation algorithms for maximum two-dimensional pattern matching. Theoretical Computer Science 5.
Zeitschriftenartikel
31 (5), S. 487 - 520 (2001)
A Higher-order Interpretation of Deductive Tableau. Journal of Symbolic Computation 6.
Zeitschriftenartikel
19 (3-4), S. 194 - 246 (2001)
Random Maps, Coalescing Saddles, Singularity Analysis, and Airy Phenomena. Random Structures & Algorithms 7.
Zeitschriftenartikel
48 (1), S. 70 - 109 (2001)
Automated Complexity Analysis Based on Ordered Resolution. Journal of the ACM 8.
Zeitschriftenartikel
24 (12), S. 912 - 914 (2001)
Neue Wege zur Optimierung von Anti-HIV Therapien. BIOforum 9.
Zeitschriftenartikel
16 (6), S. 35 - 41 (2001)
Geno2pheno: A system for the interpretation of genotypic HIV Drug resistance tests. IEEE Intelligent Systems 10.
Zeitschriftenartikel
12 (5), S. 277 - 286 (2001)
Exploiting coherence in hierarchical visibility algorithms. The Journal of Visualization and Computer Animation 11.
Zeitschriftenartikel
26 (2), S. 304 - 312 (2001)
Cutting Planes and the Elementary Closure in Fixed Dimension. Mathematics of Operations Research 12.
Zeitschriftenartikel
11 (1/2), S. 35 - 58 (2001)
The lexicographic closure as a revision process. Journal of Applied Non-Classical Logics 13.
Zeitschriftenartikel
109 (1/2), S. 25 - 47 (2001)
Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics 14.
Zeitschriftenartikel
11 (3), S. 245 - 266 (2001)
Exact geometric computation using Cascading. International Journal of Computational Geometry & Applications 15.
Zeitschriftenartikel
63 (5), S. 369 - 384 (2001)
Hyperbolic Hausdorff Distance for Medial Axis Transform. Graphical Models 16.
Zeitschriftenartikel
308 (2), S. 377 - 395 (2001)
FlexE: Efficient Molecular Docking Considering Protein Structure Variations. Journal of Molecular Biology 17.
Zeitschriftenartikel
103 (9), S. 1198 - 205 (2001)
Common genetic variation in ABCA1 is associated with altered lipoprotein levels and a modified risk for coronary artery disease. Circulation 18.
Zeitschriftenartikel
21 (1), S. 5 - 12 (2001)
Edge-Coloring Bipartite Multigraphs in O(E log D) Time. Combinatorica 19.
Zeitschriftenartikel
11, S. 305 - 337 (2001)
Randomized External-Memory Algorithms for Line Segment Intersection and Other Geometric Problems. International Journal of Computational Geometry & Applications 20.
Zeitschriftenartikel
77 (2), S. 11 - 28 (2001)
Inference and Computational Semantics. Studies in Linguistics and Philosophy, Computing Meaning