Scientific Publications

Knops, E.; Sierra, S.; Kalaghatgi, P.; Heger, E.; Kaiser, R.; Kalinina, O. V.: Epistatic Interactions in NS5A of Hepatitis C Virus Suggest Drug Resistance Mechanisms. Genes 9 (7), 343 (2018)

Schlichtkrull, A.; Blanchette, J. C.; Traytel, D.; Waldmann, U.: Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. Archive of Formal Proofs (2018)

Adamaszek, A.; Chalermsook, P.; Ene, A.; Wiese, A.: Submodular Unsplittable Flow on Trees. Mathematical Programming / B 172 (1-2), pp. 565 - 589 (2018)

Allison, T. F.; Andrews, P. W.; Avior, Y.; Barbaric, I.; Benvenisty, N.; Bock, C.; Brehm, J.; Bruestle, O.; Damjanov, I.; Elefanty, A. et al.; Felkner, D.; Gokhale, P. J.; Halbritter, F.; Healy, L. E.; Hu, T. X.; Knowles, B. B.; Loring, J. F.; Ludwig, T. E.; Mayberry, R.; Micallef, S.; Mohamed, J. S.; Mueller, F.-J.; Mummery, C. L.; Nakatsuji, N.; Ng, E. S.; Oh, S. K. W.; O'Shea, O.; Pera, M. F.; Reubinoff, B.; Robson, P.; Rossant, J.; Schuldt, B. M.; Solter, D.; Sourris, K.; Stacey, G.; Stanley, E. G.; Suemori, H.; Takahashi, K.; Yamanaka, S.: Assessment of Established Techniques to Determine Developmental and Malignant Potential of Human Pluripotent Stem Cells. Nature Communications, 1925 (2018)

Amiri, S. A.; Foerster, K.-T.; Jacob, R.; Schmid, S.: Charting the Algorithmic Complexity of Waypoint Routing. ACM SIGCOMM Computer Communication Review 48 (1), pp. 42 - 48 (2018)

Apweiler, R.; Beissbarth, T.; Berthold, M. R.; Bluethgen, N.; Burmeister, Y.; Dammann, O.; Deutsch, A.; Feuerhake, F.; Franke, A.; Hasenauer, J. et al.; Hoffmann, S.; Hoefer, T.; Jansen, P. L. M.; Kaderali, L.; Klingmueller, U.; Koch, I.; Kohlbacher, O.; Kuepfer, L.; Lammert, F.; Maier, D.; Pfeifer, N.; Radde, N.; Rehm, M.; Roeder, I.; Saez-Rodriguez, J.; Sax, U.; Schmeck, B.; Schuppert, A.; Seilheimer, B.; Theis, F. J.; Vera, J.; Wolkenhauer, O.: Whither systems medicine? Experimental & Molecular Medicine 50, e453 (2018)

Azimi, S. M.; Britz, D.; Engstler, M.; Fritz, M.; Mücklich, F.: Advanced Steel Microstructure Classification by Deep Learning Methods. Scientific Reports 8, 2128 (2018)

Azmy, N.; Merz, S.; Weidenbach, C.: A Machine-checked Correctness Proof for Pastry. Science of Computer Programming 158, pp. 64 - 80 (2018)

Bansal, N.; Chalermsook, P.; Laekhanukit, B.; Nanongkai, D.; Nederlof, J.: New Tools and Connections for Exponential-time Approximation. Algorithmica 81, pp. 3993 - 4009 (2018)

Bar-On, Y.; Gruell, H.; Schoofs, T.; Pai, J. A.; Nogueira, L.; Butler, A. L.; Millard, K.; Lehmann, C.; Suarez, I.; Oliveira, T. Y. et al.; Karagounis, T.; Cohen, Y. Z.; Wyen, C.; Scholten, S.; Handl, L.; Belblidia, S.; Dizon, J. P.; Vehreschild, J. J.; Witmer-Pack, M.; Shimeliovich, I.; Jain, K.; Fiddike, K.; Seaton, K. E.; Yates, N. L.; Horowitz, J.; Gulick, R. M.; Pfeifer, N.; Tomaras, G. D.; Seaman, M. S.; Faetkenheuer, G.; Caskey, M.; Klein, F.; Nussenzweig, M. C.: Safety and Antiviral Activity of Combination HIV-1 Broadly Neutralizing Antibodies in Viremic Individuals. Nature Medicine 24 (1), pp. 1701 - 1707 (2018)

Barakat, T. S.; Halbritter, F.; Zhang, M.; Rendeiro, A. F.; Perenthaler, E.; Bock, C.; Chambers, I.: Functional Dissection of the Enhancer Repertoire in Human Embryonic Stem Cells. Cell Stem Cell 23 (2), e8, pp. 276 - 288 (2018)

Bastys, T.; Gapsys, V.; Doncheva, N. T.; Kaiser, R.; de Groot, B. L.; Kalinina, O. V.: Consistent Prediction of Mutation Effect on Drug Binding in HIV-1 Protease Using Alchemical Calculations. Journal of Chemical Theory and Computation 14 (7), pp. 3397 - 3408 (2018)

Baumgartner, C.; Toifl, S.; Farlik, M.; Halbritter, F.; Scheicher, R.; Fischer, I.; Sexl, V.; Bock, C.; Baccarini, M.: An ERK-Dependent Feedback Mechanism Prevents Hematopoietic Stem Cell Exhaustion. Cell Stem Cell 22 (6), e6, pp. 879 - 892 (2018)

Becker, R.; Sagraloff, M.; Sharma, V.; Yap, C.: A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. Journal of Symbolic Computation 86, pp. 51 - 96 (2018)

Behjati Ardakani, F.; Kattler, K.; Nordstroem, K.; Gasparoni, N.; Gasparoni, G.; Fuchs, S.; Sinha, A.; Barann, M.; Ebert, P.; Fischer, J. et al.; Hutter, B.; Zipprich, G.; Imbusch, C. D.; Felder, B.; Eils, J.; Brors, B.; Lengauer, T.; Manke, T.; Rosenstiel, P.; Walter, J.; Schulz, M. H.: Integrative Analysis of Single-Cell Expression Data Reveals Distinct Regulatory States in Bidirectional Promoters. Epigenetics & Chromatin 11, 66 (2018)

Beigpour, S.; Shekhar, S.; Mansouryar, M.; Myszkowski, K.; Seidel, H.-P.: Light-Field Appearance Editing Based on Intrinsic Decomposition. Journal of Perceptual Imaging 1 (1), 10502, pp. 1 - 15 (2018)

Bhattacharya, A.; Issac, D.; Jaiswal, R.; Kumar, A.: Sampling in Space Restricted Settings. Algorithmica 80 (5), pp. 1439 - 1458 (2018)

Blanchette, J. C.; Fleury, M.; Lammich, P.; Weidenbach, C.: A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Journal of Automated Reasoning 61 (1-4), pp. 333 - 365 (2018)

Bläser, M.; Ikenmeyer, C.; Jindal, G.; Lysikov, V.: Generalized Matrix Completion and Algebraic Natural Proofs Contact Add Comment RSS-Feed. Electronic Colloquium on Computational Complexity (ECCC): Report Series 18-064, pp. 1 - 27 (2018)

Bläser, M.; Jindal, G.; Pandey, A.: A Deterministic PTAS for Commutative Rank of Matrix Spaces. Theory of Computing 14, 3, pp. 1 - 21 (2018)