Batra, R.; Alcaraz, N.; Gitzhofer, K.; Pauling, J.; Ditzel, H. J.; Hellmuth, M.; Baumbach, J.; List, M.: On the Performance of De Novo Pathway Enrichment. njp Systems Biology and Applications 3, 6, S. 1 - 8 (2017)

Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Silvestri, R.; Trevisan, L.: Simple Dynamics for Plurality Consensus. Distributed Computing 30 (4), S. 293 - 306 (2017)

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. Bioinformatics 33 (18), S. 2968 - 2968 (2017)

Blanchette, J. C.; Popescu, A.; Traytel, D.: Abstract Soundness. Archive of Formal Proofs, S. 1 - 15 (2017)

Blanchette, J. C.; Popescu, A.; Traytel, D.: Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning 58 (1), S. 149 - 179 (2017)

Bringmann, K.; Ikenmeyer, C.; Zuiddam, J.: On Algebraic Branching Programs of Small Width. Electronic Colloquium on Computational Complexity (ECCC): Report Series 34 (Revision 1), S. 1 - 30 (2017)

Bringmann, K.; Künnemann, M.: Improved Approximation for Fréchet Distance on c-packed Curves Matching Conditional Lower Bounds. International Journal of Computational Geometry and Applications 27 (1/2), S. 85 - 119 (2017)

Bringmann, K.; Panagiotou, K.: Efficient Sampling Methods for Discrete Distributions. Algorithmica 79 (2), S. 484 - 508 (2017)

Brockherde, F.; Vogt, L.; Li, L.; Tuckerman, M. E.; Burke, K.; Müller, K.-R.: Bypassing the Kohn-Sham Equations with Machine Learning. Nature Communications 8, 872 (2017)

Bromberger, M.; Weidenbach, C.: New Techniques for Linear Arithmetic: Cubes and Equalities. Formal Methods in System Design 51 (3), S. 433 - 461 (2017)

Bürgisser, P.; Ikenmeyer, C.: Fundamental Invariants of Orbit Closures. Journal of Algebra 477, S. 390 - 434 (2017)

Bürgisser, P.; Ikenmeyer, C.; Hüttenhain, J.: Permanent versus Determinant: Not via Saturations. Proceedings of the American Mathematical Society 145, S. 1247 - 1258 (2017)

Busch, C. J.-L.; Hendrikx, T.; Weismann, D.; Jäckel, S.; Walenbergh, S. M. A.; Rendeiro, A. F.; Weißer, J.; Puhm, F.; Hladik, A.; Göderle, L. et al.; Papac-Milicevic, N.; Haas, G.; Millischer, V.; Subramaniam, S.; Knapp, S.; Bennett, K. L.; Bock, C.; Reinhardt, C.; Shiri-Sverdlov, R.; Binder, C. J.: Malondialdehyde Epitopes Are Sterile Mediators of Hepatic Inflammation in Hypercholesterolemic Mice. Hepatology 65 (4), S. 1181 - 1195 (2017)

Caskey, M.; Schoofs, T.; Gruell, H.; Settler, A.; Karagounis, T.; Kreider, E. F.; Murrell, B.; Pfeifer, N.; Nogueira, L.; Oliveira, T. Y. et al.; Learn, G. H.; Cohen, Y. Z.; Lehmann, C.; Gillor, D.; Shimeliovich, I.; Unson-O’Brien, C.; Weiland, D.; Robles, A.; Kümmerle, T.; Wyen, C.; Levin, R.; Witmer-Pack, M.; Eren, K.; Ignacio, C.; Kiss, S.; Jr, A. P. W.; Mouquet, H.; Zingman, B. S.; Gulick, R. M.; Keler, T.; Bjorkman, P. J.; Seaman, M. S.; Hahn, B. H.; Fätkenheuer, G.; Schlesinger, S. J.; Nussenzweig, M. C.; Klein, F.: Antibody 10-1074 Suppresses Viremia in HIV-1-infected Individuals. Nature Medicine 23 (2), S. 185 - 191 (2017)

Chen, R.; Gotsman, C.: Approximating Planar Conformal Maps Using Regular Polygonal Meshes. Computer Graphics Forum 36 (8), S. 629 - 642 (2017)

Chen, R.; Weber, O.: GPU-Accelerated Locally Injective Shape Deformation. ACM Transactions on Graphics 36 (6), 214 (2017)

Cheung, M.-W.; Ikenmeyer, C.; Mkrtchyan, S.: Symmetrizing Tableaux and the 5th Case of the Foulkes Conjecture. Journal of Symbolic Computation 80 (3), S. 833 - 843 (2017)

Cygan, M.; Pilipczuk, M.; Pilipczuk, M.; van Leeuwen, E. J.; Wrochna, M.: Polynomial Kernelization for Removing Induced Claws and Diamonds. Theory of Computing Systems 60 (4), S. 615 - 636 (2017)

Dai, A.; Nießner, M.; Zollhöfer, M.; Izadi, S.; Theobalt, C.: BundleFusion: Real-time Globally Consistent 3D Reconstruction using On-the-fly Surface Re-integration. ACM Transactions on Graphics 36 (3), 24 (2017)

Datlinger, P.; Rendeiro, A. F.; Schmidl, C.; Krausgruber, T.; Traxler, P.; Klughammer, J.; Schuster, L. C.; Kuchler, A.; Alpar, D.; Bock, C.: Pooled CRISPR Screening with Single-cell Transcriptome Readout. Nature Methods 14 (3), S. 297 - 301 (2017)