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)

Bläser, M.; Jindal, G.; Pandey, A.: Greedy Strikes Again: A Deterministic PTAS for Commutative Rank of Matrix Spaces. Electronic Colloquium on Computational Complexity (ECCC): Report Series 145, S. 1 - 12 (2016)

Bock, C.; Farlik, M.; Sheffield, N. C.: Multi-Omics of Single Cells: Strategies and Applications. Trends in Biotechnology 34 (8), S. 605 - 608 (2016)

Bock, C.; Halbritter, F.; Carmona, F. J.; Tierling, S.; Datlinger, P.; Assenov, Y.; Berdasco, M.; Bergmann, A. K.; Booher, K.; Busato, F. et al.; Campan, M.; Dahl, C.; Dahmcke, C. M.; Diep, D.; Fernández, A. F.; Gerhauser, C.; Haake, A.; Heilmann, K.; Holcomb, T.; Hussmann, D.; Ito, M.; Kläver, R.; Kreutz, M.; Kulis, M.; Lopez, V.; Nair, S. S.; Paul, D. S.; Plongthongkum, N.; Qu, W.; Queirós, A. C.; Reinicke, F.; Sauter, G.; Schlomm, T.; Statham, A.; Stirzaker, C.; Strogantsev, R.; Urdinguio, R. G.; Walter, K.; Weichenhan, D.; Weisenberger, D. J.; Beck, S.; Clark, S. J.; Esteller, M.; Ferguson-Smith, A. C.; Fraga, M. F.; Guldberg, P.; Hansen, L. L.; Laird, P. W.; Martín-Subero, J. I.; Nygren, A. O. H.; Peist, R.; Plass, C.; Shames, D. S.; Siebert, R.; Sun, X.; Tost, J.; Walter, J.; Zhan, K.; BLUEPRINT consortium: Quantitative Comparison of DNA Methylation Assays for Biomarker Development and Clinical Applications. Nature Biotechnology 34, S. 726 - 737 (2016)

Boechat, P.; Dokter, M.; Kenzel, M.; Seidel, H.-P.; Schmalstieg, D.; Steinberger, M.: Representing and Scheduling Procedural Generation using Operator Graphs. ACM Transactions on Graphics 35 (6), 183 (2016)

Bouzidi, Y.; Lazard, S.; Moroz, G.; Pouget, M.; Rouillier, F.; Sagraloff, M.: Solving Bivariate Systems Using Rational Univariate Representations. Journal of Complexity 37, S. 34 - 75 (2016)

Bracciali, A.; Aldinucci, M.; Patterson, M.; Marschall, T.; Pisanti, N.; Merelli, I.; Torquati, M.: PWHATSHAP: Efficient Haplotyping for Future Generation Sequencing. BMC Bioinformatics 17 (Suppl. 11), 342 (2016)

Brandt, C.; von Tycowicz, C.; Hildebrandt, K.: Geometric Flows of Curves in Shape Space for Processing Motion of Deformable Objects. Computer Graphics Forum 35 (2), S. 295 - 305 (2016)

Bringmann, K.; Hermelin, D.; Mnich, M.; van Leeuwen, E. J.: Parameterized Complexity Dichotomy for Steiner Multicut. Journal of Computer and System Sciences, S. 1020 - 1043 (2016)

Bringmann, K.; Mulzer, W.: Approximability of the Discrete Fréchet Distance. Journal on Computational Geometry 7 (2), S. 46 - 76 (2016)

Bringmann, K.; Sauerwald, T.; Stauffer, A.; Sun, H.: Balls into Bins via Local Search: Cover Time and Maximum Load. Random Structures and Algorithms 48 (4), S. 681 - 702 (2016)

Bulling, A.: Pervasive Attentive User Interfaces. Computer 49 (1), S. 94 - 98 (2016)

Bulling, A.; Kunze, K.: Eyewear Computers for Human-Computer Interaction. Interactions 23 (3), S. 70 - 73 (2016)

Calagari, K.; Elgamal, T.; Diab, K.; Templin, K.; Didyk, P.; Matusik, W.; Hefeeda, M.: Depth Personalization and Streaming of Stereoscopic Sports Videos. ACM Transactions on Multimedia Computing, Communications, and Applications 12 (3), 41 (2016)

Carlson, J. M.; Du, V. Y.; Pfeifer, N.; Bansal, A.; Tan, V. Y. F.; Power, K.; Brumme, C. J.; Kreimer, A.; DeZiel, C. E.; Fusi, N. et al.; Schaefer, M.; Brockman, M. A.; Gilmour, J.; Price, M. A.; Kilembe, W.; Haubrich, R.; John, M.; Mallal, S.; Shapiro, R.; Frater, J.; Harrigan, P. R.; Ndung'u, T.; Allen, S.; Heckerman, D.; Sidney, J.; Allen, T. M.; Goulder, P. J. R.; Brumme, Z. L.; Hunter, E.; Goepfert, P. A.: Impact of Pre-adapted HIV Transmission. Nature Medicine 22, S. 606 - 613 (2016)

Case, J.; Kötzing, T.: Topological Separations in Inductive Inference. Theoretical Computer Science 260, S. 33 - 45 (2016)