Scientific Publications

Abadi, M.; Blanchet, B.: Secrecy Types for Asymmetric Communication. Theoretical Computer Science 298 (3), pp. 387 - 415 (2003)

Adler, M.; Räcke, H.; Sivadasan, N.; Sohler, C.; Vöcking, B.: Randomized Pursuit-Evasion in Graphs. Combinatorics, Probability and Computing 12, pp. 225 - 244 (2003)

Albrecht, M.; Domingues, F. S.; Schreiber, S.; Lengauer, T.: Identification of mammalian orthologs associates PYPAF5 with distinct functional roles. FEBS Letters 538, pp. 173 - 177 (2003)

Albrecht, M.; Domingues, F. S.; Schreiber, S.; Lengauer, T.: Structural localization of disease-associated sequence variations in the NACHT and LRR domains of PYPAF1 and NOD2. FEBS Letters 554, pp. 520 - 528 (2003)

Albrecht, M.; Hoffmann, D.; Evert, B. O.; Schmitt, I.; Wüllner, U.; Lengauer, T.: Structural modeling of ataxin-3 reveals distant homology to adaptins. Proteins: Structure, Function, and Genetics 50, pp. 355 - 370 (2003)

Albrecht, M.; Lengauer, T.: Pyranose oxidase identified as a member of the GMC oxidoreductase family. Bioinformatics 19, pp. 1216 - 1220 (2003)

Albrecht, M.; Lengauer, T.; Schreiber, S.: Disease-associated variants in PYPAF1 and NOD2 result in similar alterations of conserved sequence. Bioinformatics 19, pp. 2171 - 2175 (2003)

Albrecht, M.; Tosatto, S. C.E.; Lengauer, T.; Valle, G.: Simple consensus procedures are effective and sufficient in secondary structure prediction. Protein Engineering 16, pp. 459 - 462 (2003)

Althaus, E.; Duchier, D.; Koller, A.; Mehlhorn, K.; Niehren, J.; Thiel, S.: An Efficient Graph Algorithm for Dominance Constraints. Journal of Algorithms 48 (1), pp. 194 - 219 (2003)

Antes, I.; Wang, H.; Chandler, D.; Oster, G.: The unbinding of ATP from F1-ATPase. Biophysical Journal 85, pp. 695 - 706 (2003)

Arge, L.; Meyer, U.; Toma, L.; Zeh, N.: On external-memory planar depth first search. Journal of Graph Algorithms and Applications 7, pp. 105 - 129 (2003)

Avenhaus, J.; Hillenbrand, T.; Löchner, B.: On Using Ground Joinable Equations in Equational Theorem Proving. Journal of Symbolic Computation 36, pp. 217 - 233 (2003)

Balafoutis, E.; Paterakis, M.; Triantafillou, P.; Nerjes, G.; Muth, P.; Weikum, G.: Clustered Scheduling Algorithms for Mixed-Media Disk Workloads in a Multimedia Server. Cluster Computing 6, pp. 75 - 86 (2003)

Bast, H.; Mehlhorn, K.; Schäfer, G.; Tamaki, H.: A Heuristic for Dijkstra's Algorithm With Many Targets and its Use in Weighted Matching Algorithms. Algorithmica 36, pp. 75 - 88 (2003)

Beerenwinkel, N.; Däumer, M.; Oette, M.; Korn, K.; Hoffmann, D.; Kaiser, R.; Lengauer, T.; Selbig, J.; Walter, H.: Geno2pheno: estimating phenotypic drug resistance from HIV-1 genotypes. Nucleic Acids Research 31, pp. 3850 - 3855 (2003)

Beerenwinkel, N.; Lengauer, T.; Däumer, M.; Kaiser, R.; Walter, H.; Korn, K.; Hoffmann, D.; Selbig, J.: Methods for optimizing antiviral combination therapies. Bioinformatics 19, pp. i16 - i25 (2003)

Blanchet, B.: Escape Analysis for Java (TM): Theory and Practice. ACM Transactions on Programming Languages and Systems 25 (6), pp. 713 - 775 (2003)

Blanz, V.; Vetter, T.: Face Recognition Based on Fitting a 3D Morphable Model. IEEE Transactions on Pattern Analysis and Machine Intelligence 25, pp. 1063 - 1074 (2003)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.: Extending the Balas-Yu Bounds on the Number of Maximal Independent Sets in Graphs to Hypergraphs and Lattices. Mathematical Programming, Ser. B 98 (1-3), p. 14 (2003)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.: An Inequality for Polymatroid Functions and its Applications. Discrete applied mathematics 131, p. 27 (2003)