Bogomolov, S., Giacobbe, M., Henzinger, T. A., &; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer.https://doi.org/10.1007/978-3-319-65765-3_7 

Bogomolov, S., Frehse, G., Giacobbe, M., &; Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer.https://doi.org/10.1007/978-3-662-54577-5_34 

Erdös, L., &; Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/16-ECP38 

Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B.,https://doi.org/10.1145/3130800.3130890__Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3130800.3130890 

Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., &; Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz &; H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-319-63688-7_5 

Etheridge, A., &; Barton, N. H. (2017). Data for: Establishment in a new habitat by polygenic adaptation. Mendeley Data.https://doi.org/10.17632/nw68fxzjpm.1 

Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_916 

Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_873 

Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.

Martin Del Campo Sanchez, A., Cepeda Humerez, S. A., &; Uhler, C. (2017). Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. Wiley-Blackwell.https://doi.org/10.1111/sjos.12251 

Bao, Z., &; Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-015-0692-y 

Bauer, U., Kerber, M., Reininghaus, J., &; Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press.https://doi.org/10.1016/j.jsc.2016.03.008 

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2016.04.006 

Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., &; Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12941 

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &; Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-016-0256-5 

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &; Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica. Springer.https://doi.org/10.1007/s00236-016-0278-x 

Paixao, T., Pérez Heredia, J., Sudholt, D., &; Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. Algorithmica. Springer.https://doi.org/10.1007/s00453-016-0212-1 

Ajanki, O. H., Erdös, L., &; Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-016-0740-2 

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2016.09.009 

Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N.,https://doi.org/10.1111/ejn.13418__Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/ejn.13418