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.
1966 Publications
2025 | Published | Journal Article | IST-REx-ID: 18754 | 
Smith HM, Ng HK, Moodie JE, Gadd DA, Mccartney DL, Bernabeu E, Campbell A, Redmond P, Taylor A, Page D, Corley J, Harris SE, Tay D, Deary IJ, Evans KL, Robinson MR, Chambers JC, Loh M, Cox SR, Marioni RE, Hillary RF. 2025. DNA methylation-based predictors of metabolic traits in Scottish and Singaporean cohorts. American Journal of Human Genetics. 112(1), 106–115.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18851 |
Rodriguez AC, El-Badry K, Suleimanov V, Pala AF, Kulkarni SR, Gaensicke B, Mori K, Rich RM, Sarkar A, Bao T, De Oliveira RL, Ramsay G, Szkody P, Graham M, Prince TA, Caiazzo I, Vanderbosch ZP, Roestel JV, Das KK, Qin YJ, Kasliwal MM, Wold A, Groom SL, Reiley D, Riddle R. 2025. Cataclysmic variables and AM CVn binaries in SRG/eROSITA + Gaia: Volume limited samples, X-ray luminosity functions, and space densities. Publications of the Astronomical Society of the Pacific. 137(1), 014201.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18580 |
Lipiński M, Mischaikow K, Mrozek M. Morse predecomposition of an invariant set. Qualitative Theory of Dynamical Systems. 2025;24(1). doi:10.1007/s12346-024-01144-3
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18478 |
Anastos M, Boyadzhiyska S, Rathke S, Rué J. On the chromatic number of powers of subdivisions of graphs. Discrete Applied Mathematics. 2025;360:506-511. doi:10.1016/j.dam.2024.10.002
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
Henzinger M, Upadhyay J. Improved differentially private continual observation using group algebra. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 5. Association for Computing Machinery; 2025:2951-2970. doi:10.1137/1.9781611978322.95
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19431
Hlavata A. Regulation of Cytoplasmic RNA Polymerase II. 2025. doi:10.15479/10.15479/AT-ISTA-19431
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18631 |
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18705 |
Glas J, Hochfilzer L. On a question of Davenport and diagonal cubic forms over Fq(t). Mathematische Annalen. 2025;391:5485-5533. doi:10.1007/s00208-024-03035-z
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19712 |
Cueto Noval M, Merz S-P, Stählin P, Ünal A. On the soundness of algebraic attacks against code-based assumptions. In: 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Vol 15606. Springer Nature; 2025:385-415. doi:10.1007/978-3-031-91095-1_14
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15698. Springer Nature; 2025:212-216. doi:10.1007/978-3-031-90660-2_14
[Published Version]
View
| Files available
| DOI
2025 | Conference Paper | IST-REx-ID: 19738 |
Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. Securely instantiating ‘Half Gates’ garbling in the standard model. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15677. Springer Nature; 2025:37-75. doi:10.1007/978-3-031-91829-2_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19742 |
Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Research Data Reference | IST-REx-ID: 19769 |
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19722
Inumella S. Molecular mechanisms of microtubule reorganization in elongating root epidermal cells. 2025. doi:10.15479/AT-ISTA-19722
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19745
Canigova N. Adaptive strategies of dendritic cell migration in response to environmental cues. 2025. doi:10.15479/AT-ISTA-19745
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20004 |
Streltsova E, Wagner U. Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers. In: 41st International Symposium on Computational Geometry. Vol 332. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.SoCG.2025.75
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20055
Lee S, Balazs D, Horta S, Rayaroth Puthiyaveettil A, Ibáñez M. Reaction precursor-mediated formation of stable supercrystals in colloidal nanocrystal synthesis: PbTe case. In: Proceedings of the MATSUS Spring 2025 Conference. Fundació Scito; 2025. doi:10.29363/nanoge.matsusspring.2025.173
View
| DOI