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, pp. 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), pp. 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), pp. 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, pp. 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), pp. 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, pp. 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, pp. 41 - 68 (2017)

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, pp. 1 - 8 (2017)

Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Silvestri, R.; Trevisan, L.: Simple Dynamics for Plurality Consensus. Distributed Computing 30 (4), pp. 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), p. 2968 - 2968 (2017)

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

Blanchette, J. C.; Popescu, A.; Traytel, D.: Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning 58 (1), pp. 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), pp. 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), pp. 85 - 119 (2017)

Bringmann, K.; Panagiotou, K.: Efficient Sampling Methods for Discrete Distributions. Algorithmica 79 (2), pp. 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), pp. 433 - 461 (2017)

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

Bürgisser, P.; Ikenmeyer, C.; Hüttenhain, J.: Permanent versus Determinant: Not via Saturations. Proceedings of the American Mathematical Society 145, pp. 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), pp. 1181 - 1195 (2017)