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.
720 Publications
2023 | Journal Article | IST-REx-ID: 14254 | 
Seiringer R, Solovej JP. 2023. A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. 285(10), 110129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14920 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2023. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2, 4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12802 |
Knaus L, Basilico B, Malzl D, Gerykova Bujalkova M, Smogavec M, Schwarz LA, Gorkiewicz S, Amberg N, Pauler F, Knittl-Frank C, Tassinari M, Maulide N, Rülicke T, Menche J, Hippenmeyer S, Novarino G. 2023. Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. 186(9), 1950–1967.e25.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14985 |
Liu Z, Hong T, Xu L, Wang S, Gao X, Chang C, Ding X, Xiao Y, Zhao L. 2023. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2(1), 161–170.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14758 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.
[Published Version]
View
| Files available
| DOI
2023 | 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 | Preprint | IST-REx-ID: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv, 2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15196 |
Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15197 |
Bolin BT, Noll KS, Caiazzo I, Fremling C, Binzel RP. 2023. Keck and Gemini spectral characterization of Lucy mission fly-by target (152830) Dinkinesh. Icarus. 400, 115562.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI