Scientific Publications

Albers, S.; Kursawe, K.; Schuierer, S.: Exploring unkown environments with obstacles. Algorithmica 32, pp. 123 - 143 (2002)

Albrecht, M.; Hanisch, D.; Zimmer, R.; Lengauer, T.: Improving fold recognition of protein threading by experimental distance constraints. In Silico Biology 2, pp. 325 - 337 (2002)

Althaus, E.; Kohlbacher, O.; Lenhof, H.-P.; Müller, P.: A combinatorial approach to protein docking with flexible side chains. Journal of Computational Biology 9, pp. 597 - 612 (2002)

Antes, I.; Thiel, W.; Gunsteren van, W. F.: Molecular dynamics simulations of photoactive yellow protein (PYP) in three states of its photocycle: a comparison with X-ray and NMR data and analysis of the effects of Glu46 deprotonation and mutation. European Biophysics Jounal 31, pp. 504 - 520 (2002)

Antifakos, S.; Schiele, B.: Beyond Position Awareness. Personal and Ubiquitous Computing 6 (5‐6), pp. 313 - 317 (2002)

Bachrach, R.; El-Yaniv, R.; Reinstädtler, M.: On the competitive theory and practice of online list accessing algorithms. Algorithmica 32, pp. 201 - 246 (2002)

Banderier, C.; Bousquet-Mélou, M.; Denise, A.; Flajolet, P.; Gardy, D.; Gouyou-Beauchamps, D.: Generating Functions for Generating Trees. Discrete Mathematics 246, pp. 29 - 55 (2002)

Banderier, C.; Flajolet, P.: Basic analytic combinatorics of directed lattice paths. Theoretical Computer Science 281, pp. 37 - 80 (2002)

Beerenwinkel, N.; Schmidt, B.; Walter, H.; Kaiser, R.; Lengauer, T.; Hoffmann, D.; Korn, K.; Selbig, J.: Diversity and complexity of HIV-1drug resistance: A bioinformatics approach to predicting phenotype from genotype. Proceedings of the National Academy of Sciences 99, pp. 8271 - 8276 (2002)

Bezem, M.; Hendriks, D.; de Nivelle, H.: Automated Proof Construction in Type Theory using Resolution. Journal of Automated Reasoning 29, pp. 253 - 275 (2002)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.: Generating Dual-Bounded Hypergraphs. Optimization Methods and Software 17 (5), p. 33 (2002)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.; Makino, K.: Dual-Bounded Generating Problems: All Minimal Integer Solutions for a Monotone System of Linear Inequalities. SIAM Journal on Computing 31, p. 20 (2002)

Bouziane, D.; El Kahoui, M.: Computation of the Dual of a Plane Projective Curve. Journal of Symbolic Computation 34 (2), pp. 105 - 117 (2002)

Brabec, S.; Annen, T.; Seidel, H.-P.: Practical Shadow Mapping. Journal of Graphics Tools 7 (4), pp. 9 - 18 (2002)

Bradford, P. G.; Golin, M. J.; Larmore, L. L.: Optimal prefix-free codes for unequal letter costs: Dynamic programming with the Monge property. Journal of Algorithms 42, pp. 277 - 303 (2002)

Brusi, A.; Sbert, M.; Bekaert, P.; Tobler, R.; Purgathofer, W.: Optimal ray shooting in Monte Carlo radiosity. Computers and Graphics 26, pp. 351 - 354 (2002)

Charatonik, W.; Podelski, A.: Set Constraints with Intersection. Information and Computation 179, pp. 213 - 229 (2002)

Choi, S. W.: Minkowski Sum of Semi-convex Domains in $\mathbbR^2$. Dissertationes Mathematicae 411, pp. 1 - 55 (2002)

Choi, S. W.; Seidel, H.-P.: Linear One-sided Stability of MAT for Weakly Injective Domain. Journal of Mathematical Imaging and Vision 17, pp. 237 - 247 (2002)

Crauser, A.; Ferragina, P.: A theoretical and experimental study on the construction of suffix arrays in external memory. Algorithmica 32, pp. 1 - 35 (2002)