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.
8024 Publications
2023 | Journal Article | IST-REx-ID: 12545 | 
Rojas Vega MN, De Castro P, Soto R. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 2023;107(1). doi:10.1103/PhysRevE.107.014608
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12562
Ladle DR, Hippenmeyer S. Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. doi:10.1152/jn.00172.2022
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12567 |
Mrestani A, Lichter K, Sirén AL, Heckmann M, Paul MM, Pauli M. Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. 2023;24(3). doi:10.3390/ijms24032128
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12566 |
Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. Theoretical Computer Science. 2023;948(2). doi:10.1016/j.tcs.2023.113733
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12563 |
Krokhin A, Opršal J, Wrochna M, Živný S. Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. 2023;52(1):38-79. doi:10.1137/20m1378223
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. ; 2023.
View
| Files available
| arXiv
2023 | Journal Article | IST-REx-ID: 12668 |
Zhao L, Yang Y, Chen J, et al. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 2023;24. doi:10.1186/s13059-022-02844-2
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 12491
Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11479 |
De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12158 |
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12681 |
Dubief Y, Terrapon VE, Hof B. Elasto-inertial turbulence. Annual Review of Fluid Mechanics. 2023;55(1):675-705. doi:10.1146/annurev-fluid-032822-025933
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12683 |
Dubach G, Erdös L. Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. 2023;28:1-13. doi:10.1214/23-ECP516
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12682 |
Avila M, Barkley D, Hof B. Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. 2023;55:575-602. doi:10.1146/annurev-fluid-120720-025957
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12679 |
Hippenmeyer S. Principles of neural stem cell lineage progression: Insights from developing cerebral cortex. Current Opinion in Neurobiology. 2023;79(4). doi:10.1016/j.conb.2023.102695
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12680 |
Ivanov G, Köse S. Erdős–Ko–Rado and Hilton–Milner theorems for two-forms. Discrete Mathematics. 2023;346(6). doi:10.1016/j.disc.2023.113363
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12696 |
Metzler S, Kirchner J, Grasse AV, Cremer S. Trade-offs between immunity and competitive ability in fighting ant males. bioRxiv. doi:10.1101/2023.01.30.526206
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Research Data | IST-REx-ID: 12693 |
Cremer S. Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males . 2023. doi:10.15479/AT:ISTA:12693
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12697 |
Grosjean GM, Waitukaitis SR. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 2023;130(9). doi:10.1103/physrevlett.130.098202
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv