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. 2025. Morse predecomposition of an invariant set. Qualitative Theory of Dynamical Systems. 24(1), 5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18478 |
Anastos M, Boyadzhiyska S, Rathke S, Rué J. 2025. On the chromatic number of powers of subdivisions of graphs. Discrete Applied Mathematics. 360, 506–511.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
Henzinger M, Upadhyay J. 2025. Improved differentially private continual observation using group algebra. Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 5, 2951–2970.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19431
Hlavata A. 2025. Regulation of Cytoplasmic RNA Polymerase II. Institute of Science and Technology Austria.
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. 2025. On a question of Davenport and diagonal cubic forms over Fq(t). Mathematische Annalen. 391, 5485–5533.
[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. 2025. On the soundness of algebraic attacks against code-based assumptions. 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 15606, 385–415.
[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. 2025. Value iteration with guessing for Markov chains and Markov decision processes. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
Chalupa M, Richter C. 2025. BUBAAK: Dynamic cooperative verification. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15698, 212–216.
[Published Version]
View
| Files available
| DOI
2025 | Conference Paper | IST-REx-ID: 19738 |
Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. 2025. Securely instantiating ‘Half Gates’ garbling in the standard model. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15677, 37–75.
[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. 2025. Fixed point certificates for reachability and expected rewards in MDPs. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 130–151.
[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. 2025. Sound statistical model checking for probabilities and expected rewards. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15696, 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2025. Refuting equivalence in probabilistic programs with conditioning. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 279–300.
[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. 2025. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package), Zenodo, 10.5281/ZENODO.14602066.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19722
Inumella S. 2025. Molecular mechanisms of microtubule reorganization in elongating root epidermal cells. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19745
Canigova N. 2025. Adaptive strategies of dendritic cell migration in response to environmental cues. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20004 |
Streltsova E, Wagner U. 2025. Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers. 41st International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 332, 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. 2025. Reaction precursor-mediated formation of stable supercrystals in colloidal nanocrystal synthesis: PbTe case. Proceedings of the MATSUS Spring 2025 Conference. MATSUS: Materials for Sustainable Development Conference, 173.
View
| DOI