Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4873 Publications


2019 | Journal Article | IST-REx-ID: 6093 | OA
Goudarzi, M., Boquet-Pujadas, A., Olivo-Marin, J. C., & Raz, E. (2019). Fluid dynamics during bleb formation in migrating cells in vivo. PLOS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0212699
[Published Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6071 | OA
Prizak, R. (2019). Coevolution of transcription factors and their binding sites in sequence space. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:th6071
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7436 | OA
Srivastava, T. K. (2019). On derived equivalences of k3 surfaces in positive characteristic. Documenta Mathematica. EMS Press. https://doi.org/10.25537/dm.2019v24.1135-1177
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 72 | OA
Ferrari, P., Ghosal, P., & Nejjar, P. (2019). Limit law of a second class particle in TASEP with non-random initial condition. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/18-AIHP916
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6657 | OA
Danowski, P. (2019). An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. https://doi.org/10.31263/voebm.v72i1.2276
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6646
Khatoniar, M., Yama, N., Ghazaryan, A., Guddala, S., Ghaemi, P., & Menon, V. (2019). Room temperature control of valley coherence in bilayer WS2 exciton polaritons. In CLEO: Applications and Technology. San Jose, CA, United States: Optica  Publishing Group. https://doi.org/10.1364/cleo_at.2019.jtu2a.52
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7233
Rueda Sanchez, A. R., Sedlmeir, F., Leuchs, G., Kumari, M., & Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. In Nonlinear Optics, OSA Technical Digest. Waikoloa Beach, Hawaii (HI), United States: Optica  Publishing Group. https://doi.org/10.1364/NLO.2019.NM2A.5
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6240 | OA
Alt, J., Erdös, L., Krüger, T. H., & Nemish, Y. (2019). Location of the spectrum of Kronecker random matrices. Annales de l’institut Henri Poincare. Institut Henri Poincaré. https://doi.org/10.1214/18-AIHP894
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399 | OA
Andergassen, D., Muckenhuber, M., Bammer, P. C., Kulinski, T. M., Theussl, H.-C., Shimizu, T., … Hudson, Q. J. (2019). The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008268
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7103 | OA
Wang, J. W. J. L., Lombardi, F., Zhang, X., Anaclet, C., & Ivanov, P. C. (2019). Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007268
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6569 | OA
Phuong, M., & Lampert, C. (2019). Towards understanding knowledge distillation. In Proceedings of the 36th International Conference on Machine Learning (Vol. 97, pp. 5142–5151). Long Beach, CA, United States: ML Research Press.
[Published Version] View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6590 | OA
Konstantinov, N. H., & Lampert, C. (2019). Robust learning from untrusted sources. In Proceedings of the 36th International Conference on Machine Learning (Vol. 97, pp. 3488–3498). Long Beach, CA, USA: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6999 | OA
Huang, D., Sun, Y., Ma, Z., Ke, M., Cui, Y., Chen, Z., … Chen, X. (2019). Salicylic acid-mediated plasmodesmal closure via Remorin-dependent lipid organization. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1911892116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6621 | OA
Wright, A. E., Darolti, I., Bloch, N. I., Oostra, V., Sandkam, B. A., Buechel, S. D., … Mank, J. E. (2019). On the power to detect rare recombination events. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1905555116
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6856 | OA
Pickup, M., Barton, N. H., Brandvain, Y., Fraisse, C., Yakimowski, S., Dixit, T., … Field, D. (2019). Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. Wiley. https://doi.org/10.1111/nph.16180
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6647 | OA
Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2019). The crossing Tverberg theorem. In 35th International Symposium on Computational Geometry (Vol. 129, p. 38:1-38:13). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.38
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6676 | OA
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2019). Why extension-based proofs fail. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (pp. 986–996). Phoenix, AZ, United States: ACM Press. https://doi.org/10.1145/3313276.3316407
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Preprint | IST-REx-ID: 7950 | OA
Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (n.d.). Token swapping on trees. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6418 | OA
Huylmans, A. K., Toups, M. A., Macon, A., Gammerdinger, W. J., & Vicoso, B. (2019). Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evz053
[Published Version] View | Files available | DOI | WoS
 

2019 | Research Data | IST-REx-ID: 7016 | OA
Tomanek, I. (2019). Data for the paper “Gene amplification as a form of population-level gene expression regulation.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7016
[Published Version] View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 7154 | OA
Guseinov, R. (2019). Supplementary data for “Programming temporal morphing of self-actuated shells.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7154
[Published Version] View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6060 | OA
Vicoso, B. (2019). Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6060
[Published Version] View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6074 | OA
Dotter, C., & Novarino, G. (2019). Supplementary data for the research paper “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6074
[Published Version] View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6062 | OA
Nardin, M. (2019). Supplementary Code and Data for the paper “The Entorhinal Cognitive Map is Attracted to Goals.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6062
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6089 | OA
Fraisse, C., Puixeu Sala, G., & Vicoso, B. (2019). Pleiotropy modulates the efficacy of selection in drosophila melanogaster. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msy246
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6179 | OA
Schröder, D. J. (2019). From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th6179
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6482 | OA
Sun, R., & Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-12939-2_18
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6642 | OA
Dostalík, M., Pruša, V., & Skrivan, T. (2019). On diffusive variants of some classical viscoelastic rate-type models. In AIP Conference Proceedings (Vol. 2107). Zlin, Czech Republic: AIP Publishing. https://doi.org/10.1063/1.5109493
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7226 | OA
Jaksic, V., & Seiringer, R. (2019). Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/1.5138135
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7190 | OA
Huber, D., Hammer, H.-W., & Volosniev, A. (2019). In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.1.033177
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6575 | OA
Choi, S., Turner, C. J., Pichler, H., Ho, W. W., Michailidis, A., Papić, Z., … Abanin, D. A. (2019). Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.122.220603
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6092 | OA
Mentink, J. H., Katsnelson, M., & Lemeshko, M. (2019). Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.99.064428
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6090 | OA
Carballo-Pacheco, M., Desponds, J., Gavrilchenko, T., Mayer, A., Prizak, R., Reddy, G., … 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
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2019 | Journal Article | IST-REx-ID: 6786 | OA
Hubert, C., Baruchi, Y., Mazuz-Harpaz, Y., Cohen, K., Biermann, K., Lemeshko, M., … Santos, P. (2019). Attractive dipolar coupling between stacked exciton fluids. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.9.021026
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7013 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7200 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6779 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7015 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7145 | OA
Anselmetti, G. L. R., Martinez, E. A., Ménard, G. C., Puglia, D., Malinowski, F. K., Lee, J. S., … 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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 5906 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7396 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7606 | OA
Hledik, M., Sokolowski, T. R., & Tkačik, 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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6933 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Thesis | IST-REx-ID: 6269 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Conference Abstract | IST-REx-ID: 11222 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6947 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6351 | OA
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6943 | OA
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7391 | OA
Tabata, S., Jevtic, M., Kurashige, N., Fuchida, H., Kido, M., Tani, K., … 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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6848 | OA
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
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
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
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 7132 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
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
[Published Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6825 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
Castro, J. P., Yancoskie, M. N., Marchini, M., Belohlavy, S., Hiramatsu, L., Kučka, M., … 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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Preprint | IST-REx-ID: 10065 | OA
Hofmann, A. C., Jirovec, D., Borovkov, M., Prieto Gonzalez, I., Ballabio, A., Frigerio, J., … 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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6187 | OA
Valosková, K., Bicher, J., Roblek, M., Emtenani, S., György, A., Misova, M., … 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
[Published Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6546 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
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
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
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 F147772, pp. 374–381). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297319
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
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
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
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 F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
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
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi, A., Hajny, J., Fukui, K., Nakao, Y., Gallei, M. C., Quareshy, M., … Hayashi, K. (2019). Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. ASPB. https://doi.org/10.1104/pp.19.00201
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6508 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001 | OA
Schwayer, C., Shamipour, S., Pranjic-Ferscha, K., Schauer, A., Balda, M., Tada, M., … 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
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
Renkawitz, J., Kopf, A., Stopp, J. A., de Vries, I., Driscoll, M. K., Merrin, J., … 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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6877
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
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830 | OA
Contreras, X., & Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell grid. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2019.08.021
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6627 | OA
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7117 | OA
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
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6371 | OA
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
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6189 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 10286 | OA
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
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 10883 | OA
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
[Published Version] View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 11 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 1215 | OA
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
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 185 | OA
Fulek, R., & Kynčl, 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
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 188 | OA
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
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 306 | OA
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
[Published Version] View | Files available | DOI
 

2018 | Book | IST-REx-ID: 3300
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
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
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
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 305
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
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 408
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
View | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 411
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
View | DOI
 

2018 | Journal Article | IST-REx-ID: 456
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
View | DOI
 

2018 | Journal Article | IST-REx-ID: 53 | OA
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
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536 | OA
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
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications