Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6079 Publications
2025 | Published | Journal Article | IST-REx-ID: 20322 |
|
|
Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices. Communications in Mathematical Physics. 2025;406(10). doi:10.1007/s00220-025-05417-z
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18764 |
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner matrices. Annales Henri Poincare. 2025;26:1991-2033. doi:10.1007/s00023-024-01518-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20576 |
Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv. doi:10.48550/ARXIV.2506.06441
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Thesis | IST-REx-ID: 20551 |
Ishida S. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. 2025. doi:10.15479/AT-ISTA-20551
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20580 |
Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and their prequantum structure. arXiv. doi:10.48550/ARXIV.2507.11727
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Research Data | IST-REx-ID: 20641 |
Becker LM, Schanda P. Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” 2025. doi:10.15479/AT-ISTA-20641
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18778 |
Tluckova K, Kaczmarek BM, Testa Salmazo AP, Bernecky C. Mechanism of mammalian transcriptional repression by noncoding RNA. Nature Structural & Molecular Biology. 2025;32:607-612. doi:10.1038/s41594-024-01448-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20669 |
|
|
He Z, Westoby M, REN S, et al. Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. Journal of Glaciology. 2025. doi:10.1017/jog.2025.10104
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20664 |
|
|
Kapoor L, Ruzickova N, Zivadinovic P, et al. Quantifying the carbon footprint of conference travel: The case of NMR meetings. Magnetic Resonance. 2025;6(2):243-256. doi:10.5194/mr-6-243-2025
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20663 |
|
|
Roychoudhry S, Sageman-Furnas K, Taylor HJ, et al. Angle dependence as a unifying feature of root graviresponse modules. Proceedings of the National Academy of Sciences of the United States of America. 2025;122(46):e2506400122. doi:10.1073/pnas.2506400122
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Research Data | IST-REx-ID: 20242 |
Schanda P. Data of: “Quantifying the carbon footprint of conference travel: the case of NMR meetings.” 2025. doi:10.15479/AT-ISTA-20242
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20667
El Latif Kadry A, Zhang Y, Weinberger N. Mean estimation in high-dimensional binary timeinhomogeneous Markov Gaussian mixture models. In: 2025 IEEE International Symposium on Information Theory Proceedings. IEEE; 2025. doi:10.1109/ISIT63088.2025.11195426
View
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20659 |
|
|
Aguado C, Alfaro-Ruiz R, Martínez-Poyato ML, et al. Developmental regulation of GABAB receptors and downstream molecules in the mouse brain. Histology and Histopathology. 2025;40(12):1967-1984. doi:10.14670/HH-18-970
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 20658 |
Edelsbrunner H, Stephenson ER, Thoresen MH. The mid-sphere cousin of the medial axis transform. In: 4th International Joint Conference on Discrete Geometry and Mathematical Morphology. Vol 16296. Springer Nature; 2025:133-147. doi:10.1007/978-3-032-09544-2_10
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
Chatterjee K, Goharshady AK, Goharshady E, et al. PolyQEnt: A polynomial quantified entailment solver. In: 23rd International Symposium on Automated Technology for Verification and Analysis. Vol 16145. Springer Nature; 2025:411-424. doi:10.1007/978-3-032-08707-2_19
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20636
Huang R, Wang J, Chang M, Tang W, Yu Y, Zhang Y, Peng Y, Wang Y, Guo Y, Lu T, Cao Y, Zhou Y, Zhang Q, Huang Y, Wu A, Ren L, Gallei MC, Dong J, Chen H, He J, Wen M, Friml J, Sun L, Xiong Y, Yang Z, Xu T. 2025. TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis. Developmental Cell., S1534-5807(25)00569–6.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20685 |
|
|
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20690 |
Brihaye T, Chatterjee K, Mohr S, Weininger M. Risk-aware Markov decision processes using cumulative prospect theory. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:458-471. doi:10.1109/lics65433.2025.00041
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Multiplicative rewards in Markovian models. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:499-512. doi:10.1109/lics65433.2025.00044
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Grobelna M, Kretinsky J, Weininger M. Stopping criteria for value iteration on concurrent stochastic reachability and safety games. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:568-580. doi:10.1109/lics65433.2025.00049
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv