Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., &; Costantini, F. (2017). Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. Dryad.https://doi.org/10.5061/dryad.pk16b 

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s018__Ackermann, M. (2017). Source data for figures and tables. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s018 

Schlögl, A., &; Kiss, J. (2017). Scientific Computing at IST Austria. In AHP – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific Computing.

Kretinsky, J., Meggendorfer, T., Waldmann, C., &; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer.https://doi.org/10.1007/978-3-662-54577-5_26 

Avni, G., Henzinger, T. A., &; Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 

Lubiw, A., Masárová, Z., &; Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 

Daca, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_730 

Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.

Pleska, M., &; Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society.https://doi.org/10.1098/rsbl.2017.0646 

Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_862 

Mitosch, K., Rieckh, G., &; Bollenbach, M. T. (2017). Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. Cell Press.https://doi.org/10.1016/j.cels.2017.03.001 

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_854 

Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_857 

Rybar, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_828 

Gazi, P., Pietrzak, K. Z., &; Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum.https://doi.org/10.13154/TOSC.V2016.I2.145-161 

Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_858 

Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_842 

Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_815 

Edelsbrunner, H., Nikitenko, A., &; Reitzner, M. (2017). Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. Cambridge University Press.https://doi.org/10.1017/apr.2017.20 

Abusalah, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., &; Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer.https://doi.org/10.1007/978-3-319-70697-9_13