Kalaghatgi, P.; Sikorski, A. M.; Knops, E.; Rupp, D.; Sierra, S.; Heger, E.; Neumann-Fraune, M.; Beggel, B.; Walker, A.; Timm, J. et al.; Walter, H.; Obermeier, M.; Kaiser, R.; Bartenschlager, R.; Lengauer, T.: Geno2pheno [HCV] -- A Web-based Interpretation System to Support Hepatitis C Treatment Decisions in the Era of Direct-Acting Antiviral Agents. PLoS One 11 (5), e0155869 (2016)

Lawyer, G.: Measuring the Potential of Individual Airports for Pandemic Spread over the World Airline Network. BMC Infectious Diseases 16 (1), 70 (2016)

Gregor, I.; Dröge, J.; Schirmer, M.; Quince, C.; MacHardy, A. C.: PhyloPythiaS+: A Self-training Method for the Rapid Reconstruction of Low-ranking Taxonomic Bins from Metagenomes. PeerJ 4, e1603 (2016)

Abdesselam, A.; Ikenmeyer, C.; Royle, G.: 16,051 Formulas for Ottaviani's Invariant of Cubic Threefolds. Journal of Algebra 447, S. 649 - 663 (2016)

Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P. et al.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.: Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra 50 (4), S. 145 - 147 (2016)

Ackermann, H.; Berenbrink, P.; Fischer, S.; Hoefer, M.: Concurrent Imitation Dynamics in Congestion Games. Distributed Computing 29 (2), S. 105 - 125 (2016)

Ahmad, M.; Helms, V.; Kalinina, O. V.; Lengauer, T.: The Role of Conformational Changes in Molecular Recognition. The Journal of Physical Chemistry B 120 (9), S. 2138 - 2144 (2016)

Akata, Z.; Perronnin, F.; Harchaoui, Z.; Schmid, C.: Label-Embedding for Image Classification. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (7), S. 1425 - 1438 (2016)

Albrecht, F.; List, M.; Bock, C.; Lengauer, T.: DeepBlue Epigenomic Data Server: Programmatic Data Retrieval and Analysis of Epigenome Region Sets. Nucleic Acids Research 44 (W1/Web Server issue), S. W581 - W586 (2016)

Alcaraz, N.; List, M.; Dissing-Hansen, M.; Rehmsmeier, M.; Tan, Q.; Mollenhauer, J.; Ditzel, H. J.; Baumbach, J.: Robust de novo pathway enrichment with KeyPathwayMiner 5. Faculty of 1000 Research 5, 1531 (2016)

Alvarez-Cortez, S.; Kunkel, T.; Masia, B.: Practical Low-Cost Recovery of Spectral Power Distributions. Computer Graphics Forum 35 (1), S. 166 - 178 (2016)

Athukorala, K.; Głowack, D.; Jacucci, G.; Oulasvirta, A.; Vreeken, J.: Is Exploratory Search Different? A Comparison of Information Search Behavior for Exploratory and Lookup Tasks. Journal of the Association for Information Science and Technology 67 (11), S. 2635 - 2651 (2016)

Auffray, C.; Balling, R.; Barroso, I.; Bencze, L.; Blomberg, N.; Bock, C.; Conesa, A.; Del Signore, S.; Delogne, C.; Deyilee, P. et al.; Di Meglio, A.; Eijkemans, M.; Flicek, P.; Graf, N.; Grimm, V.; Guchelaar, H.-J.; Guo, Y.-K.; Gut, I. G.; Hanbury, A.; Hanif, S.; Hilgers, R.-D.; Honrado, Á.; Hose, D. R.; Houwing-Duistermaat, J.; Hubbard, T.; Janacek, S. H.; Karanikas, H.; Kievits, T.; Kohler, M.; Kremer, A.; Lanfear, J.; Lengauer, T.; Maes, E.; Meert, T.; Müller, W.; Nickel, D.; Oledzki, P.; Pedersen, B.; Petkovic, M.; Pliakos, K.; Rattray, M.; Redón i Màs, J.; Schneider, R.; Sengstag, T.; Serra-Picamal, X.; Spek, W.; Vaas, L. A. I.; van Batenburg, O.; Vandelaer, M.; Varnai, P.; Villoslada, P.; Vizcaíno, J. A.; Wubbe, J. P. M.; Zanetti, G.: Making Sense of Big Data in Health Research: Towards an EU Action Plan. Genome Medicine 8, 71 (2016)

Belagiannis, V.; Amin, S.; Andriluka, M.; Schiele, B.; Navab, N.; Ilic, S.: 3D Pictorial Structures Revisited: Multiple Human Pose Estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (10), S. 1929 - 1942 (2016)

Berger, B.; Gaasterland, T.; Lengauer, T.; Orengo, C.; Gaeta, B.; Markel, S.; Valencia, A.: ISCB’s Initial Reaction to The New England Journal of Medicine Editorial on Data Sharing. PLoS Computational Biology 12 (3), e1004816 (2016)

Bishnu, A.; Dutta, K.; Ghosh, A.; Paul, S.: (1,j)-set Problem in Graphs. Discrete Mathematics 339 (10), S. 2515 - 2525 (2016)

Blanchette, J. C.; Böhme, S.; Fleury, M.; Smolka, S. J.; Steckermeier, A.: Semi-intelligible Isar Proofs from Machine-Generated Proofs. Journal of Automated Reasoning 56 (2), S. 155 - 200 (2016)

Blanchette, J. C.; Böhme, S.; Popescu, A.; Smallbone, N.: Encoding Monomorphic and Polymorphic Types. Logical Methods in Computer Science 12 (4), S. 1 - 52 (2016)

Blanchette, J. C.; Greenaway, D.; Kaliszyk, C.; Kühlwein, D.; Urban, J.: A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning 57 (3), S. 219 - 244 (2016)

Blanchette, J. C.; Kaliszyk, C.; Paulson, L. C.; Urban, J.: Hammering towards QED. Journal of Formalized Reasoning 9 (1), S. 101 - 148 (2016)