Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158119 
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria.https://doi.org/10.15479/AT:IST-2017-872-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5456
DOI: 10.15479/AT:IST-2017-872-v1-1

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee, K., Henzinger, M. H., &; Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee, K., Hansen, K., &; Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser, M., Jentzen, A., &; Salimova, D. (2017). On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London.https://doi.org/10.1098/rspa.2017.0104 
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Erdös, L., &; Yau, H. (2017). A Dynamical Approach to Random Matrix Theory (Vol. 28). American Mathematical Society.https://doi.org/10.1090/cln/028 
LibreCat: https://research-explorer.ista.ac.at/record/567
DOI: 10.1090/cln/028

Franek, P., &; Krcál, M. (2017). Persistence of zero sets. Homology, Homotopy and Applications. International Press.https://doi.org/10.4310/HHA.2017.v19.n2.a16 
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16

Lagator, M., Sarikas, S., Acar, H., Bollback, J. P., &; Guet, C. C. (2017). Regulatory network structure determines patterns of intermolecular epistasis. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.28921 
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

Spira, F., Cuylen Haering, S., Mehta, S., Samwer, M., Reversat, A., Verma, A.,https://doi.org/10.7554/eLife.30867__Gerlich, D. (2017). Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.30867 
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867