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.
5399 Publications
2023 | Published | Journal Article | IST-REx-ID: 13096 | 
Degen M, Santos JC, Pluhackova K, et al. Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. 2023;618:1065-1071. doi:10.1038/s41586-023-05991-z
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13097 |
Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 13107 |
Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13117 |
Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 2023;14. doi:10.1038/s41467-023-38761-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13118
Hernandez J-A, Bethkenhagen M, Ninet S, et al. Melting curve of superionic ammonia at planetary interior conditions. Nature Physics. 2023;19:1280-1285. doi:10.1038/s41567-023-02074-8
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13119 |
Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 2023;618:716-720. doi:10.1038/s41586-023-06018-3
[Published Version]
View
| Files available
| DOI
| WoS
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 | Research Data Reference | IST-REx-ID: 13124 |
Redchenko E, Poshakinskiy A, Sett R, Zemlicka M, Poddubny A, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. 2023. doi:10.5281/ZENODO.7858567
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13125 |
Sack S, Medina Ramos RA, Kueng R, Serbyn M. Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. 2023;107(6). doi:10.1103/physreva.107.062404
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 2023;14. doi:10.1038/s41467-023-38947-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13128 |
Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 2023;66(4):1280-1295. doi:10.4153/S000843952300036X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13129 |
Clozeau N, Josien M, Otto F, Xu Q. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. 2023. doi:10.1007/s10208-023-09613-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Agresti A, Veraar M. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 2023;368(9):247-300. doi:10.1016/j.jde.2023.05.038
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13136 |
Minchington T, Rus S, Kicheva A. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 2023;35. doi:10.1016/j.coisb.2023.100459
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13138 |
Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 2023;107(18). doi:10.1103/PhysRevB.107.184312
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13993. Springer Nature; 2023:489-507. doi:10.1007/978-3-031-30823-9_25
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 2023;28:1-12. doi:10.1214/23-ECP528
[Published Version]
View
| Files available
| DOI
| WoS