Wissenschaftliche Publikationen
Zeitschriftenartikel (125)
1.
Zeitschriftenartikel
9 (7), 343 (2018)
Epistatic Interactions in NS5A of Hepatitis C Virus Suggest Drug Resistance Mechanisms. Genes 2.
Zeitschriftenartikel
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. Archive of Formal Proofs (2018)
3.
Zeitschriftenartikel
172 (1-2), S. 565 - 589 (2018)
Submodular Unsplittable Flow on Trees. Mathematical Programming / B 4.
Zeitschriftenartikel
Assessment of Established Techniques to Determine Developmental and Malignant Potential of Human Pluripotent Stem Cells. Nature Communications, 1925 (2018)
5.
Zeitschriftenartikel
48 (1), S. 42 - 48 (2018)
Charting the Algorithmic Complexity of Waypoint Routing. ACM SIGCOMM Computer Communication Review 6.
Zeitschriftenartikel
50, e453 (2018)
Whither systems medicine? Experimental & Molecular Medicine 7.
Zeitschriftenartikel
8, 2128 (2018)
Advanced Steel Microstructure Classification by Deep Learning Methods. Scientific Reports 8.
Zeitschriftenartikel
158, S. 64 - 80 (2018)
A Machine-checked Correctness Proof for Pastry. Science of Computer Programming 9.
Zeitschriftenartikel
81, S. 3993 - 4009 (2018)
New Tools and Connections for Exponential-time Approximation. Algorithmica 10.
Zeitschriftenartikel
24 (1), S. 1701 - 1707 (2018)
Safety and Antiviral Activity of Combination HIV-1 Broadly Neutralizing Antibodies in Viremic Individuals. Nature Medicine 11.
Zeitschriftenartikel
23 (2), e8, S. 276 - 288 (2018)
Functional Dissection of the Enhancer Repertoire in Human Embryonic Stem Cells. Cell Stem Cell 12.
Zeitschriftenartikel
14 (7), S. 3397 - 3408 (2018)
Consistent Prediction of Mutation Effect on Drug Binding in HIV-1 Protease Using Alchemical Calculations. Journal of Chemical Theory and Computation 13.
Zeitschriftenartikel
22 (6), e6, S. 879 - 892 (2018)
An ERK-Dependent Feedback Mechanism Prevents Hematopoietic Stem Cell Exhaustion. Cell Stem Cell 14.
Zeitschriftenartikel
86, S. 51 - 96 (2018)
A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. Journal of Symbolic Computation 15.
Zeitschriftenartikel
11, 66 (2018)
Integrative Analysis of Single-Cell Expression Data Reveals Distinct Regulatory States in Bidirectional Promoters. Epigenetics & Chromatin 16.
Zeitschriftenartikel
1 (1), 10502, S. 1 - 15 (2018)
Light-Field Appearance Editing Based on Intrinsic Decomposition. Journal of Perceptual Imaging 17.
Zeitschriftenartikel
80 (5), S. 1439 - 1458 (2018)
Sampling in Space Restricted Settings. Algorithmica 18.
Zeitschriftenartikel
61 (1-4), S. 333 - 365 (2018)
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Journal of Automated Reasoning 19.
Zeitschriftenartikel
18-064, S. 1 - 27 (2018)
Generalized Matrix Completion and Algebraic Natural Proofs Contact Add Comment RSS-Feed. Electronic Colloquium on Computational Complexity (ECCC): Report Series 20.
Zeitschriftenartikel
14, 3, S. 1 - 21 (2018)
A Deterministic PTAS for Commutative Rank of Matrix Spaces. Theory of Computing