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.
6977 Publications
2024 | Journal Article | IST-REx-ID: 17149 | 
Edelsbrunner, H., & Nikitenko, A. (2024). Average and expected distortion of Voronoi paths and scapes. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-024-00660-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 17146 |
Edelsbrunner, H., & Pach, J. (2024). Maximum Betti numbers of Čech complexes. In 40th International Symposium on Computational Geometry (Vol. 293). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.53
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 17142 |
Burnett, L., Koppensteiner, P., Symonova, O., Masson, T., Vega Zuniga, T. A., Contreras, X., … Jösch, M. A. (2024). Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002668
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Research Data | IST-REx-ID: 15385 |
Burnett, L., Koppensteiner, P., Symonova, O., Masson, T., Vega Zuniga, T. A., Contreras, X., … Jösch, M. A. (2024). Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:15385
[Published Version]
View
| Files available
| DOI
2024 | Conference Abstract | IST-REx-ID: 17139 |
Schlögl, A., Khalid, W., Elefante, S., & Stadlbauer, S. (2024). How much memory per CPU core is requested? In ASHPC24 - Austrian-Slovenian HPC Meeting 2024 (p. 46). Grundlsee, Austria: EuroCC Austria. https://doi.org/10.25365/phaidra.463
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 17094 |
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Thesis | IST-REx-ID: 17133 |
Hassani, F. (2024). Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17133
[Published Version]
View
| Files available
| DOI
2024 | Thesis | IST-REx-ID: 15020 |
Hledik, M. (2024). Genetic information and biological optimization. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15020
[Published Version]
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 17170 |
Attali, D., Kourimska, H., Fillmore, C. D., Ghosh, I., Lieutier, A., Stephenson, E. R., & Wintraecken, M. (2024). Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds. In 40th International Symposium on Computational Geometry (Vol. 293, p. 11:1-11:19). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Thesis | IST-REx-ID: 15101 |
Chen, J. (2024). Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen, J., Kaufmann, W., Chen, C., Arai, itaru, Kim, O., Shigemoto, R., & Jonas, P. M. (2024). Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17162 |
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2024). Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3649824
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12534 |
Ghazaryan, A., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.5.013029
[Published Version]
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval, N., Alistarh, D.-A., & Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12716 |
Burnett, L. (2023). To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI