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.
6244 Publications
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: 15401 |
Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck
F. Napoli, J.-Y. Guan, C.-A. Arnaud, P. Macek, H. Fraga, C. Breyton, P. Schanda, Magnetic Resonance 5 (2024) 33–49.
[Published Version]
View
| Files available
| DOI
F. Napoli, J.-Y. Guan, C.-A. Arnaud, P. Macek, H. Fraga, C. Breyton, P. Schanda, Magnetic Resonance 5 (2024) 33–49.
2024 |Published| Journal Article | IST-REx-ID: 17161 |
Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR
K. Aebischer, L.M. Becker, P. Schanda, M. Ernst, Magnetic Resonance 5 (2024) 69–86.
[Published Version]
View
| Files available
| DOI
K. Aebischer, L.M. Becker, P. Schanda, M. Ernst, Magnetic Resonance 5 (2024) 69–86.
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| Journal Article | IST-REx-ID: 17154 |
Fluctuation moments for regular functions of Wigner Matrices
J. Reker, Mathematical Physics, Analysis and Geometry 27 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J. Reker, Mathematical Physics, Analysis and Geometry 27 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17047 |
Dynamics of a rank-one multiplicative perturbation of a unitary matrix
G. Dubach, J. Reker, Random Matrices: Theory and Applications (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, J. Reker, Random Matrices: Theory and Applications (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 |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| 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 |Epub ahead of print| Journal Article | IST-REx-ID: 17188 |
Delegated online search
P. Braun, N. Hahn, M. Hoefer, C. Schecker, Artificial Intelligence 334 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
P. Braun, N. Hahn, M. Hoefer, C. Schecker, Artificial Intelligence 334 (2024).
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.
2024 |Published| Journal Article | IST-REx-ID: 17238 |
Limits to species' range: The tension between local and global adaptation
N.H. Barton, Journal of Evolutionary Biology 37 (2024) 605–615.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
N.H. Barton, Journal of Evolutionary Biology 37 (2024) 605–615.
2024 |Published| Journal Article | IST-REx-ID: 17237 |
Temporal genomics help in deciphering neutral and adaptive patterns in the contemporary evolution of kelp populations
L. Reynes, L. Fouqueau, D. Aurelle, S. Mauger, C. Destombe, M. Valero, Journal of Evolutionary Biology 37 (2024) 677–692.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
L. Reynes, L. Fouqueau, D. Aurelle, S. Mauger, C. Destombe, M. Valero, Journal of Evolutionary Biology 37 (2024) 677–692.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17239 |
In operando imaging electrostatic-driven disassembly and reassembly of collagen nanostructures
C. Garcia-Sacristan, V.G. Gisbert, K. Klein, A. Šarić, R. Garcia, ACS Nano (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Garcia-Sacristan, V.G. Gisbert, K. Klein, A. Šarić, R. Garcia, ACS Nano (2024).