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.
4158 Publications
2023 | Journal Article | IST-REx-ID: 12543 | 
Stock, M., Milutinovic, B., Hönigsberger, M., Grasse, A. V., Wiesenhofer, F., Kampleitner, N., … Cremer, S. (2023). Pathogen evasion of social immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-023-01981-6
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12542
Villalba Requena, A., & Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.01.006
View
| DOI
2023 | Journal Article | IST-REx-ID: 12544 |
Koehl, P., Akopyan, A., & Edelsbrunner, H. (2023). Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives. Journal of Chemical Information and Modeling. American Chemical Society. https://doi.org/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. (2023). Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In 2022 IEEE International Conference on Data Mining Workshops. Orlando, FL, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icdmw58026.2022.00093
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12562
Ladle, D. R., & Hippenmeyer, S. (n.d.). Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00172.2022
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12567 |
Mrestani, A., Lichter, K., Sirén, A. L., Heckmann, M., Paul, M. M., & Pauli, M. (2023). Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms24032128
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12566 |
Alistarh, D.-A., Ellen, F., & Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier. https://doi.org/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. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/20m1378223
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures. Paris, France.
View
| Files available
| arXiv
2023 | Thesis | IST-REx-ID: 12491
Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12491
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11479 |
De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M., … Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley. https://doi.org/10.1111/eva.13428
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12681 |
Dubief, Y., Terrapon, V. E., & Hof, B. (2023). Elasto-inertial turbulence. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-032822-025933
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch173
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12683 |
Dubach, G., & Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Project Euclid. https://doi.org/10.1214/23-ECP516
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12682 |
Avila, M., Barkley, D., & Hof, B. (2023). Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-120720-025957
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12679 |
Hippenmeyer, S. (2023). Principles of neural stem cell lineage progression: Insights from developing cerebral cortex. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2023.102695
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12680 |
Ivanov, G., & Köse, S. (2023). Erdős–Ko–Rado and Hilton–Milner theorems for two-forms. Discrete Mathematics. Elsevier. https://doi.org/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, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12696 |
Metzler, S., Kirchner, J., Grasse, A. V., & Cremer, S. (n.d.). Trade-offs between immunity and competitive ability in fighting ant males. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2023.01.30.526206
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Research Data | IST-REx-ID: 12693 |
Cremer, S. (2023). Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12693
View
| Files available
| DOI