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 

Baranova, N. S., &; Loose, M. (2017). Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), Cytokinesis (Vol. 137, pp. 355–370). Academic Press.https://doi.org/10.1016/bs.mcb.2016.03.036 

Moser, T., &; Seiringer, R. (2017). Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-016-0915-x 

Bao, Z., Erdös, L., &; Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-016-2805-6 

Henzinger, T. A., &; Otop, J. (2017). Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2016.09.001 

Barton, N. H. (2017). How does epistasis influence the response to selection? Heredity. Nature Publishing Group.https://doi.org/10.1038/hdy.2016.109 

Zwiernik, P., Uhler, C., &; Richards, D. (2017). Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell.https://doi.org/10.1111/rssb.12217 

Skórski, M. (2017). Lower bounds on key derivation for square-friendly applications (Vol. 66). Presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.STACS.2017.57 

Alwen, J. F., &; Blocki, J. (2017). Towards practical attacks on Argon2i and balloon hashing. Presented at the EuroS&;P: European Symposium on Security and Privacy, Paris, France: IEEE.https://doi.org/10.1109/EuroSP.2017.47 

Kiltz, E., Pietrzak, K. Z., Venturi, D., Cash, D., &; Jain, A. (2017). Efficient authentication from hard learning problems. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-016-9247-3 

Kazda, A., Kolmogorov, V., &; Rolinek, M. (2017). Even delta-matroids and the complexity of planar Boolean CSPs (pp. 307–326). Presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain: SIAM.https://doi.org/10.1137/1.9781611974782.20 

Skórski, M. (2017). Simulating auxiliary inputs, revisited (Vol. 9985, pp. 159–179). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-662-53641-4_7 

Akopyan, A., Bárány, I., &; Robins, S. (2017). Algebraic vertices of non-convex polyhedra. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2016.12.026