Barzanjeh, S., Salari, V., Tuszynski, J., Cifra, M., &; Simon, C. (2017). Optomechanical proposal for monitoring microtubule mechanical vibrations. https://doi.org/10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics.https://doi.org/10.1103/PhysRevE.96.012404 
LibreCat: https://research-explorer.ista.ac.at/record/700
DOI: 10.1103/PhysRevE.96.012404

Kyndl, J., &; Patakova, Z. (2017). On the nonexistence of k reptile simplices in d^3 and d^4. The Electronic Journal of Combinatorics. International Press.
LibreCat: https://research-explorer.ista.ac.at/record/701

Novarino, G. (2017). The riddle of CH haploinsufficiency in autism spectrum disorder. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aao0972 
LibreCat: https://research-explorer.ista.ac.at/record/702
DOI: 10.1126/scitranslmed.aao0972

Geng, X., Maruo, T., Mandai, K., Supriyanto, I., Miyata, M., Sakakibara, S.,https://doi.org/10.1111/gtc.12508__Mori, M. (2017). Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. Genes to Cells. Wiley-Blackwell.https://doi.org/10.1111/gtc.12508 
LibreCat: https://research-explorer.ista.ac.at/record/706
DOI: 10.1111/gtc.12508

Akopyan, A., &; Karasev, R. (2017). A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. Wiley-Blackwell.https://doi.org/10.1112/blms.12062 
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Nagy, B., Hovhannisyan, A., Barzan, R., Chen, T., &; Kukley, M. (2017). Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2001993 
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q.,https://doi.org/10.1002/cbin.10783__Deng, Q. (2017). Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. Cell Biology International. Wiley-Blackwell.https://doi.org/10.1002/cbin.10783 
LibreCat: https://research-explorer.ista.ac.at/record/709
DOI: 10.1002/cbin.10783

Obremski, M., &; Skórski, M. (2017). Renyi entropy estimation revisited (Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20 
LibreCat: https://research-explorer.ista.ac.at/record/710
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2017.20

Andergassen, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber, M.,https://doi.org/10.7554/eLife.25125__Hudson, Q. (2017). Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.25125 
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 
LibreCat: https://research-explorer.ista.ac.at/record/711
DOI: 10.4230/LIPIcs.CONCUR.2017.5

Fischer, J. L. (2017). Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. Elsevier.https://doi.org/10.1016/j.na.2017.03.001 
LibreCat: https://research-explorer.ista.ac.at/record/712
DOI: 10.1016/j.na.2017.03.001

Brailoiu, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M.,https://doi.org/10.1016/j.drugalcdep.2017.04.015__Breiloiu, E. (2017). HIV Tat exciteshttps://doi.org/10.1016/j.drugalcdep.2017.04.015__receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. Elsevier.https://doi.org/10.1016/j.drugalcdep.2017.04.015 
LibreCat: https://research-explorer.ista.ac.at/record/714
DOI: 10.1016/j.drugalcdep.2017.04.015
PMID: 28623807

Novarino, G. (2017). More excitation for Rett syndrome. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aao4218 
LibreCat: https://research-explorer.ista.ac.at/record/715
DOI: 10.1126/scitranslmed.aao4218

Chatterjee, K., &; Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM.https://doi.org/10.1145/3121408 
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

Chatterjee, K., &; Velner, Y. (2017). Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. Academic Press.https://doi.org/10.1016/j.jcss.2017.04.005 
LibreCat: https://research-explorer.ista.ac.at/record/717
DOI: 10.1016/j.jcss.2017.04.005

Chatterjee, K., &; Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer.https://doi.org/10.1007/s00236-017-0299-0 
LibreCat: https://research-explorer.ista.ac.at/record/719
DOI: 10.1007/s00236-017-0299-0

Humplik, J., &; Tkadik, G. (2017). Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005763 
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Ajanki, O. H., Krüger, T. H., &; Erdös, L. (2017). Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. Wiley-Blackwell.https://doi.org/10.1002/cpa.21639 
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Morris, E., Griffiths, M., Golebiowska, A., Mairhofer, S., Burr Hersey, J., Goh, T.,https://doi.org/10.1016/j.cub.2017.06.043__Bennett, M. (2017). Shaping 3D root system architecture. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2017.06.043 
LibreCat: https://research-explorer.ista.ac.at/record/722
DOI: 10.1016/j.cub.2017.06.043
PMID: 28898665

Harpaz, R., Tkadik, G., &; Schneidman, E. (2017). Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1703817114 
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Hetterich, D., Serbyn, M., Domínguez, F., Pollmann, F., &; Trauzettel, B. (2017). Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.96.104203 
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

Novarino, G. (2017). The science of love in ASD and ADHD. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aap8168 
LibreCat: https://research-explorer.ista.ac.at/record/731
DOI: 10.1126/scitranslmed.aap8168

Smole, A., Lainsdek, D., Bezeljak, U., Horvat, S., &; Jerala, R. (2017). A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. Elsevier.https://doi.org/10.1016/j.ymthe.2016.10.005 
LibreCat: https://research-explorer.ista.ac.at/record/7360
DOI: 10.1016/j.ymthe.2016.10.005
PMID: 28129106

Pielorz, J., Prandtstetter, M., Straub, M., &; Lampert, C. (2017). Optimal geospatial volunteer allocation needs realistic distances. In 2017 IEEE International Conference on Big Data (pp. 3760–3763). Boston, MA, United States: IEEE.https://doi.org/10.1109/BigData.2017.8258375 
LibreCat: https://research-explorer.ista.ac.at/record/750
DOI: 10.1109/BigData.2017.8258375

Fulek, R., Kyndl, J., &; Pálvölgyi, D. (2017). Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. International Press.https://doi.org/10.37236/6663 
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Fink, J. M. (2017). Photonenblockade aufgelöst. Physik in Unserer Zeit. Wiley.https://doi.org/10.1002/piuz.201770305 
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Andrae, M., &; Villányi, M. (2017). Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung. Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB.https://doi.org/10.31263/voebm.v70i2.1898 
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Petritsch, B. (2017). Metadata for research data in practice. Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB.https://doi.org/10.31263/voebm.v70i2.1678 
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Clifton, B., Whitfield, J., Sanchez-Romero, I., Herde, M., Henneberger, C., Janovjak, H. L., &; Jackson, C. (2017). Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 71–87). Springer.https://doi.org/10.1007/978-1-4939-6940-1_5 
LibreCat: https://research-explorer.ista.ac.at/record/957
DOI: 10.1007/978-1-4939-6940-1_5

Avni, G., Guha, S., &; Kupferman, O. (2017). Timed network games with clocks (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkadik, G., &; Berry, M. (2017). Data from: Error-robust modes of the retinal population code. Dryad.https://doi.org/10.5061/dryad.1f1rc 
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122__Ackermann, M. (2017). Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122 
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Pleska, M., &; Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society.https://doi.org/10.6084/m9.figshare.5633917.v1 
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s017__Ackermann, M. (2017). Mathematical model. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s017 
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Modelling and simulation details. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s001 
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Extensions of the model. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s002 
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s016__Ackermann, M. (2017). Supplementary methods. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s016 
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

Chalk, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005582 
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s003 
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s004 
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

Chalk, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Supplementary appendix. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005582.s001 
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

Le, X., Chu, D. H., Lo, D., Le Goues, C., &; Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM.https://doi.org/10.1145/3092703.3098225 
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Mitchell, J., Zhang, W., Herde, M., Henneberger, C., Janovjak, H. L., O’Mara, M., &; Jackson, C. (2017). Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 89–99). Springer.https://doi.org/10.1007/978-1-4939-6940-1_6 
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

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 
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/12905

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 
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

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 
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

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 
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730