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.
5025 Publications
2024 |Published| Thesis | IST-REx-ID: 15020 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hledik M. 2024. Genetic information and biological optimization. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Attali D, Kourimska H, Fillmore CD, Ghosh I, Lieutier A, Stephenson ER, Wintraecken M. 2024. Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. 5(1), 33–49.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17161 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aebischer K, Becker LM, Schanda P, Ernst M. 2024. Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR. Magnetic Resonance. 5(1), 69–86.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17162 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2024. Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. 8(OOPSLA1), 107.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17154 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Reker J. 2024. Fluctuation moments for regular functions of Wigner Matrices. Mathematical Physics, Analysis and Geometry. 27(3), 10.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17047 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dubach G, Reker J. 2024. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sett R, Hassani F, Phan DT, Barzanjeh S, Vukics A, Fink JM. 2024. Emergent macroscopic bistability induced by a single superconducting qubit. PRX Quantum. 5(1), 010327.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, Arai itaru, Kim O, Shigemoto R, Jonas PM. 2024. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 112(5), 755–771.e9.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Thesis | IST-REx-ID: 15101 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12534 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. 2023. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 5(1), 013029.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger MH, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12716 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 12846 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv, 2303.14555.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv