Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5217 Publications
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: 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. 5(1), 33–49.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17161 |
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 |
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| Journal Article | IST-REx-ID: 17154 |
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 |
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| 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: 17188 |
Braun P, Hahn N, Hoefer M, Schecker C. 2024. Delegated online search. Artificial Intelligence. 334, 104171.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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