Tabata, S., Jevtic, M., Kurashige, N., Fuchida, H., Kido, M., Tani, K.,https://doi.org/10.1016/j.isci.2019.11.025__Ojida, A. (2019). Electron microscopic detection of single membrane proteins by a specific chemical labeling. IScience. Elsevier.https://doi.org/10.1016/j.isci.2019.11.025 

Kampjut, D., &; Sazanov, L. A. (2019). Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. Springer Nature.https://doi.org/10.1038/s41586-019-1519-2 

Boccara, C. N., Nardin, M., Stella, F., O’Neill, J., &; Csicsvari, J. L. (2019). The entorhinal cognitive map is attracted to goals. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aav4837 

Mckenzie, C. (2019). Design and characterization of methods and biological components to realize synthetic neurotransmission. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:7132 

Castro, J. P., Yancoskie, M. N., Marchini, M., Belohlavy, S., Hiramatsu, L., Kudka, M.,https://doi.org/10.7554/eLife.42014__Chan, Y. F. (2019). An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.42014 

Hofmann, A. C., Jirovec, D., Borovkov, M., Prieto Gonzalez, I., Ballabio, A., Frigerio, J.,https://doi.org/10.48550/arXiv.1910.05841__Katsaros, G. (n.d.). Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv.https://doi.org/10.48550/arXiv.1910.05841 

Valosková, K., Bicher, J., Roblek, M., Emtenani, S., György, A., Misova, M.,https://doi.org/10.7554/elife.41801__Siekhaus, D. E. (2019). A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.41801 

Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6546 

Espinoza Martinez, C. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6363 

Huang, M., Fu, H., Chatterjee, K., &; Goharshady, A. K. (2019). Modular verification for almost-sure termination of probabilistic programs. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications  (Vol. 3). Athens, Greece: ACM.https://doi.org/10.1145/3360555 

Chatterjee, K., Goharshady, A. K., Okati, N., &; Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. ACM.https://doi.org/10.1145/3290366 

Chatterjee, K., Goharshady, A. K., &; Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency. Seoul, Korea: IEEE.https://doi.org/10.1109/BLOC.2019.8751326 

Chatterjee, K., Goharshady, A. K., &; Pourdamghani, A. (2019). Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part 7772, pp. 374–381). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297319 

Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., &; Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery.https://doi.org/10.1145/3314221.3314581 

Chatterjee, K., Goharshady, A. K., &; Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part 7772, pp. 400–408). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297322 

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., &; Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM.https://doi.org/10.1145/3363525 

Chatterjee, K., Fu, H., &; Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM.https://doi.org/10.1145/3339984 

Kühnen, J., Scarselli, D., &; Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. ASME.https://doi.org/10.1115/1.4043494 

Scarselli, D., Kühnen, J., &; Hof, B. (2019). Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2019.191 

Oochi, A., Hajny, J., Fukui, K., Nakao, Y., Gallei, M. C., Quareshy, M.,https://doi.org/10.1104/pp.19.00201__Hayashi, K. (2019). Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. ASPB.https://doi.org/10.1104/pp.19.00201 

Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., &; Heisenberg, C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. Elsevier.https://doi.org/10.1016/j.cell.2019.04.030 

Schwayer, C., Shamipour, S., Pranjic-Ferscha, K., Schauer, A., Balda, M., Tada, M.,https://doi.org/10.1016/j.cell.2019.10.006__Heisenberg, C.-P. J. (2019). Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. Cell Press.https://doi.org/10.1016/j.cell.2019.10.006 

Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6891 

Renkawitz, J., Kopf, A., Stopp, J. A., de Vries, I., Driscoll, M. K., Merrin, J.,https://doi.org/10.1038/s41586-019-1087-5__Sixt, M. K. (2019). Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. Springer Nature.https://doi.org/10.1038/s41586-019-1087-5 

Contreras, X., &; Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell grid. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2019.08.021 

Adamowski, M., Li, L., &; Friml, J. (2019). Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms20133337 

Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., &; Bächer, M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3355089.3356576 

Igler, C. (2019). On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6371 

Agrawal, N., Choueiri, G. H., &; Hof, B. (2019). Transition to turbulence in particle laden flows. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.122.114502 

Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating hippocampal network dynamics. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6849 

Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., &; Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. Wiley.https://doi.org/10.1002/hipo.23076 

Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6825 

Allini, E. N., Skórski, M., Petura, O., Bernard, F., Laban, M., &; Fischer, V. (2018). Evaluation and monitoring of free running oscillators serving as source of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems. International Association for Cryptologic Research.https://doi.org/10.13154/tches.v2018.i3.214-242 

Chatterjee, K., Dvoák, W., Henzinger, M. H., &; Svozil, A. (2018). Quasipolynomial set-based symbolic algorithms for parity games. In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Vol. 57, pp. 233–253). Awassa, Ethiopia: EasyChair.https://doi.org/10.29007/5z5k 

Leopold, N. K., &; Pickl, P. (2018). Mean-field limits of particles in interaction with quantised radiation fields (Vol. 270, pp. 185–214). Presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany: Springer.https://doi.org/10.1007/978-3-030-01602-9_9 

Flandoli, F., Russo, F., &; Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. Springer.https://doi.org/10.1007/s10959-016-0724-2 

Fulek, R., &; Kyndl, J. (2018). Hanani-Tutte for approximating maps of graphs (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.39 

Edelsbrunner, H., Virk, Z., &; Wagner, H. (2018). Smallest enclosing spheres and Chernoff points in Bregman geometry (Vol. 99, p. 35:1-35:13). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.35 

De Martino, A., &; De Martino, D. (2018). An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. Elsevier.https://doi.org/10.1016/j.heliyon.2018.e00596 

Zagórski, M. P., &; Kicheva, A. (2018). Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In Morphogen Gradients  (Vol. 1863, pp. 47–63). Springer Nature.https://doi.org/10.1007/978-1-4939-8772-6_4 

Agrawal, S., Chatterjee, K., &; Novotný, P. (2018). Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/3158122 

Petritsch, B., &; Porsche, J. (2018). IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare.https://doi.org/10.31263/voebm.v71i1.1993 

Alistarh, D.-A., Aspnes, J., King, V., &; Saia, J. (2018). Communication-efficient randomized consensus. Distributed Computing. Springer.https://doi.org/10.1007/s00446-017-0315-1 

Napiórkowski, M. M., Reuvers, R., &; Solovej, J. (2018). The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-017-3064-x 

Dimitrov, D., Guillaud, L., Eguchi, K., &; Takahashi, T. (2018). Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In S. D. Skaper (Ed.), Neurotrophic Factors (Vol. 1727, pp. 201–215). Springer.https://doi.org/10.1007/978-1-4939-7571-6_15 

Fan, S., Lorenz, M., Massberg, S., &; Gärtner, F. R. (2018). Platelet migration and bacterial trapping assay under flow. Bio-Protocol. Bio-Protocol.https://doi.org/10.21769/bioprotoc.3018 

Petritsch, B. (2018). Open Access at IST Austria 2009-2017. Presented at the Open-Access-Tage, Graz, Austria: IST Austria.https://doi.org/10.5281/zenodo.1410279 

Lee, J., &; Schnelli, K. (2018). Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-017-0787-8 

Shekhovtsov, A., Swoboda, P., &; Savchynskyy, B. (2018). Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2017.2730884 

Grubic, D., Tam, L., Alistarh, D.-A., &; Zhang, C. (2018). Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. In Proceedings of the 21st International Conference on Extending Database Technology (pp. 145–156). Vienna, Austria: OpenProceedings.https://doi.org/10.5441/002/EDBT.2018.14