Fulek, R., Pelsmajer, M., &; Schaefer, M. (2017). Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. Brown University.https://doi.org/10.7155/jgaa.00408 
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

Browning, T. D., Kumaraswamy, V., &; Steiner, R. (2017). Twisted Linnik implies optimal covering exponent for . International Mathematics Research Notices. Oxford University Press.https://doi.org/10.1093/imrn/rnx116 
LibreCat: https://research-explorer.ista.ac.at/record/169
DOI: 10.1093/imrn/rnx116
arXiv: 1609.06097

Browning, T. D., &; Schindler, D. (2017). Strong approximation and a conjecture of Harpaz and Wittenberg. International Mathematics Research Notices. Oxford University Press.https://doi.org/10.1093/imrn/rnx252 
LibreCat: https://research-explorer.ista.ac.at/record/172
DOI: 10.1093/imrn/rnx252
arXiv: 1509.07744

Xu, Y., Chiu, J., Miao, L., He, H., Alpichshev, Z., Kapitulnik, A.,https://doi.org/10.1038/ncomms14081__Wray, L. (2017). Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms14081 
LibreCat: https://research-explorer.ista.ac.at/record/391
DOI: 10.1038/ncomms14081

Alpichshev, Z., Sie, E., Mahmood, F., Cao, G., &; Gedik, N. (2017). Origin of the exciton mass in the frustrated Mott insulator NIrO3. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.96.235141 
LibreCat: https://research-explorer.ista.ac.at/record/393
DOI: 10.1103/PhysRevB.96.235141

Vishik, I., Mahmood, F., Alpichshev, Z., Gedik, N., Higgins, J., &; Greene, R. (2017). Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate L xCexCuO4±;4. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.95.115125 
LibreCat: https://research-explorer.ista.ac.at/record/392
DOI: 10.1103/PhysRevB.95.115125

Hardie, R., Van Dam, E., Cowley, M., Han, T., Balaban, S., Pajic, M.,https://doi.org/10.1186/s40170-017-0164-1__Saunders, D. (2017). Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer &; Metabolism. BioMed Central.https://doi.org/10.1186/s40170-017-0164-1 
LibreCat: https://research-explorer.ista.ac.at/record/443
DOI: 10.1186/s40170-017-0164-1

Sazanov, L. A. (2017). Structure of respiratory complex I: “Minimal”https://doi.org/10.1039/9781788010405-00025__bacterial and luxe”https://doi.org/10.1039/9781788010405-00025__mammalian versions. In M. Wikström (Ed.), Mechanisms of primary energy transduction in biology  (pp. 25–59). Royal Society of Chemistry.https://doi.org/10.1039/9781788010405-00025 
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

Serbyn, M., &; Abanin, D. (2017). Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.96.014202 
LibreCat: https://research-explorer.ista.ac.at/record/445
DOI: 10.1103/PhysRevB.96.014202

Bächer, M., Bickel, B., Whiting, E., &; Sorkine Hornung, O. (2017). Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. ACM.https://doi.org/10.1145/3068766 
LibreCat: https://research-explorer.ista.ac.at/record/452
DOI: 10.1145/3068766

Fallesen, T., Roostalu, J., Düllberg, C. F., Pruessner, G., &; Surrey, T. (2017). Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/j.bpj.2017.09.006 
LibreCat: https://research-explorer.ista.ac.at/record/453
DOI: 10.1016/j.bpj.2017.09.006

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 
LibreCat: https://research-explorer.ista.ac.at/record/464
DOI: 10.23638/LMCS-13(3:26)2017
arXiv: 1410.0833

Jeschke, S., &; Wojtan, C. (2017). Water wave packets. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3072959.3073678 
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Eguchi, K., Taoufiq, Z., Thorn Seshold, O., Trauner, D., Hasegawa, M., &; Takahashi, T. (2017). Wild-type monomeric ;1-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1523/JNEUROSCI.0179-17.2017 
LibreCat: https://research-explorer.ista.ac.at/record/472
DOI: 10.1523/JNEUROSCI.0179-17.2017

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 
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/484
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/520
DOI: 10.1021/acssynbio.6b00235
PMID: 27936615

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 
LibreCat: https://research-explorer.ista.ac.at/record/521
DOI: 10.1016/j.topol.2016.10.005

von Wangenheim, D., Goh, T., Dietrich, D., &; Bennett, M. (2017). Plant biology: Building barriers in roots. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2017.01.060 
LibreCat: https://research-explorer.ista.ac.at/record/525
DOI: 10.1016/j.cub.2017.01.060

