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.
6372 Publications
2023 | Research Data Reference | IST-REx-ID: 14990 | 
Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:10.5281/ZENODO.7548214
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14991 |
Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory in convection schemes using idealized tests. 2023. doi:10.5281/ZENODO.7757041
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Book Chapter | IST-REx-ID: 14992 |
Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14993 |
Currin C, Asiedu MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: 1st Workshop on Machine Learning & Global Health. OpenReview; 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Research Data Reference | IST-REx-ID: 15027 |
Curk S. aggregation_data. 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15129 |
O’Brien RE, Bravo JPK, Ramos D, Hibshman GN, Wright JT, Taylor DW. Structural snapshots of R-loop formation by a type I-C CRISPR Cascade. Molecular Cell. 2023;83(5):746-758.e5. doi:10.1016/j.molcel.2023.01.024
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 15130 |
Bravo JPK, Hallmark T, Naegle B, Beisel CL, Jackson RN, Taylor DW. RNA targeting unleashes indiscriminate nuclease activity of CRISPR–Cas12a2. Nature. 2023;613(7944):582-587. doi:10.1038/s41586-022-05560-w
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 15148 |
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 15149 |
Isbel L, Iskar M, Durdu S, et al. Readout of histone methylation by Trim24 locally restricts chromatin opening by p53. Nature Structural & Molecular Biology. 2023;30(7):948-957. doi:10.1038/s41594-023-01021-8
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 15173 |
Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361(G2):565-575. doi:10.5802/crmath.423
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15190 |
Heyl J et al. 2023. The detection of polarized X-ray emission from the magnetar 1E 2259+586. Monthly Notices of the Royal Astronomical Society. 527(4), 12219–12231.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15192 |
Miller DR, Caiazzo I, Heyl J, et al. An extremely massive white dwarf escaped from the Hyades star cluster. The Astrophysical Journal Letters. 2023;956(2). doi:10.3847/2041-8213/acffc4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15193 |
Doroshenko V et al. 2023. Complex variations in X-ray polarization in the X-ray pulsar LS V +44 17/RX J0440.9+4431. Astronomy & Astrophysics. 677, A57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15194 |
Rodriguez AC, Galiullin I, Gilfanov M, Kulkarni SR, Khamitov I, Bikmaev I, van Roestel J, Yungelson L, El-Badry K, Sunayev R, Prince TA, Buntov M, Caiazzo I, Drake A, Gorbachev M, Graham MJ, Gumerov R, Irtuganov E, Laher RR, Masci FJ, Medvedev P, Purdum J, Sakhibullin N, Sklyanov A, Smith R, Szkody P, Vanderbosch ZP. 2023. SRGeJ045359.9+622444: A 55 minute period eclipsing AM Canum Venaticorum star discovered from a joint SRG/eROSITA + ZTF search. The Astrophysical Journal. 954(1), 63.
[Published Version]
View
| DOI
| Download Published Version (ext.)