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.
543 Publications
2024 |Published| Journal Article | IST-REx-ID: 15334 | 
Abels H, Fei M, Moser M. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 2024;63(4). doi:10.1007/s00526-024-02715-7
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15350 |
Rouzé C, Wirth M, Zhang H. Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. 2024;405(4). doi:10.1007/s00220-024-04981-0
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15323 |
Vercellino I, Sazanov LA. SCAF1 drives the compositional diversity of mammalian respirasomes. Nature Structural and Molecular Biology. 2024. doi:10.1038/s41594-024-01255-0
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17128
Lemoult GM, Vasudevan M, Shih HY, et al. Directed percolation and puff jamming near the transition to pipe turbulence. Nature Physics. 2024. doi:10.1038/s41567-024-02513-0
View
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17127 |
Wang V, Xu MW. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. 2024. doi:10.1112/blms.13095
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 12866
Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 9652 |
Dymond M, Kaluza V. Highly irregular separated nets. Israel Journal of Mathematics. 2023;253:501-554. doi:10.1007/s11856-022-2448-6
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
Harris DG, Kolmogorov V. Parameter estimation for Gibbs distributions. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.72
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: 14th International Conference on Interactive Theorem Proving. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
Anastos M. Fast algorithms for solving the Hamilton cycle problem with high probability. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2023. Society for Industrial and Applied Mathematics; 2023:2286-2323. doi:10.1137/1.9781611977554.ch88
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 11706 |
Liebenau A, Mattos L, Mendonca dos Santos W, Skokan J. Asymmetric Ramsey properties of random graphs involving cliques and cycles. Random Structures and Algorithms. 2023;62(4):1035-1055. doi:10.1002/rsa.21106
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12349 |
Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. 2023;26:606-614. doi:10.1038/s41593-023-01280-0
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14408 |
Cipolloni G, Erdös L, Schröder DJ. Mesoscopic central limit theorem for non-Hermitian random matrices. Probability Theory and Related Fields. 2023. doi:10.1007/s00440-023-01229-1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12960 |
Boissonnat JD, Kachanovich S, Wintraecken M. Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. SIAM Journal on Computing. 2023;52(2):452-486. doi:10.1137/21M1412918
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12683 |
Dubach G, Erdös L. Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. 2023;28:1-13. doi:10.1214/23-ECP516
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14457 |
Hoffmann C, Simkin M. Stronger lower bounds for leakage-resilient secret sharing. In: 8th International Conference on Cryptology and Information Security in Latin America. Vol 14168. Springer Nature; 2023:215-228. doi:10.1007/978-3-031-44469-2_11
[Preprint]
View
| DOI
| Download Preprint (ext.)