Please note that IST 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.
2426 Publications
2020 | Journal Article | IST-REx-ID: 8790 | 
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8792 |
Marveggio A, Schimperna G. On a non-isothermal Cahn-Hilliard model based on a microforce balance. Journal of Differential Equations. doi:10.1016/j.jde.2020.10.030
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8793 |
Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. doi:10.1016/j.dam.2020.10.022
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7995 |
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 2020;74(7):1482-1497. doi:10.1111/evo.14027
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8562 |
Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 8958 |
Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:10.15479/AT:ISTA:8958
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8966 |
Schauer A, Heisenberg C-PJ. Reassembling gastrulation. Developmental Biology. doi:10.1016/j.ydbio.2020.12.014
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8971 |
Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8973 |
Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8978 |
Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 2020;1(3). doi:10.1016/j.xpro.2020.100215
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8986 |
Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8987 |
Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8931 |
Gelová Z, Gallei MC, Pernisová M, et al. Developmental roles of auxin binding protein 1 in Arabidopsis thaliana. Plant Science. 2020;303. doi:10.1016/j.plantsci.2020.110750
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8940 |
Boissonnat J-D, Kachanovich S, Wintraecken M. Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. 2020. doi:10.1007/s00454-020-00250-8
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8943 |
Tan S, Di Donato M, Glanc M, et al. Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. 2020;33(9). doi:10.1016/j.celrep.2020.108463
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8944 |
Zemlicka M, Kopčík M, Szabó P, et al. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 2020;102(18). doi:10.1103/PhysRevB.102.180508
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8949 |
Zhang X, Mennicke CV, Xiao G, et al. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 2020;9(12). doi:10.3390/cells9122662
View
| Files available
| DOI
2020 | Research Data | IST-REx-ID: 8951 |
Nagy-Staron AA. Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” 2020. doi:10.15479/AT:ISTA:8951
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8955 |
Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 2020;11. doi:10.3389/fphys.2020.558070
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8957 |
Godard BG, Dumollard R, Munro E, et al. Apical relaxation during mitotic rounding promotes tension-oriented cell division. Developmental Cell. doi:10.1016/j.devcel.2020.10.016
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 9000 |
Grah R, Zoller B, Tkačik G. Nonequilibrium models of optimal enhancer function. PNAS. 2020;117(50):31614-31622. doi:10.1073/pnas.2006731117
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8587 |
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 2020;152(16). doi:10.1063/1.5144759
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 8930 |
Kavcic B. Analysis scripts and research data for the paper “Minimal biophysical model of combined antibiotic action.” 2020. doi:10.15479/AT:ISTA:8930
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 7673 |
Kavcic B, Tkačik G, Bollenbach MT. A minimal biophysical model of combined antibiotic action. bioRxiv. 2020. doi:10.1101/2020.04.18.047886
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7387 |
Baranova NS, Radler P, Hernández-Rocamora VM, et al. Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins. Nature Microbiology. 2020. doi:10.1038/s41564-019-0657-5
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7388 |
Gerencser M. Nondivergence form quasilinear heat equations driven by space-time white noise. Annales de l’Institut Henri Poincaré C, Analyse non linéaire. 2020;37(3):663-682. doi:10.1016/j.anihpc.2020.01.003
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7389 |
Geher GP, Titkos T, Virosztek D. Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society. 2020;373(8):5855-5883. doi:10.1090/tran/8113
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Book Chapter | IST-REx-ID: 74 |
Akopyan A, Karasev R. Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Klartag B, Milman E, eds. Geometric Aspects of Functional Analysis. Vol 2256. LNM. Springer Nature; 2020:1-27. doi:10.1007/978-3-030-36020-7_1
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7350 |
Nibau C, Gallemi M, Dadarou D, Doonan JH, Cavallari N. Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2. Frontiers in Plant Science. 2020;10. doi:10.3389/fpls.2019.01680
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7364 |
Lopez Alonso JM, Feldmann D, Rampp M, Vela-Martín A, Shi L, Avila M. nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow. SoftwareX. 2020;11. doi:10.1016/j.softx.2019.100395
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7369 |
Cubero RJ, Marsili M, Roudi Y. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 2020;48:85-102. doi:10.1007/s10827-020-00740-x
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7343 |
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. Social immunity modulates competition between coinfecting pathogens. Ecology Letters. 2020;23(3):565-574. doi:10.1111/ele.13458
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7346 |
Schmid L, Chatterjee K, Schmid S. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. In: Proceedings of the 23rd International Conference on Principles of Distributed Systems. Vol 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.OPODIS.2019.21
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7348 |
Ferrere T, Henzinger TA, Kragl B. Monitoring event frequencies. In: 28th EACSL Annual Conference on Computer Science Logic. Vol 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CSL.2020.20
View
| Files available
| DOI
| arXiv
2020 | Thesis | IST-REx-ID: 7460 |
Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 7463 |
Lombardi F, Shriki O, Herrmann HJ, de Arcangelis L. Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. bioRxiv. 2020. doi:10.1101/2020.02.03.930966
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7464 |
Dick RA, Xu C, Morado DR, et al. Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly. PLOS Pathogens. 2020;16(1). doi:10.1371/journal.ppat.1008277
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7465 |
Mazur E, Gallei MC, Adamowski M, Han H, Robert HS, Friml J. Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis. Plant Science. 2020;293(4). doi:10.1016/j.plantsci.2020.110414
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7466 |
Kierdorf K, Hersperger F, Sharrock J, et al. Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila. eLife. 2020;9. doi:10.7554/eLife.51595
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7473 |
Borges Merjane C, Kim O, Jonas PM. Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices. Neuron. 2020;105:992-1006. doi:10.1016/j.neuron.2019.12.022
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Book (Editor) | IST-REx-ID: 7474 |
Schlögl A, Kiss J, Elefante S, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria; 2020. doi:10.15479/AT:ISTA:7474
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7481 |
Bui Thi Mai P, Lampert C. Functional vs. parametric equivalence of ReLU networks.
View
| Files available
2020 | Journal Article | IST-REx-ID: 7487 |
López De La Oliva AR, Campos-Sandoval JA, Gómez-García MC, et al. Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation. Scientific reports. 2020;10(1). doi:10.1038/s41598-020-58264-4
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7488 |
Latorre-Pellicer A, Ascaso Á, Trujillano L, et al. Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes. International Journal of Molecular Sciences. 2020;21(3). doi:10.3390/ijms21031042
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7489 |
Fischer JL, Hensel S. Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. 2020;236:967-1087. doi:10.1007/s00205-019-01486-2
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7428 |
Ghazaryan A, Lopes PLS, Hosur P, Gilbert MJ, Ghaemi P. Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B. 2020;101(2). doi:10.1103/PhysRevB.101.020504
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7431 |
Kolchinsky A, Corominas-Murtra B. Decomposing information into copying versus transformation. Journal of the Royal Society Interface. 2020;17(162). doi:10.1098/rsif.2019.0623
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 7416 |
Sinclair SA, Krämer U. Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687175
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7417 |
Sinclair SA, Gille S, Pauly M, Krämer U. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687185
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC