Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4151 Publications
2023 | Journal Article | IST-REx-ID: 12543 | 
Stock M, Milutinovic B, Hönigsberger M, et al. Pathogen evasion of social immunity. Nature Ecology and Evolution. 2023. doi:10.1038/s41559-023-01981-6
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12542
Villalba Requena A, Hippenmeyer S. Going back in time with TEMPO. Neuron. 2023;111(3):291-293. doi:10.1016/j.neuron.2023.01.006
View
| DOI
2023 | Journal Article | IST-REx-ID: 12544 |
Koehl P, Akopyan A, Edelsbrunner H. Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives. Journal of Chemical Information and Modeling. 2023. doi:10.1021/acs.jcim.2c01346
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12548 |
Forghani M, Claramunt C, Karimipour F, Heiler G. Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In: 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/icdmw58026.2022.00093
View
| Files available
| DOI
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 | 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: 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