Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,”https://doi.org/10.1007/978-3-319-65765-3_7__10419:116–32. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_7 .
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

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 .
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

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 .
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/1127

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

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 .
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.”https://doi.org/10.1111/ejn.13418__European Journal of Neuroscience. Wiley-Blackwell, 2017.https://doi.org/10.1111/ejn.13418 .
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184