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.
4266 Publications
2024 |Published| Thesis | IST-REx-ID: 17164 | 
Reker, Jana. Central Limit Theorems for Random Matrices: From Resolvents to Free Probability. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17164.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17154 |
Reker, Jana. “Fluctuation Moments for Regular Functions of Wigner Matrices.” Mathematical Physics, Analysis and Geometry, vol. 27, no. 3, 10, Springer Nature, 2024, doi:10.1007/s11040-024-09483-y.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17047 |
Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.” Random Matrices: Theory and Applications, World Scientific Publishing, 2024, doi:10.1142/s2010326324500072.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17196 |
Sagi, Oliver. A Gate-Tunable Transmon in Planar Ge. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17196.
[Published Version]
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17202 |
Sagi, Oliver, et al. “A Gate Tunable Transmon Qubit in Planar Ge.” ArXiv, doi:10.48550/arXiv.2403.16774.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 15101 |
Chen, JingJing. Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15101.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12534 |
Ghazaryan, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12158 |
Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
Koval, Nikita, et al. “Fast and Scalable Channels in Kotlin Coroutines.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–18, doi:10.1145/3572848.3577481.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
Henzinger, Monika H., et al. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” 40th International Symposium on Theoretical Aspects of Computer Science, vol. 254, 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.STACS.2023.36.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12716 |
Burnett, Laura. 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, 2023, doi:10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 12846 |
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” ArXiv, 2303.14555, doi:10.48550/arXiv.2303.14555.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13048 |
Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–76, doi:10.1145/3564246.3585113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Accepted| Conference Paper | IST-REx-ID: 13053 |
Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv