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.
11038 Publications
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
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
Kurtic E, Marques A, Pandit S, Kurtz M, Alistarh D-A. “Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization. In: Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics; 2025:26872-26886.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20357
Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 17468 |
|
|
Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 2025;646(8085):601–605. doi:10.1038/s41586-025-09587-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 20556 |
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20556
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15674. Springer Nature; 2025:36-66. doi:10.1007/978-3-031-91820-9_2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | In Press | Journal Article | IST-REx-ID: 19507 |
Andersen MS, Ulyanchenko S, Schweiger PJ, Hannezo EB, Simons BD, Jensen KB. Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance. Journal of Investigative Dermatology. doi:10.1016/j.jid.2025.01.034
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Jikko Y, Deguchi E, Matsuda K, et al. Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. 2025;138(15). doi:10.1242/jcs.263779
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | In Press | Journal Article | IST-REx-ID: 20143 |
|
|
Zhang Z, Todeschini TC, Wu Y, et al. Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites. Cell. doi:10.1016/j.cell.2025.07.002
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20100 |
|
|
Vedula S, Bronstein AM, Marx A. Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment. Computational and Structural Biotechnology Journal. 2025;27:3292-3298. doi:10.1016/j.csbj.2025.07.039
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20182 |
Toups MA, Vicoso B. Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation. Current Opinion in Insect Science. 2025;72. doi:10.1016/j.cois.2025.101411
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS