Carballo-Pacheco, M., Desponds, J., Gavrilchenko, T., Mayer, A., Prizak, R., Reddy, G.,https://doi.org/10.1103/PhysRevE.99.022423__Mora, T. (2019). Receptor crosstalk improves concentration sensing of multiple ligands. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.99.022423 
LibreCat: https://research-explorer.ista.ac.at/record/6090
DOI: 10.1103/PhysRevE.99.022423
WoS: 000459916500007

Hubert, C., Baruchi, Y., Mazuz-Harpaz, Y., Cohen, K., Biermann, K., Lemeshko, M.,https://doi.org/10.1103/PhysRevX.9.021026__Santos, P. (2019). Attractive dipolar coupling between stacked exciton fluids. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.9.021026 
LibreCat: https://research-explorer.ista.ac.at/record/6786
DOI: 10.1103/PhysRevX.9.021026
WoS: 000467402900001
arXiv: 1807.11238

Orell, T., Michailidis, A., Serbyn, M., &; Silveri, M. (2019). Probing the many-body localization phase transition with superconducting circuits. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.100.134504 
LibreCat: https://research-explorer.ista.ac.at/record/7013
DOI: 10.1103/physrevb.100.134504
WoS: 000489036500004
arXiv: 1907.04043

Brighi, P., Grilli, M., Leridon, B., &; Caprara, S. (2019). Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.100.174518 
LibreCat: https://research-explorer.ista.ac.at/record/7200
DOI: 10.1103/PhysRevB.100.174518
WoS: 000498845700006
arXiv: 1907.13579

Suri, B., Pallantla, R. K., Schatz, M. F., &; Grigoriev, R. O. (2019). Heteroclinic and homoclinic connections in a Kolmogorov-like flow. Physical Review E. American Physical Society.https://doi.org/10.1103/physreve.100.013112 
LibreCat: https://research-explorer.ista.ac.at/record/6779
DOI: 10.1103/physreve.100.013112
WoS: 000477911800012
arXiv: 1907.05860

Lewin, M., Lieb, E. H., &; Seiringer, R. (2019). Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.100.035127 
LibreCat: https://research-explorer.ista.ac.at/record/7015
DOI: 10.1103/physrevb.100.035127
WoS: 000477888200001
arXiv: 1905.09138

Anselmetti, G. L. R., Martinez, E. A., Ménard, G. C., Puglia, D., Malinowski, F. K., Lee, J. S.,https://doi.org/10.1103/physrevb.100.205412__Higginbotham, A. P. (2019). End-to-end correlated subgap states in hybrid nanowires. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.100.205412 
LibreCat: https://research-explorer.ista.ac.at/record/7145
DOI: 10.1103/physrevb.100.205412
WoS: 000495967500006
arXiv: 1908.05549

Goremykina, A., Vasseur, R., &; Serbyn, M. (2019). Analytically solvable renormalization group for the many-body localization transition. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.122.040601 
LibreCat: https://research-explorer.ista.ac.at/record/5906
DOI: 10.1103/physrevlett.122.040601
WoS: 000456783700001
arXiv: 1807.04285

Karle, V., Defenu, N., &; Enss, T. (2019). Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. American Physical Society.https://doi.org/10.1103/PhysRevA.99.063627 
LibreCat: https://research-explorer.ista.ac.at/record/6632
DOI: 10.1103/PhysRevA.99.063627
WoS: 000473133600007
arXiv: 1903.06759

Koch, C. P., Lemeshko, M., &; Sugny, D. (2019). Quantum control of molecular rotation. Reviews of Modern Physics. American Physical Society.https://doi.org/10.1103/revmodphys.91.035005 
LibreCat: https://research-explorer.ista.ac.at/record/7396
DOI: 10.1103/revmodphys.91.035005
WoS: 000486661700001
arXiv: 1810.11338

Hledik, M., Sokolowski, T. R., &; Tkadik, G. (2019). A tight upper bound on mutual information. In IEEE Information Theory Workshop, ITW 2019. Visby, Sweden: IEEE.https://doi.org/10.1109/ITW44776.2019.8989292 
LibreCat: https://research-explorer.ista.ac.at/record/7606
DOI: 10.1109/ITW44776.2019.8989292
WoS: 000540384500015
arXiv: 1812.01475

Censor-Hillel, K., Dory, M., Korhonen, J., &; Leitersdorf, D. (2019). Fast approximate shortest paths in the congested clique. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin (pp. 74–83). Toronto, ON, Canada: ACM.https://doi.org/10.1145/3293611.3331633 
LibreCat: https://research-explorer.ista.ac.at/record/6933
DOI: 10.1145/3293611.3331633
WoS: 000570442000011
arXiv: 1903.05956

Lukacisin, M. (2019). Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria.https://doi.org/10.15479/AT:ISTA:6392 
LibreCat: https://research-explorer.ista.ac.at/record/6392
DOI: 10.15479/AT:ISTA:6392

Casillas Perez, B. E. (2019). Collective defenses of garden ants against a fungal pathogen. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6435 
LibreCat: https://research-explorer.ista.ac.at/record/6435
DOI: 10.15479/AT:ISTA:6435

Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:th1075 
LibreCat: https://research-explorer.ista.ac.at/record/6269
DOI: 10.15479/at:ista:th1075

Kim, O., Borges Merjane, C., &; Jonas, P. M. (2019). Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy. In Intrinsic Activity (Vol. 7). Innsbruck, Austria: Austrian Pharmacological Society.https://doi.org/10.25006/ia.7.s1-a3.27 
LibreCat: https://research-explorer.ista.ac.at/record/11222
DOI: 10.25006/ia.7.s1-a3.27

Assen, F. P. (2019). Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6947 
LibreCat: https://research-explorer.ista.ac.at/record/6947
DOI: 10.15479/AT:ISTA:6947

Marhavá, P., Hörmayer, L., Yoshida, S., Marhavý, P., Benková, E., &; Friml, J. (2019). Re-activation of stem cell pathways for pattern restoration in plant wound healing. Cell. Elsevier.https://doi.org/10.1016/j.cell.2019.04.015 
LibreCat: https://research-explorer.ista.ac.at/record/6351
DOI: 10.1016/j.cell.2019.04.015
WoS: 000466843000015
PMID: 31051107

Hörmayer, L., &; Friml, J. (2019). Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. Elsevier.https://doi.org/10.1016/j.pbi.2019.08.006 
LibreCat: https://research-explorer.ista.ac.at/record/6943
DOI: 10.1016/j.pbi.2019.08.006
WoS: 000502890600017
PMID: 31585333

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 
LibreCat: https://research-explorer.ista.ac.at/record/7391
DOI: 10.1016/j.isci.2019.11.025
WoS: :000504652000020
PMID: 31786521

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 
LibreCat: https://research-explorer.ista.ac.at/record/6848
DOI: 10.1038/s41586-019-1519-2
WoS: 000485415400061
PMID: 31462775

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 
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

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 
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

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 
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
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 
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

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 
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

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 
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6056
DOI: 10.1109/BLOC.2019.8751326
arXiv: 1902.07986

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 
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

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 
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

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 
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

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 
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

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 
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

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 
LibreCat: https://research-explorer.ista.ac.at/record/6486
DOI: 10.1115/1.4043494
WoS: 000487748600005
arXiv: 1809.07625

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 
LibreCat: https://research-explorer.ista.ac.at/record/6228
DOI: 10.1017/jfm.2019.191
WoS: 000462606100001
arXiv: 1807.05357

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 
LibreCat: https://research-explorer.ista.ac.at/record/6260
DOI: 10.1104/pp.19.00201
WoS: 000470086100045
PMID: 30936248

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 
LibreCat: https://research-explorer.ista.ac.at/record/6508
DOI: 10.1016/j.cell.2019.04.030
WoS: 000469415100013
PMID: 31080065

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 
LibreCat: https://research-explorer.ista.ac.at/record/7001
DOI: 10.1016/j.cell.2019.10.006
WoS: 000493898000012
PMID: 31675500

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 
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6328
DOI: 10.1038/s41586-019-1087-5
WoS: 000465594200050
PMID: 30944468

Kopf, A., &; Sixt, M. K. (2019). The neural crest pitches in to remove apoptotic debris. Cell. Elsevier.https://doi.org/10.1016/j.cell.2019.08.047 
LibreCat: https://research-explorer.ista.ac.at/record/6877
DOI: 10.1016/j.cell.2019.08.047
WoS: 000486618500011
PMID: 31539498

Contreras, X., &; Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell grid. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2019.08.021 
LibreCat: https://research-explorer.ista.ac.at/record/6830
DOI: 10.1016/j.neuron.2019.08.021
WoS: 000484400200002
PMID: 31487522

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 
LibreCat: https://research-explorer.ista.ac.at/record/6627
DOI: 10.3390/ijms20133337
WoS: 000477041100221
PMID: 31284661

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 
LibreCat: https://research-explorer.ista.ac.at/record/7117
DOI: 10.1145/3355089.3356576
WoS: 000498397300007

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 
LibreCat: https://research-explorer.ista.ac.at/record/6371
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6189
DOI: 10.1103/PhysRevLett.122.114502
WoS: 000461922000006
arXiv: 1809.06358

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 
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

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 
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/10286
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

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 
LibreCat: https://research-explorer.ista.ac.at/record/11
DOI: 10.1007/978-3-030-01602-9_9
arXiv: 1806.10843

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 
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Clarke, E. M., Henzinger, T. A., Veith, H., &; Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-10575-8 
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

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 
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Misun, P., Birchler, A., Lang, M., Hierlemann, A., &; Frey, O. (2018). Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-4939-7792-5_15 
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

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 
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh, H., Verstraeten, I., &; Geelen, D. (2018). In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In Root Development  (Vol. 1761, pp. 95–102). Springer Nature.https://doi.org/10.1007/978-1-4939-7747-5_7 
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Karampelias, M., Tejos, R., Friml, J., &; Vanneste, S. (2018). Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia. In D. Ristova &; E. Barbez (Eds.), Root Development. Methods and Protocols (Vol. 1761, pp. 131–143). Springer.https://doi.org/10.1007/978-1-4939-7747-5_10 
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Novarino, G. (2018). Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aar7514 
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

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 
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

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 
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

Bloem, R., Chatterjee, K., &; Jobstmann, B. (2018). Graph games and reactive synthesis. In T. A. Henzinger, E. M. Clarke, H. Veith, &; R. Bloem (Eds.), Handbook of Model Checking (1st ed., pp. 921–962). Springer.https://doi.org/10.1007/978-3-319-10575-8_27 
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Clarke, E., Henzinger, T. A., &; Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer.https://doi.org/10.1007/978-3-319-10575-8_1 
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Bondarenko, A., Mellit, A., Prymak, A., Radchenko, D., &; Viazovska, M. (2018). There is no strongly regular graph with parameters (460; 153; 32; 60). In Contemporary Computational Mathematics (pp. 131–134). Springer.https://doi.org/10.1007/978-3-319-72456-0_7 
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

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 
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Hausel, T., Mellit, A., &; Pei, D. (2018). Mirror symmetry with branes by equivariant verlinde formulas. In Geometry and Physics: Volume I (pp. 189–218). Oxford University Press.https://doi.org/10.1093/oso/9780198802013.003.0009 
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009

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 
LibreCat: https://research-explorer.ista.ac.at/record/690
DOI: 10.1007/s00440-017-0787-8
arXiv: 1605.08767

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 
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

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 
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Pietrzak, K. Z. (2018). Proofs of catalytic space. In 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019) (Vol. 124, p. 59:1-59:25). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ITCS.2019.59 
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

Alistarh, D.-A., Leiserson, W., Matveev, A., &; Shavit, N. (2018). ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. Association for Computing Machinery.https://doi.org/10.1145/3201897 
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

Polino, A., Pascanu, R., &; Alistarh, D.-A. (2018). Model compression via distillation and quantization. In 6th International Conference on Learning Representations. Vancouver, Canada.
LibreCat: https://research-explorer.ista.ac.at/record/7812
arXiv: 1802.05668

Llorca, A., Ciceri, G., Beattie, R. J., Wong, F. K., Diana, G., Serafeimidou, E.,https://doi.org/10.1101/494088__Marín, O. (n.d.). Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/494088 
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, &; M. Sirjani (Eds.), Principles of Modeling (Vol. 10760, pp. 143–161). Springer.https://doi.org/10.1007/978-3-319-95246-8_9 
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Danzl, J. G. (2018). Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. Lobachevsky State University of Nizhny Novgorod.https://doi.org/10.20388/omp2018.00s1.001 
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Avni, G., Guha, S., &; Kupferman, O. (2018). Timed network games with clocks (Vol. 117). Presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2018.23 
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Polechova, J. (2018). Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005372 
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Frost, J. M., Kim, M. Y., Park, G. T., Hsieh, P.-H., Nakamura, M., Lin, S. J. H.,https://doi.org/10.1073/pnas.1713333115__Fischer, R. L. (2018). FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1713333115 
LibreCat: https://research-explorer.ista.ac.at/record/9471
DOI: 10.1073/pnas.1713333115
PMID: 29712855

Fulek, R., &; Kyndl, J. (2018). The 2-Genus of Kuratowski minors (Vol. 99, p. 40.1-40.14). 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.40 
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Fulek, R., &; Pach, J. (2018). Thrackles: An improved upper bound (Vol. 10692, pp. 160–166). Presented at the GD 2017: Graph Drawing and Network Visualization, Boston, MA, United States: Springer.https://doi.org/10.1007/978-3-319-73915-1_14 
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Faria, R., Chaube, P., Morales, H. E., Larsson, T., Lemmon, A. R., Lemmon, E. M.,https://doi.org/10.5061/dryad.72cg113__Butlin, R. K. (2018). Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Dryad.https://doi.org/10.5061/dryad.72cg113 
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Kazda, A., Kozik, M., McKenzie, R., &; Moore, M. (2018). Absorption and directed Jónsson terms. In J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Vol. 16, pp. 203–220). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-74772-9_7 
LibreCat: https://research-explorer.ista.ac.at/record/10864
DOI: 10.1007/978-3-319-74772-9_7
arXiv: 1502.01072

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2018). Shellability is NP-complete (Vol. 99, p. 41:1-41:16). 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.41 
LibreCat: https://research-explorer.ista.ac.at/record/184
DOI: 10.4230/LIPIcs.SoCG.2018.41

Huszár, K., Spreer, J., &; Wagner, U. (2018). On the treewidth of triangulated 3-manifolds (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.46 
LibreCat: https://research-explorer.ista.ac.at/record/285
DOI: 10.4230/LIPIcs.SoCG.2018.46
arXiv: 1712.00434

Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A.,https://doi.org/10.5281/ZENODO.2025846__Notredame, C. (2018). Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method. Zenodo.https://doi.org/10.5281/ZENODO.2025846 
LibreCat: https://research-explorer.ista.ac.at/record/13059
DOI: 10.5281/ZENODO.2025846

Watzinger, H. (2018). Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1033 
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1026 
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Zimin, A. (2018). Learning from dependent data. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH1048 
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_1046 
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1021 
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021