Gherghina, F., Tica, A., Deliu, E., Abood, M., Brailoiu, G., &; Breiloiu, E. (2017). Effects of VPA activation in nucleus ambiguus neurons. Brain Research. Elsevier.https://doi.org/10.1016/j.brainres.2016.12.026 
LibreCat: https://research-explorer.ista.ac.at/record/529
DOI: 10.1016/j.brainres.2016.12.026

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 
LibreCat: https://research-explorer.ista.ac.at/record/534
DOI: 10.1007/s00454-017-9900-0
arXiv: 1602.07907

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 
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/466
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

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 
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

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 
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

Petritsch, B. (2017). Implementing the institutional data repository IST DataRep. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5450

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/571
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

Biswas, R., &; Bhowmick, P. (2017). On the functionality and usefulness of Quadraginta octants of naive sphere. Journal of Mathematical Imaging and Vision. Springer Nature.https://doi.org/10.1007/s10851-017-0718-4 
LibreCat: https://research-explorer.ista.ac.at/record/5800
DOI: 10.1007/s10851-017-0718-4

Biswas, R., Bhowmick, P., &; Brimkov, V. E. (2017). On the polyhedra of graceful spheres and circular geodesics. Discrete Applied Mathematics. Elsevier.https://doi.org/10.1016/j.dam.2015.11.017 
LibreCat: https://research-explorer.ista.ac.at/record/5799
DOI: 10.1016/j.dam.2015.11.017

Dwivedi, S., Gupta, A., Roy, S., Biswas, R., &; Bhowmick, P. (2017). Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. In 20th IAPR International Conference (Vol. 10502, pp. 347–359). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-66272-5_28 
LibreCat: https://research-explorer.ista.ac.at/record/5801
DOI: 10.1007/978-3-319-66272-5_28

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 
LibreCat: https://research-explorer.ista.ac.at/record/5803
DOI: 10.1007/978-3-319-59108-7_8

Andres, E., Biswas, R., &; Bhowmick, P. (2017). Digital primitives defined by weighted focal set. In 20th IAPR International Conference (Vol. 10502, pp. 388–398). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-66272-5_31 
LibreCat: https://research-explorer.ista.ac.at/record/5802
DOI: 10.1007/978-3-319-66272-5_31

Engelsen, N., Krishnakumar, R., Hosten, O., &; Kasevich, M. (2017). Bell correlations in spin-squeezed states of 500 000 atoms. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.118.140401 
LibreCat: https://research-explorer.ista.ac.at/record/593
DOI: 10.1103/PhysRevLett.118.140401

Engel, C., Gubbey, T., Neyer, S., Sainsbury, S., Oberthuer, C., Baejen, C.,https://doi.org/10.1016/j.cell.2017.03.003__Cramer, P. (2017). Structural basis of RNA polymerase I transcription initiation. Cell. Cell Press.https://doi.org/10.1016/j.cell.2017.03.003 
LibreCat: https://research-explorer.ista.ac.at/record/600
DOI: 10.1016/j.cell.2017.03.003

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 
LibreCat: https://research-explorer.ista.ac.at/record/313
DOI: 10.1088/1742-6596/999/1/012004
arXiv: 1611.03701

Xu, Y., Bernecky, C., Lee, C., Maier, K., Schwalb, B., Tegunov, D.,https://doi.org/10.1038/ncomms15741__Cramer, P. (2017). Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms15741 
LibreCat: https://research-explorer.ista.ac.at/record/601
DOI: 10.1038/ncomms15741

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 
LibreCat: https://research-explorer.ista.ac.at/record/6013
DOI: 10.1103/PhysRevLett.119.023201
arXiv: 1611.03701

Bernecky, C., Plitzko, J., &; Cramer, P. (2017). Structure of a transcribing RNA polymerase II-DSIF complex reveals a multidentate DNA-RNA clamp. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.3465 
LibreCat: https://research-explorer.ista.ac.at/record/603
DOI: 10.1038/nsmb.3465

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 
LibreCat: https://research-explorer.ista.ac.at/record/605
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/604
DOI: 10.1039/9781782626800-00444

Balta, E., Stopp, J. A., Castelletti, L., Kirchgessner, H., Samstag, Y., &; Wabnitz, G. H. (2017). Qualitative and quantitative analysis of PMN/T-cell interactions by InFlow and super-resolution microscopy. Methods. Elsevier.https://doi.org/10.1016/j.ymeth.2016.09.013 
LibreCat: https://research-explorer.ista.ac.at/record/6059
DOI: 10.1016/j.ymeth.2016.09.013
PMID: 27693880

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 
LibreCat: https://research-explorer.ista.ac.at/record/609
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/610
DOI: 10.1007/s11856-017-1607-7

Fenk, L. A., &; de Bono, M. (2017). Memory of recent oxygen experience switches pheromone valence inCaenorhabditis elegans. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1618934114 
LibreCat: https://research-explorer.ista.ac.at/record/6115
DOI: 10.1073/pnas.1618934114
PMID: 28373553

