Scientific Publications

Journal Article (102)

1.
Journal Article
Abadi, M.; Blanchet, B.: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM 52 (1), pp. 102 - 146 (2005)
2.
Journal Article
Abadi, M.; Blanchet, B.: Computer-Assisted Verification of a Protocol for Certified Email. Science of Computer Programming 58 (1-2), pp. 3 - 27 (2005)
3.
Journal Article
Abiteboul, S.; Agrawal, R.; Bernstein, P. A.; Carey, M. J.; Ceri, S.; Croft, W. B.; DeWitt, D. J.; Franklin, M. J.; Garcia-Molina, H.; Gawlick, D. et al.; Gray, J.; Haas, L. M.; Halevy, A. Y.; Hellerstein, J. M.; Ioannidis, Y. E.; Kersten, M. L.; Pazzani, M. J.; Lesk, M.; Maier, D.; Naughton, J. F.; Schek, H.-J.; Sellis, T. K.; Silberschatz, A.; Stonebraker, M.; Snodgrass, R. T.; Ullman, J. D.; Weikum, G.; Widom, J.; Zdonik, S. B.: The Lowell Database Research Self-Assessment. Communications of the ACM 48, pp. 111 - 118 (2005)
4.
Journal Article
Albrecht, I.; Schröder, M.; Haber, J.; Seidel, H.-P.: Mixed feelings: Expression of non-basic emotions in a muscle-based talking head. Virtual Reality 8, pp. 201 - 212 (2005)
5.
Journal Article
Albrecht, M.: LRRK2 mutations and parkinsonism. The Lancet 365, p. 1230 - 1230 (2005)
6.
Journal Article
Albrecht, M.; Choubey, D.; Lengauer, T.: The HIN domain of IFI-200 proteins consists of two OB folds. Biochemical and Biophysical Research Communications 327, pp. 679 - 687 (2005)
7.
Journal Article
Albrecht, M.; Huthmacher, C.; Tosatto, S. C.E.; Lengauer, T.: Decomposing protein networks into domain-domain interactions. Bioinformatics 21, pp. ii220 - ii221 (2005)
8.
Journal Article
Althaus, E.; Funke, S.; Har-Peled, S.; Könemann, J.; Ramos, E. A.; Skutella, M.: Approximating k-Hop Minimum-Spanning Trees. Operations Research Letters 33, pp. 115 - 120 (2005)
9.
Journal Article
Amer-Yahia, S.; Case, P.; Rölleke, T.; Shanmugasundaram, J.; Weikum, G.: Report on the DB/IR panel at SIGMOD 2005. SIGMOD Record 34, pp. 71 - 74 (2005)
10.
Journal Article
Antes, I.; Merkwirth, C.; Lengauer, T.: POEM: Parameter Optimization using Ensemble Methods: Application to target specific scoring functions. Journal of Chemical Information and Modeling 45, pp. 1291 - 1302 (2005)
11.
Journal Article
Bast, H.: Präzisionssuche im homöopathischen Netz. Homöopathie-Zeitschrift I/05, pp. 119 - 122 (2005)
12.
Journal Article
Baumgartner, P.; Furbach, U.; Yahya, A.: Automated Reasoning, Knowledge Representation and Management. KI - Künstliche Intelligenz 1, pp. 5 - 11 (2005)
13.
Journal Article
Beerenwinkel, N.; Däumer, M.; Sing, T.; Rahnenführer, J.; Lengauer, T.; Selbig, J.; Hoffmann, D.; Kaiser, R.: Estimating HIV evolutionary pathways and the genetic barrier to drug resistance. The Journal of Infectious Diseases 191, pp. 1953 - 1960 (2005)
14.
Journal Article
Beerenwinkel, N.; Rahnenführer, J.; Däumer, M.; Hoffmann, D.; Kaiser, R.; Selbig, J.; Lengauer, T.: Learning multiple evolutionary pathways from cross-sectional data. Journal of Computational Biology 12, pp. 584 - 598 (2005)
15.
Journal Article
Beerenwinkel, N.; Rahnenführer, J.; Kaiser, R.; Hoffmann, D.; Selbig, J.; Lengauer, T.: Mtreemix: a software package for learning and using mixture models of mutagenetic trees. Bioinformatics 21, pp. 2106 - 2107 (2005)
16.
Journal Article
Beerenwinkel, N.; Sing, T.; Lengauer, T.; Rahnenführer, J.; Roomp, K.; Savenkov, I.; Fischer, R.; Hoffmann, D.; Selbig, J.; Korn, K. et al.; Walter, H.; Berg, T.; Braun, P.; Fätkenheuer, G.; Oette, M.; Rockstroh, J.; Kupfer, B.; Kaiser, R.; Däumer, M.: Computational methods for the design of effective therapies against drug resistant HIV strains. Bioinformatics 21, pp. 3943 - 3950 (2005)
17.
Journal Article
Bender, M.; Michel, S.; Weikum, G.; Zimmer, C.: Das MINERVA-Projekt: Datenbankselektion für Peer-to-Peer-Websuche. Informatik - Forschung und Entwicklung 20, pp. 152 - 166 (2005)
18.
Journal Article
Blanchet, B.; Podelski, A.: Verification of Cryptographic Protocols: Tagging Enforces Termination. Theoretical Computer Science 333 (1-2), pp. 67 - 90 (2005)
19.
Journal Article
Bock, C.; Lengauer, T.; Reither, S.; Mikeska, T.; Paulsen, M.; Walter, J.: BiQ Analyzer: visualization and quality control for DNA methylation data from bisulfite sequencing. Bioinformatics 21, pp. 4067 - 4068 (2005)
20.
Journal Article
Bojunga, J.; Welsch, C.; Antes, I.; Albrecht, M.; Lengauer, T.; Zeuzem, S.: Structural and functional analysis of a novel mutation of CYP21B in a heterozygote carrier of 21-hydroxylase deficiency. Human Genetics 117, pp. 558 - 564 (2005)
Go to Editor View