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.
9202 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 | 
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. Formal Methods in System Design. 2024. doi: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. Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. 2024. doi:10.15479/at:ista:17133
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 15020 |
Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17170 |
Attali D, Kourimska H, Fillmore CD, 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. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024:11:1-11:19. doi: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, 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. 2024;5(1):33-49. doi:10.5194/mr-5-33-2024
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17161 |
Aebischer K, Becker LM, Schanda P, Ernst M. Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR. Magnetic Resonance. 2024;5(1):69-86. doi:10.5194/mr-5-69-2024
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17162 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. 2024;8(OOPSLA1). doi:10.1145/3649824
[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. Emergent macroscopic bistability induced by a single superconducting qubit. PRX Quantum. 2024;5(1). doi:10.1103/prxquantum.5.010327
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17188 |
Braun P, Hahn N, Hoefer M, Schecker C. Delegated online search. Artificial Intelligence. 2024;334. doi:10.1016/j.artint.2024.104171
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Thesis | IST-REx-ID: 15101 |
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, et al. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 2024;112(5):755-771.e9. doi:10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Thesis | IST-REx-ID: 17164 |
Reker J. Central limit theorems for random matrices: From resolvents to free probability. 2024. doi:10.15479/at:ista:17164
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17154 |
Reker J. Fluctuation moments for regular functions of Wigner Matrices. Mathematical Physics, Analysis and Geometry. 2024;27(3). doi: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. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. 2024. doi:10.1142/s2010326324500072
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17196 |
Sagi O. A gate-tunable transmon in planar Ge. 2024. doi:10.15479/AT:ISTA:17196
[Published Version]
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17202 |
Sagi O, Crippa A, Valentini M, et al. A gate tunable transmon qubit in planar Ge. arXiv. doi:10.48550/arXiv.2403.16774
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12534 |
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12158 |
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)