Chen, C., Itakura, E., Nelson, G. M., Sheng, M., Laurent, P., Fenk, L. A.,https://doi.org/10.1038/nature20818__de Bono, M. (2017). IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. Springer Nature.https://doi.org/10.1038/nature20818 
LibreCat: https://research-explorer.ista.ac.at/record/6117
DOI: 10.1038/nature20818
PMID:     28099418

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 
LibreCat: https://research-explorer.ista.ac.at/record/611
DOI: 10.1126/science.aao3526

Oda, S., Toyoshima, Y., &; de Bono, M. (2017). Modulation of sensory information processing by a neuroglobin in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1614596114 
LibreCat: https://research-explorer.ista.ac.at/record/6113
DOI: 10.1073/pnas.1614596114
PMID: 28536200

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 
LibreCat: https://research-explorer.ista.ac.at/record/613
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/615
DOI: 10.1214/16-AIHP765

Franke, F., Armitage, S., Kutzer, M., Kurtz, J., &; Scharsack, J. (2017). Environmental temperature variation influences fitness trade-offs in a fish-tapeworm association . Parasites &; Vectors. BioMed Central.https://doi.org/10.1186/s13071-017-2192-7 
LibreCat: https://research-explorer.ista.ac.at/record/618
DOI: 10.1186/s13071-017-2192-7

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 
LibreCat: https://research-explorer.ista.ac.at/record/623
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/626
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/625
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/624
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/628
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/629
DOI: 10.1007/978-3-319-53047-5_15
PMID: 28500535

Sauermann, S., David, V., Schlögl, A., Egelkraut, R., Frohner, M., Pohn, B.,https://doi.org/10.3233/978-1-61499-759-7-356__Mense, A. (2017). Biosignals standards and FHIR: The way to go (Vol. 236, pp. 356–362). Presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria: IOS Press.https://doi.org/10.3233/978-1-61499-759-7-356 
LibreCat: https://research-explorer.ista.ac.at/record/630
DOI: 10.3233/978-1-61499-759-7-356

Lewin, M., Nam, P., &; Rougerie, N. (2017). A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/13468 
LibreCat: https://research-explorer.ista.ac.at/record/632
DOI: 10.1090/proc/13468

Schroeder, J., Deliu, E., Novarino, G., &; Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser &; T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 189–211). Springer.https://doi.org/10.1007/978-3-319-52498-6_10 
LibreCat: https://research-explorer.ista.ac.at/record/634
DOI: 10.1007/978-3-319-52498-6_10

Bak, S., Bogomolov, S., Henzinger, T. A., &; Kumar, A. (2017). Challenges and tool implementation of hybrid rapidly exploring random trees. In A. Abate &; S. Bodo (Eds.) (Vol. 10381, pp. 83–89). Presented at the NSV: Numerical Software Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63501-9_6 
LibreCat: https://research-explorer.ista.ac.at/record/633
DOI: 10.1007/978-3-319-63501-9_6

Alwen, J. F., Chen, B., Pietrzak, K. Z., Reyzin, L., &; Tessaro, S. (2017). Scrypt is maximally memory hard. In J.-S. Coron &; J. Buus Nielsen (Eds.) (Vol. 10212, pp. 33–62). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer.https://doi.org/10.1007/978-3-319-56617-7_2 
LibreCat: https://research-explorer.ista.ac.at/record/635
DOI: 10.1007/978-3-319-56617-7_2

Bakhirkin, A., Ferrere, T., Maler, O., &; Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate &; G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer.https://doi.org/10.1007/978-3-319-65765-3_11 
LibreCat: https://research-explorer.ista.ac.at/record/636
DOI: 10.1007/978-3-319-65765-3_11

Bogomolov, S., Martel, M., &; Prabhakar, P. (Eds.). (2017). Numerical Software Verification (Vol. 10152). Presented at the NSV: Numerical Software Verification, Toronto, ON, Canada: Springer.https://doi.org/10.1007/978-3-319-54292-8 
LibreCat: https://research-explorer.ista.ac.at/record/638
DOI: 10.1007/978-3-319-54292-8

Alwen, J. F., Blocki, J., &; Pietrzak, K. Z. (2017). Depth-robust graphs and their cumulative memory complexity. In J.-S. Coron &; J. Buus Nielsen (Eds.) (Vol. 10212, pp. 3–32). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer.https://doi.org/10.1007/978-3-319-56617-7_1 
LibreCat: https://research-explorer.ista.ac.at/record/640
DOI: 10.1007/978-3-319-56617-7_1

Trajkovska, V., Swoboda, P., Åström, F., &; Petra, S. (2017). Graphical model parameter learning by inverse linear programming. In F. Lauze, Y. Dong, &; A. Bjorholm Dahl (Eds.) (Vol. 10302, pp. 323–334). Presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark: Springer.https://doi.org/10.1007/978-3-319-58771-4_26 
LibreCat: https://research-explorer.ista.ac.at/record/641
DOI: 10.1007/978-3-319-58771-4_26

Henzinger, T. A., Kragl, B., &; Qadeer, S. (2017). Synchronizing the asynchronous. IST Austria.https://doi.org/10.15479/AT:IST-2018-853-v2-2 
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

Sun, W., Zhai, M.-Z., Zhou, Q., Qian, C., &; Jiang, C. (2017). Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. Chinese Physiological Society.https://doi.org/10.4077/CJP.2017.BAF469 
LibreCat: https://research-explorer.ista.ac.at/record/643
DOI: 10.4077/CJP.2017.BAF469
PMID: 28847140

Gerencser, M., &; Gyöngy, I. (2017). Localization errors in solving stochastic partial differential equations in the whole space. Mathematics of Computation. American Mathematical Society.https://doi.org/10.1090/mcom/3201 
LibreCat: https://research-explorer.ista.ac.at/record/642
DOI: 10.1090/mcom/3201

Ashok, P., Chatterjee, K., Daca, P., Kretinsky, J., &; Meggendorfer, T. (2017). Value iteration for long run average reward in markov decision processes. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 201–221). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/645
DOI: 10.1007/978-3-319-63387-9_10

Kolmogorov, V., Krokhin, A., &; Rolinek, M. (2017). The complexity of general-valued CSPs. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/16M1091836 
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

Kuske, J., Swoboda, P., &; Petra, S. (2017). A novel convex relaxation for non binary discrete tomography. In F. Lauze, Y. Dong, &; A. Bjorholm Dahl (Eds.) (Vol. 10302, pp. 235–246). Presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark: Springer.https://doi.org/10.1007/978-3-319-58771-4_19 
LibreCat: https://research-explorer.ista.ac.at/record/646
DOI: 10.1007/978-3-319-58771-4_19

Skórski, M. (2017). On the complexity of breaking pseudoentropy. In G. Jäger &; S. Steila (Eds.) (Vol. 10185, pp. 600–613). Presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland: Springer.https://doi.org/10.1007/978-3-319-55911-7_43 
LibreCat: https://research-explorer.ista.ac.at/record/648
DOI: 10.1007/978-3-319-55911-7_43

Maas, J. (2017). Entropic Ricci curvature for discrete spaces. In L. Najman &; P. Romon (Eds.), Modern Approaches to Discrete Curvature (Vol. 2184, pp. 159–174). Springer.https://doi.org/10.1007/978-3-319-58002-9_5 
LibreCat: https://research-explorer.ista.ac.at/record/649
DOI: 10.1007/978-3-319-58002-9_5

Skórski, M. (2017). A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds. In G. Jäger &; S. Steila (Eds.) (Vol. 10185, pp. 586–599). Presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland: Springer.https://doi.org/10.1007/978-3-319-55911-7_42 
LibreCat: https://research-explorer.ista.ac.at/record/650
DOI: 10.1007/978-3-319-55911-7_42

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved set-based symbolic algorithms for parity games (Vol. 82). Presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden: Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPICS.CSL.2017.18 
LibreCat: https://research-explorer.ista.ac.at/record/6519
DOI: 10.4230/LIPICS.CSL.2017.18

Fulek, R. (2017). Embedding graphs into embedded graphs (Vol. 92). Presented at the ISAAC: International Symposium on Algorithms and Computation, Phuket, Thailand: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ISAAC.2017.34 
LibreCat: https://research-explorer.ista.ac.at/record/6517
DOI: 10.4230/LIPICS.ISAAC.2017.34

Der, R., &; Martius, G. S. (2017). Dynamical self consistency leads to behavioral development and emergent social interactions in robots. Presented at the ICDL EpiRob: International Conference on Development and Learning and Epigenetic Robotics , Cergy-Pontoise, France: IEEE.https://doi.org/10.1109/DEVLRN.2016.7846789 
LibreCat: https://research-explorer.ista.ac.at/record/652
DOI: 10.1109/DEVLRN.2016.7846789

Hof, B. (2017). Fluid dynamics: Water flows out of touch. Nature. Nature Publishing Group.https://doi.org/10.1038/541161a 
LibreCat: https://research-explorer.ista.ac.at/record/651
DOI: 10.1038/541161a

Makohon Moore, A., Zhang, M., Reiter, J., Boei, I., Allen, B., Kundu, D.,https://doi.org/10.1038/ng.3764__Iacobuzio Donahue, C. (2017). Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng.3764 
LibreCat: https://research-explorer.ista.ac.at/record/653
DOI: 10.1038/ng.3764
PMID: 28092682