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