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.
6997 Publications
2024 | Research Data | IST-REx-ID: 15385 | 
Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, (2024).
[Published Version]
View
| Files available
| DOI
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, (2024).
2024 |Published| Conference Abstract | IST-REx-ID: 17139 |
How much memory per CPU core is requested?
A. Schlögl, W. Khalid, S. Elefante, S. Stadlbauer, in:, ASHPC24 - Austrian-Slovenian HPC Meeting 2024, EuroCC Austria, 2024, p. 46.
[Published Version]
View
| Files available
| DOI
A. Schlögl, W. Khalid, S. Elefante, S. Stadlbauer, in:, ASHPC24 - Austrian-Slovenian HPC Meeting 2024, EuroCC Austria, 2024, p. 46.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 |Published| Thesis | IST-REx-ID: 17133 |
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 15020 |
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
2024 |Published| Journal Article | IST-REx-ID: 17162 |
Quantitative bounds on resource usage of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 |Published| Thesis | IST-REx-ID: 17164 |
Central limit theorems for random matrices: From resolvents to free probability
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 17156 |
Equivariant cohomology and rings of functions
K.P. Rychlewicz, Equivariant Cohomology and Rings of Functions, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
K.P. Rychlewicz, Equivariant Cohomology and Rings of Functions, Institute of Science and Technology Austria, 2024.
2024 |Published| Journal Article | IST-REx-ID: 17190 |
Brillouin zones of integer lattices and their perturbations
H. Edelsbrunner, A. Garber, M. Ghafaris, T. Heiss, M. Saghafiant, M. Wintraecken, SIAM Journal on Discrete Mathematics 38 (2024) 1784–1807.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, A. Garber, M. Ghafaris, T. Heiss, M. Saghafiant, M. Wintraecken, SIAM Journal on Discrete Mathematics 38 (2024) 1784–1807.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 14930
Locally free representations of quivers over commutative Frobenius algebras
T. Hausel, E. Letellier, F. Rodriguez-Villegas, Selecta Mathematica 30 (2024).
View
| DOI
T. Hausel, E. Letellier, F. Rodriguez-Villegas, Selecta Mathematica 30 (2024).
2024 | Conference Paper | IST-REx-ID: 17214 |
Primal–Dual Non-Smooth Friction for Rigid Body Animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24 (SIGGRAPH Conference Papers ’24), Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24 (SIGGRAPH Conference Papers ’24), Association for Computing Machinery, 2024.
2024 |Published| Thesis | IST-REx-ID: 17119
Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 17225 |
Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 17206
Novel approaches to studying alternative splicing in Drosophila Melanogaster: Insights into sex-specific gene expression and the evolution of sex determination
J. Raices, 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, 2024.
[Published Version]
View
| Files available
| DOI
J. Raices, 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, 2024.
2024 |Published| Journal Article | IST-REx-ID: 17183 |
Emergent macroscopic bistability induced by a single superconducting qubit
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
2024 | Research Data | IST-REx-ID: 17196 |
A gate-tunable transmon in planar Ge
O. Sagi, (2024).
[Published Version]
View
| Files available
| DOI
O. Sagi, (2024).
2024 |Submitted| Preprint | IST-REx-ID: 17202 |
A gate tunable transmon qubit in planar Ge
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17187 |
Protocol for quantitative reconstruction of cell lineage using mosaic analysis with double markers in mice
G.T. Cheung, C. Streicher, S. Hippenmeyer, STAR Protocols 5 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G.T. Cheung, C. Streicher, S. Hippenmeyer, STAR Protocols 5 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17207 |
Eco-evolutionary dynamics in changing environments: Integrating theory with data
L. Fouqueau, J. Polechova, Journal of Evolutionary Biology 37 (2024) 579–587.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Fouqueau, J. Polechova, Journal of Evolutionary Biology 37 (2024) 579–587.