Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,”https://doi.org/10.1007/978-3-662-54577-5_34__10205:589–606. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_34 .

Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.”https://doi.org/10.1214/16-ECP38__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-ECP38 .

Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.”https://doi.org/10.1145/3130800.3130890__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3130800.3130890 .

Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.”https://doi.org/10.1007/978-3-319-63688-7_5__edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017.https://doi.org/10.1007/978-3-319-63688-7_5 .

Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.”https://doi.org/10.17632/nw68fxzjpm.1__Mendeley Data, 2017.https://doi.org/10.17632/nw68fxzjpm.1 .

Locatello, Francesco, Michael Tschannen, Gunnar Rätsch, and Martin Jaggi. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” In Advances in Neural Information Processing Systems, 2017.

Locatello, Francesco, Rajiv Khanna, Michael Tschannen, and Martin Jaggi. “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.” In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, 54:860–68. ML Research Press, 2017.

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.”https://doi.org/10.15479/AT:ISTA:th_916__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_916 .

Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .”https://doi.org/10.15479/AT:ISTA:th_873__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_873 .

Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.

Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.”https://doi.org/10.1111/sjos.12251__Scandinavian Journal of Statistics. Wiley-Blackwell, 2017.https://doi.org/10.1111/sjos.12251 .

Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.”https://doi.org/10.1007/s00440-015-0692-y__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-015-0692-y .

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.”https://doi.org/10.1016/j.jsc.2016.03.008__Journal of Symbolic Computation. Academic Press, 2017.https://doi.org/10.1016/j.jsc.2016.03.008 .

Svoreová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.04.006 .

Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.”https://doi.org/10.1111/cgf.12941__Computer Graphics Forum. Wiley-Blackwell, 2017.https://doi.org/10.1111/cgf.12941 .

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/s10703-016-0256-5__Formal Methods in System Design. Springer, 2017.https://doi.org/10.1007/s10703-016-0256-5 .

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.”https://doi.org/10.1007/s00236-016-0278-x__Acta Informatica. Springer, 2017.https://doi.org/10.1007/s00236-016-0278-x .

Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.”https://doi.org/10.1007/s00453-016-0212-1__Algorithmica. Springer, 2017.https://doi.org/10.1007/s00453-016-0212-1 .

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.”https://doi.org/10.1007/s00440-016-0740-2__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-016-0740-2 .

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1016/j.jcss.2016.09.009__Journal of Computer and System Sciences. Elsevier, 2017.https://doi.org/10.1016/j.jcss.2016.09.009 .