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.
5199 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17133 |
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
2024 |Published| Thesis | IST-REx-ID: 15020 |
M. Hledik, “Genetic information and biological optimization,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
D. Attali et al., “Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds,” in 40th International Symposium on Computational Geometry, Athens, Greece, 2024, vol. 293, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15401 |
F. Napoli et al., “Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck,” Magnetic Resonance, vol. 5, no. 1. Copernicus Publications, pp. 33–49, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17161 |
K. Aebischer, L. M. Becker, P. Schanda, and M. Ernst, “Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR,” Magnetic Resonance, vol. 5, no. 1. Copernicus Publications, pp. 69–86, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17162 |
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Quantitative bounds on resource usage of probabilistic programs,” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1. Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17164 |
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
2024 |Published| Journal Article | IST-REx-ID: 17154 |
J. Reker, “Fluctuation moments for regular functions of Wigner Matrices,” Mathematical Physics, Analysis and Geometry, vol. 27, no. 3. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17047 |
G. Dubach and J. Reker, “Dynamics of a rank-one multiplicative perturbation of a unitary matrix,” Random Matrices: Theory and Applications. World Scientific Publishing, 2024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17156 |
K. P. Rychlewicz, “Equivariant cohomology and rings of functions,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17190 |
H. Edelsbrunner, A. Garber, M. Ghafaris, T. Heiss, M. Saghafiant, and M. Wintraecken, “Brillouin zones of integer lattices and their perturbations,” SIAM Journal on Discrete Mathematics, vol. 38, no. 2. Society for Industrial and Applied Mathematics, pp. 1784–1807, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17119
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
2024 |Published| Thesis | IST-REx-ID: 17225 |
V. Li, “Towards a quantum entanglement enhanced atom interferomter,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17206
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
2024 |Published| Journal Article | IST-REx-ID: 17183 |
R. Sett, F. Hassani, D. T. Phan, S. Barzanjeh, A. Vukics, and J. M. Fink, “Emergent macroscopic bistability induced by a single superconducting qubit,” PRX Quantum, vol. 5, no. 1. American Physical Society, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17188 |
P. Braun, N. Hahn, M. Hoefer, and C. Schecker, “Delegated online search,” Artificial Intelligence, vol. 334. Elsevier, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17187 |
G. T. Cheung, C. Streicher, and S. Hippenmeyer, “Protocol for quantitative reconstruction of cell lineage using mosaic analysis with double markers in mice,” STAR Protocols, vol. 5, no. 3. Elsevier, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC