Nikumbh, S.; Pfeifer, N.: Genetic Sequence-based Prediction of Long-range Chromatin Interactions Suggests a Potential Role of Short Tandem Repeat Sequences in Genome Organization. BMC Bioinformatics 18, 218, S. 1 - 16 (2017)

Pironti, A.; Pfeifer, N.; Walter, H.; Jensen, B.-E. O.; Zazzi, M.; Gomes, P.; Kaiser, R.; Lengauer, T.: Using Drug Exposure for Predicting Drug Resistance – A data-driven Genotypic Interpretation Tool. PLoS One 12 (4), e0174992 (2017)

List, M.; Ebert, P.; Albrecht, F.: Ten Simple Rules for Developing Usable Software in Computational Biology. PLoS Computational Biology 13 (1), e1005265 (2017)

Adamaszek, A.; Renault, M. P.; Rosen, A.; van Stee, R.: Reordering Buffer Management with Advice. Journal of Scheduling 20 (5), S. 423 - 442 (2017)

Ahmad, M.; Helms, V.; Kalinina, O. V.; Lengauer, T.: Elucidating the Energetic Contributions to the Binding Free Energy. The Journal of Chemical Physics 146 (1), 014105 (2017)

Albrecht, F.; List, M.; Bock, C.; Lengauer, T.: DeepBlueR: Large-scale Epigenomic Analysis in R. Bioinformatics 33 (13), btx099, S. 2063 - 2064 (2017)

Alcaraz, N.; List, M.; Batra, R.; Vandin, F.; Ditzel, H. J.; Baumbach, J.: De novo Pathway-based Biomarker Identification. Nucleic Acids Research 45 (16), e151 (2017)

Almeida, D.; Skov, I.; Silva, A.; Vandin, F.; Tan, Q.; Röttger, R.; Baumbach, J.: Efficient Detection of Differentially Methylated Regions using DiMmeR. Bioinformatics 33 (4), S. 549 - 551 (2017)

Alon, N.; Moran, S.; Yehudayoff, A.: Sign Rank versus Vapnik-Chervonenkis Dimension. Sbornik: Mathematics 208 (12), S. 1724 - 1757 (2017)

Althaus, E.; Beber, B.; Damm, W.; Disch, S.; Hagemann, W.; Rakow, A.; Scholl, C.; Waldmann, U.; Wirtz, B.: Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement. Science of Computer Programming 148, S. 123 - 160 (2017)

Anand, S.; Bringmann, K.; Friedrich, T.; Garg, N.; Kumar, A.: Minimizing Maximum (Weighted) Flow-Time on Related and Unrelated Machines. Algorithmica 77 (2), S. 515 - 536 (2017)

Antoniadis, A.; Barcelo, N.; Consuegra, M.; Kling, P.; Nugent, M.; Pruhs, K.; Scquizzato, M.: Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-Off Schedules. Algorithmica 79 (2), S. 568 - 597 (2017)

Antoniadis, A.; Kling, P.; Ott, S.; Riechers, S.: Continuous Speed Scaling with Variability: A simple and Direct Approach. Theoretical Computer Science 678, S. 1 - 13 (2017)

Arabadzhiyska, E.; Tursun, O. T.; Myszkowski, K.; Seidel, H.-P.; Didyk, P.: Saccade Landing Position Prediction for Gaze-Contingent Rendering. ACM Transactions on Graphics 36 (4), 50, S. 1 - 12 (2017)

Azar, Y.; Hoefer, M.; Maor, I.; Reiffenhäuser, R.; Vöcking, B.: Truthful Mechanism Design via Correlated Tree Rounding. Mathematical Programming / A 163 (1-2), S. 445 - 469 (2017)

Babaei, V.; Ramos, J.; Lu, Y.; Webster, G.; Matusik, W.: FabSquare: Fabricating Photopolymer Objects by Mold 3D Printing and UV Curing. IEEE Computer Graphics and Applications 37 (3), S. 34 - 42 (2017)

Babaei, V.; Vidimče, K.; Foshey, M.; Kaspar, A.; Didyk, P.; Matusik, W.: Color Contoning for 3D Printing. ACM Transactions on Graphics 36 (4), 124, S. 1 - 15 (2017)

Bader, J.; Däumer, M.; Schöni-Affolter, F.; Böni, J.; Gorgievski-Hrisoho, M.; Martinetti, G.; Thielen, A.; Klimkait, T.: Therapeutic Immune Recovery and Reduction of CXCR4-Tropic HIV-1. Clinical Infectious Diseases 64 (3), S. 295 - 300 (2017)

Barbosa, H.; Blanchette, J. C.; Cruanes, S.; El Ouraoui, D.; Fontaine, P.: Language and Proofs for Higher-Order SMT (Work in Progress). Electronic Proceedings in Theoretical Computer Science 262, S. 15 - 22 (2017)

Barkatou, M. A.; Jaroschek, M.; Maddah, S. S.: Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Journal of Symbolic Computation 81, S. 41 - 68 (2017)