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 | 
DNA methylation-based predictors of metabolic traits in Scottish and Singaporean cohorts
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
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.
2025 | Published | Journal Article | IST-REx-ID: 18851 |
Cataclysmic variables and AM CVn binaries in SRG/eROSITA + Gaia: Volume limited samples, X-ray luminosity functions, and space densities
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
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.
2025 | Published | Journal Article | IST-REx-ID: 18580 |
Morse predecomposition of an invariant set
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18478 |
On the chromatic number of powers of subdivisions of graphs
M. Anastos, S. Boyadzhiyska, S. Rathke, J. Rué, Discrete Applied Mathematics 360 (2025) 506–511.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Anastos, S. Boyadzhiyska, S. Rathke, J. Rué, Discrete Applied Mathematics 360 (2025) 506–511.
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
Improved differentially private continual observation using group algebra
M. Henzinger, J. Upadhyay, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery, 2025, pp. 2951–2970.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, J. Upadhyay, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery, 2025, pp. 2951–2970.
2025 | Published | Thesis | IST-REx-ID: 19431
Regulation of Cytoplasmic RNA Polymerase II
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
View
| Files available
| DOI
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 18631 |
Efficient formation of a massive quiescent galaxy at redshift 4.9
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
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.
2025 | Published | Journal Article | IST-REx-ID: 18705 |
On a question of Davenport and diagonal cubic forms over Fq(t)
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
2025 | Published | Conference Paper | IST-REx-ID: 19712 |
On the soundness of algebraic attacks against code-based assumptions
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version]
View
| Files available
| DOI
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
2025 | Conference Paper | IST-REx-ID: 19738 |
Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
2025 | Published | Conference Paper | IST-REx-ID: 19742 |
Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
2025 | Research Data Reference | IST-REx-ID: 19769 |
Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
2025 | Published | Thesis | IST-REx-ID: 19722
Molecular mechanisms of microtubule reorganization in elongating root epidermal cells
S. Inumella, Molecular Mechanisms of Microtubule Reorganization in Elongating Root Epidermal Cells, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Inumella, Molecular Mechanisms of Microtubule Reorganization in Elongating Root Epidermal Cells, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19745
Adaptive strategies of dendritic cell migration in response to environmental cues
N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20004 |
Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers
E. Streltsova, U. Wagner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Streltsova, U. Wagner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20055
Reaction precursor-mediated formation of stable supercrystals in colloidal nanocrystal synthesis: PbTe case
S. Lee, D. Balazs, S. Horta, A. Rayaroth Puthiyaveettil, M. Ibáñez, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació Scito, 2025.
View
| DOI
S. Lee, D. Balazs, S. Horta, A. Rayaroth Puthiyaveettil, M. Ibáñez, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació Scito, 2025.