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.
4216 Publications
2024 | Journal Article | IST-REx-ID: 15407 | 
Finžgar, J. R., Kerschbaumer, A., Schuetz, M. J. A., Mendl, C. B., & Katzgraber, H. G. (2024). Quantum-informed recursive optimization algorithms. PRX Quantum. American Physical Society. https://doi.org/10.1103/PRXQuantum.5.020327
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15405 |
Yue, M., Eilers, A. C., Simcoe, R. A., Mackenzie, R., Matthee, J. J., Kashino, D., … Naidu, R. P. (2024). EIGER. V. Characterizing the host galaxies of luminous quasars at z ≳ 6. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad3914
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15408 |
Link, K., Muhandes, L., Polikarpova, A., Lämmermann, T., Sixt, M. K., Fässler, R., & Roers, A. (n.d.). Integrin β1–mediated mast cell immune-surveillance of blood vessel content. Journal of Allergy and Clinical Immunology. Elsevier. https://doi.org/10.1016/j.jaci.2024.03.022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15401 |
Napoli, F., Guan, J.-Y., Arnaud, C.-A., Macek, P., Fraga, H., Breyton, C., & Schanda, P. (2024). Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck. Magnetic Resonance. Copernicus Publications. https://doi.org/10.5194/mr-5-33-2024
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15406 |
Savchenko, M. L., Gospodarič, J., Shuvaev, A., Dmitriev, I. A., Dziom, V., Dobretsova, A. A., … Pimenov, A. (2024). Optical Shubnikov-de Haas oscillations in two-dimensional electron systems. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.6.L022027
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15376 |
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15377 |
Majumdar, R., Sağlam, I., & Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15301 |
Hörmayer, L., Montesinos López, J. C., Trozzi, N., Spona, L., Yoshida, S., Marhavá, P., … Friml, J. (2024). Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. Elsevier. https://doi.org/10.1016/j.devcel.2024.03.009
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
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 | Journal Article | IST-REx-ID: 12158 |
Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3
[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 | Conference Paper | IST-REx-ID: 12760 |
Henzinger, M. H., Neumann, S., Räcke, H., & Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
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 | Preprint | IST-REx-ID: 12846 |
Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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