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.

5863 Publications


2024 |Published| Journal Article | IST-REx-ID: 15401 | OA
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 | OA
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 | OA
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| Journal Article | IST-REx-ID: 17183 | OA
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 |Published| Journal Article | IST-REx-ID: 17188 | OA
P. Braun, N. Hahn, M. Hoefer, and C. Schecker, “Delegated online search,” Artificial Intelligence, vol. 334. Elsevier, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 17164 | OA
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 | OA
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 | OA
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 | Research Data | IST-REx-ID: 17196 | OA
O. Sagi, “A gate-tunable transmon in planar Ge.” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 |Submitted| Preprint | IST-REx-ID: 17202 | OA
O. Sagi et al., “A gate tunable transmon qubit in planar Ge,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 15101 | OA
J. Chen, “Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2023 |Published| Book Chapter | IST-REx-ID: 12428 | OA
E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 12534 | OA
A. Ghazaryan, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Dissipative dynamics of an impurity with spin-orbit coupling,” Physical Review Research, vol. 5, no. 1. American Physical Society, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 12158 | OA
P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12676 | OA
K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 12735 | OA
N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Poster | IST-REx-ID: 12736 | OA
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 12760 | OA
M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Thesis | IST-REx-ID: 12716 | OA
L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12854 | OA
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications