Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:26)2017 

Jeschke, S., &; Wojtan, C. (2017). Water wave packets. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3072959.3073678 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/3060139 

Biedl, T., Huber, S., &; Palfrader, P. (2017). Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. World Scientific Publishing.https://doi.org/10.1142/S0218195916600050 

Nam, P., &; Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. International Press.https://doi.org/10.4310/ATMP.2017.v21.n3.a4 

Bourgade, P., Erdös, L., Yau, H., &; Yin, J. (2017). Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. International Press.https://doi.org/10.4310/ATMP.2017.v21.n3.a5 

Baig, G., Radunovic, B., Alistarh, D.-A., Balkwill, M., Karagiannis, T., &; Qiu, L. (2017). Towards unlicensed cellular networks in TV white spaces. In Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies (pp. 2–14). Incheon, South Korea: ACM.https://doi.org/10.1145/3143361.3143367 

Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N.,https://doi.org/10.1038/ncomms16032__Fricker, D. (2017). Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms16032 

Letts, J. A., &; Sazanov, L. A. (2017). Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.3460 

Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., &; Wesfreid, J. (2017). Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. American Physical Society.https://doi.org/10.1103/PhysRevFluids.2.043904 

Du, W., Angermayr, A., Jongbloets, J., Molenaar, D., Bachmann, H., Hellingwerf, K., &; Branco Dos Santos, F. (2017). Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. P. ACS Synthetic Biology. American Chemical Society.https://doi.org/10.1021/acssynbio.6b00235 

Austin, K., &; Virk, Z. (2017). Higson compactification and dimension raising. Topology and Its Applications. Elsevier.https://doi.org/10.1016/j.topol.2016.10.005 

Burton, B., de Mesmay, A. N., &; Wagner, U. (2017). Finding non-orientable surfaces in 3-Manifolds. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-017-9900-0 

Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., &; Janovjak, H. L. (2017). Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. Wiley.https://doi.org/10.1002/ange.201611998 

Khamina, K., Lercher, A., Caldera, M., Schliehe, C., Vilagos, B., Sahin, M.,https://doi.org/10.1371/journal.ppat.1006758__Bergthaler, A. (2017). Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. Public Library of Science.https://doi.org/10.1371/journal.ppat.1006758 

Chatterjee, K., Ketínská, Z., &; Kretinsky, J. (2017). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(2:15)2017 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Nested weighted automata. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/3152769 

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:23)2017 

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/s41598-017-00107-w 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158118 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria.https://doi.org/10.15479/AT:IST-2017-870-v1-1 

Petritsch, B. (2017). Implementing the institutional data repository IST DataRep. IST Austria.

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

Gärtner, F. R., Ahmad, Z., Rosenberger, G., Fan, S., Nicolai, L., Busch, B.,https://doi.org/10.1016/j.cell.2017.11.001__Massberg, S. (2017). Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press. Cell Press.https://doi.org/10.1016/j.cell.2017.11.001 

Olatunji, D., Geelen, D., &; Verstraeten, I. (2017). Control of endogenous auxin levels in plant root development. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms18122587 

Biswas, R., &; Bhowmick, P. (2017). Construction of persistent Voronoi diagram on 3D digital plane. In Combinatorial image analysis (Vol. 10256, pp. 93–104). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-59108-7_8 

Camus, N., Yakaboylu, E., Fechner, L., Klaiber, M., Laux, M., Mi, Y.,https://doi.org/10.1088/1742-6596/999/1/012004__Moshammer, R. (2017). Experimental evidence for Wigner’s tunneling time (Vol. 999). Presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation: American Physical Society.https://doi.org/10.1088/1742-6596/999/1/012004 

Camus, N., Yakaboylu, E., Fechner, L., Klaiber, M., Laux, M., Mi, Y.,https://doi.org/10.1103/PhysRevLett.119.023201__Moshammer, R. (2017). Experimental evidence for quantum tunneling time. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.119.023201 

Brody, J., Dziembowski, S., Faust, S., &; Pietrzak, K. Z. (2017). Position based cryptography and multiparty communication complexity. In Y. Kalai &; L. Reyzin (Eds.) (Vol. 10677, pp. 56–81). Presented at the TCC: Theory of Cryptography Conference, Baltimore, MD, United States: Springer.https://doi.org/10.1007/978-3-319-70500-2_3 

Lemeshko, M., &; Schmidt, R. (2017). Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In O. Dulieu &; A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero  (Vol. 11, pp. 444–495). The Royal Society of Chemistry.https://doi.org/10.1039/9781782626800-00444 

Alwen, J. F., &; Tackmann, B. (2017). Moderately hard functions: Definition, instantiations, and applications. In Y. Kalai &; L. Reyzin (Eds.) (Vol. 10677, pp. 493–526). Presented at the TCC: Theory of Cryptography, Baltimore, MD, United States: Springer.https://doi.org/10.1007/978-3-319-70500-2_17 

Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2017). On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. Springer.https://doi.org/10.1007/s11856-017-1607-7 

Bradley, D., Xu, P., Mohorianu, I., Whibley, A., Field, D., Tavares, H.,https://doi.org/10.1126/science.aao3526__Coen, E. (2017). Evolution of flower color pattern through selection on regulatory small RNAs. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aao3526 

Chait, R. P., Ruess, J., Bergmiller, T., Tkadik, G., &; Guet, C. C. (2017). Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-017-01683-1 

Erdös, L., &; Schnelli, K. (2017). Universality for random matrix flows with time dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/16-AIHP765 

Hill Yardin, E., Mckeown, S., Novarino, G., &; Grabrucker, A. (2017). Extracerebral dysfunction in animal models of autism spectrum disorder. In M. Schmeisser &; T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 159–187). Springer.https://doi.org/10.1007/978-3-319-52498-6_9 

Barton, N. H., Etheridge, A., &; Véber, A. (2017). The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2017.06.001 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, &; R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer.https://doi.org/10.1007/978-3-319-63121-9_18 

Nikolic, N., Didara, Z., &; Moll, I. (2017). MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. PeerJ.https://doi.org/10.7717/peerj.3830 

Chatterjee, K., Fu, H., &; Murhekar, A. (2017). Automated recurrence analysis for almost linear expected runtime bounds. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_6 

Loose, M., Zieske, K., &; Schwille, P. (2017). Reconstitution of protein dynamics involved in bacterial cell division. In Prokaryotic Cytoskeletons (Vol. 84, pp. 419–444). Springer.https://doi.org/10.1007/978-3-319-53047-5_15