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.
6092 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 | 
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[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. https://doi.org/10.15479/at:ista:17133
[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. https://doi.org/10.15479/at:ista:15020
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
Attali, D., Kourimska, H., Fillmore, C. D., Ghosh, I., Lieutier, A., Stephenson, E. R., & Wintraecken, M. (2024). 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 (Vol. 293, p. 11:1-11:19). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.11
[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. Copernicus Publications. https://doi.org/10.5194/mr-5-33-2024
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17161 |
Aebischer, K., Becker, L. M., Schanda, P., & Ernst, M. (2024). Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR. Magnetic Resonance. Copernicus Publications. https://doi.org/10.5194/mr-5-69-2024
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17162 |
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2024). Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3649824
[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. https://doi.org/10.15479/at:ista:17164
[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. Springer Nature. https://doi.org/10.1007/s11040-024-09483-y
[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. World Scientific Publishing. https://doi.org/10.1142/s2010326324500072
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17156 |
Rychlewicz, K. P. (2024). Equivariant cohomology and rings of functions. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17156
[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. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/22M1489071
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17225 |
Li, V. (2024). Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17225
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17183 |
Sett, R., Hassani, F., Phan, D. T., Barzanjeh, S., Vukics, A., & Fink, J. M. (2024). Emergent macroscopic bistability induced by a single superconducting qubit. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.5.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. Elsevier. https://doi.org/10.1016/j.artint.2024.104171
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17187 |
Cheung, G. T., Streicher, C., & Hippenmeyer, S. (2024). Protocol for quantitative reconstruction of cell lineage using mosaic analysis with double markers in mice. STAR Protocols. Elsevier. https://doi.org/10.1016/j.xpro.2024.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. Oxford University Press. https://doi.org/10.1093/jeb/voae067
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17238 |
Barton, N. H. (2024). Limits to species’ range: The tension between local and global adaptation. Journal of Evolutionary Biology. Oxford University Press. https://doi.org/10.1093/jeb/voae052
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17237 |
Reynes, L., Fouqueau, L., Aurelle, D., Mauger, S., Destombe, C., & Valero, M. (2024). Temporal genomics help in deciphering neutral and adaptive patterns in the contemporary evolution of kelp populations. Journal of Evolutionary Biology. Oxford University Press. https://doi.org/10.1093/jeb/voae048
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17239 |
Garcia-Sacristan, C., Gisbert, V. G., Klein, K., Šarić, A., & Garcia, R. (2024). In operando imaging electrostatic-driven disassembly and reassembly of collagen nanostructures. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.4c03839
[Published Version]
View
| DOI
| Download Published Version (ext.)