Scientific Publications
Journal Article (102)
1.
Journal Article
52 (1), pp. 102 - 146 (2005)
Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM 2.
Journal Article
58 (1-2), pp. 3 - 27 (2005)
Computer-Assisted Verification of a Protocol for Certified Email. Science of Computer Programming 3.
Journal Article
48, pp. 111 - 118 (2005)
The Lowell Database Research Self-Assessment. Communications of the ACM 4.
Journal Article
8, pp. 201 - 212 (2005)
Mixed feelings: Expression of non-basic emotions in a muscle-based talking head. Virtual Reality 5.
Journal Article
365, p. 1230 - 1230 (2005)
LRRK2 mutations and parkinsonism. The Lancet 6.
Journal Article
327, pp. 679 - 687 (2005)
The HIN domain of IFI-200 proteins consists of two OB folds. Biochemical and Biophysical Research Communications 7.
Journal Article
21, pp. ii220 - ii221 (2005)
Decomposing protein networks into domain-domain interactions. Bioinformatics 8.
Journal Article
33, pp. 115 - 120 (2005)
Approximating k-Hop Minimum-Spanning Trees. Operations Research Letters 9.
Journal Article
34, pp. 71 - 74 (2005)
Report on the DB/IR panel at SIGMOD 2005. SIGMOD Record 10.
Journal Article
45, pp. 1291 - 1302 (2005)
POEM: Parameter Optimization using Ensemble Methods: Application to target specific scoring functions. Journal of Chemical Information and Modeling 11.
Journal Article
I/05, pp. 119 - 122 (2005)
Präzisionssuche im homöopathischen Netz. Homöopathie-Zeitschrift 12.
Journal Article
1, pp. 5 - 11 (2005)
Automated Reasoning, Knowledge Representation and Management. KI - Künstliche Intelligenz 13.
Journal Article
191, pp. 1953 - 1960 (2005)
Estimating HIV evolutionary pathways and the genetic barrier to drug resistance. The Journal of Infectious Diseases 14.
Journal Article
12, pp. 584 - 598 (2005)
Learning multiple evolutionary pathways from cross-sectional data. Journal of Computational Biology 15.
Journal Article
21, pp. 2106 - 2107 (2005)
Mtreemix: a software package for learning and using mixture models of mutagenetic trees. Bioinformatics 16.
Journal Article
21, pp. 3943 - 3950 (2005)
Computational methods for the design of effective therapies against drug resistant HIV strains. Bioinformatics 17.
Journal Article
20, pp. 152 - 166 (2005)
Das MINERVA-Projekt: Datenbankselektion für Peer-to-Peer-Websuche. Informatik - Forschung und Entwicklung 18.
Journal Article
333 (1-2), pp. 67 - 90 (2005)
Verification of Cryptographic Protocols: Tagging Enforces Termination. Theoretical Computer Science 19.
Journal Article
21, pp. 4067 - 4068 (2005)
BiQ Analyzer: visualization and quality control for DNA methylation data from bisulfite sequencing. Bioinformatics 20.
Journal Article
117, pp. 558 - 564 (2005)
Structural and functional analysis of a novel mutation of CYP21B in a heterozygote carrier of 21-hydroxylase deficiency. Human Genetics