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.
7036 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17142 | 
Burnett L, Koppensteiner P, Symonova O, Masson T, Vega Zuniga TA, Contreras X, Rülicke T, Shigemoto R, Novarino G, Jösch MA. 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. 22, e3002668.
[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 TA, Contreras X, Rülicke T, Shigemoto R, Novarino G, Jösch MA. 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, 10.15479/AT:ISTA:15385.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Abstract | IST-REx-ID: 17139 |
Schlögl A, Khalid W, Elefante S, Stadlbauer S. 2024. How much memory per CPU core is requested? ASHPC24 - Austrian-Slovenian HPC Meeting 2024. ASHPC: Austrian-Slovenian HPC Meeting, 46.
[Published Version]
View
| Files available
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2024. Information-flow interfaces. Formal Methods in System Design.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| 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.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 15020 |
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 |
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: 17162 |
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| Thesis | IST-REx-ID: 17164 |
Reker J. 2024. Central limit theorems for random matrices: From resolvents to free probability. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17156 |
Rychlewicz KP. 2024. Equivariant cohomology and rings of functions. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17190 |
Edelsbrunner H, Garber A, Ghafaris M, Heiss T, Saghafiant M, Wintraecken M. 2024. Brillouin zones of integer lattices and their perturbations. SIAM Journal on Discrete Mathematics. 38(2), 1784–1807.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17119
Kelemen RK. 2024. Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17225 |
Li V. 2024. Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17206
Raices J. 2024. Novel approaches to studying alternative splicing in Drosophila Melanogaster: Insights into sex-specific gene expression and the evolution of sex determination. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17183 |
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 |Epub ahead of print| Journal Article | IST-REx-ID: 17187 |
Cheung GT, Streicher C, Hippenmeyer S. 2024. Protocol for quantitative reconstruction of cell lineage using mosaic analysis with double markers in mice. STAR Protocols. 5(3), 103157.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17207 |
Fouqueau L, Polechova J. 2024. Eco-evolutionary dynamics in changing environments: Integrating theory with data. Journal of evolutionary biology. 37(6), 579–587.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17238 |
Barton NH. 2024. Limits to species’ range: The tension between local and global adaptation. Journal of Evolutionary Biology. 37(6), 605–615.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17236 |
Kolmogorov V. 2024. A simpler and parallelizable O(√log n)-approximation algorithm for sparsest cut. Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 403–414.
[Published Version]
View
| Files available
| DOI
| arXiv