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.
2033 Publications
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: 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 |
Journal Article |
IST-REx-ID: 19776 |
Optimal sums of three cubes in Fq[t]
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 15121 |
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20844 |
Space-deniable proofs
J. Dujmovic, C.U. Günther, K.Z. Pietrzak, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 171–202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Dujmovic, C.U. Günther, K.Z. Pietrzak, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 171–202.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20845 |
Zeroizing attacks against evasive and circular evasive LWE
S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20846 |
Constrained verifiable random functions without obfuscation and friends
N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.
[Preprint]
View
| DOI
| Download Preprint (ext.)
N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.
2025 |
Published |
Journal Article |
IST-REx-ID: 20932 |
| 
|
A Lyman continuum analysis of ∼100 galaxies at z spec∼ 3 in the Abell 2744 cluster field
Y. Liu, S. Mascia, L. Pentericci, P. Watson, A. Alavi, P. Bergamini, M. Bradač, A. Calabrò, K. Glazebrook, A. Henry, M. Llerena, E. Merlin, B. Metha, T. Nanayakkara, L. Napolitano, N. Roy, B. Siana, E. Vanzella, B. Vulcani, X. Wang, Astronomy & Astrophysics 704 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
Y. Liu, S. Mascia, L. Pentericci, P. Watson, A. Alavi, P. Bergamini, M. Bradač, A. Calabrò, K. Glazebrook, A. Henry, M. Llerena, E. Merlin, B. Metha, T. Nanayakkara, L. Napolitano, N. Roy, B. Siana, E. Vanzella, B. Vulcani, X. Wang, Astronomy & Astrophysics 704 (2025).
2025 |
In Press |
Journal Article |
IST-REx-ID: 20935 |
|
|
Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii
Kelley R, Khavnekar S, Righetto RD, Heebner J, Obr M, Zhang X, Chakraborty S, Tagiltsev G, Michael AK, Van Dorst S, Waltz F, Mccafferty CL, Lamm L, Zufferey S, Van Der Stappen P, Van Den Hoek H, Wietrzynski W, Harar P, Wan W, Briggs JAG, Plitzko JM, Engel BD, Kotecha A. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Kelley R, Khavnekar S, Righetto RD, Heebner J, Obr M, Zhang X, Chakraborty S, Tagiltsev G, Michael AK, Van Dorst S, Waltz F, Mccafferty CL, Lamm L, Zufferey S, Van Der Stappen P, Van Den Hoek H, Wietrzynski W, Harar P, Wan W, Briggs JAG, Plitzko JM, Engel BD, Kotecha A. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell.
2025 |
Draft |
Preprint |
IST-REx-ID: 20982 |
Armadillo repeat only proteins are required for the function of plant CNGC channels
I. Kulich, D. Oulehlová, D. Vladimirtsev, M. Zou, E. Lileikyte, A. Bondar, K. Kulichová, M. Janda, O. Iakovenko, M. Neubergerová, T. Studtrucker, R. Pleskot, P. Dietrich, M. Fendrych, J. Friml, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
I. Kulich, D. Oulehlová, D. Vladimirtsev, M. Zou, E. Lileikyte, A. Bondar, K. Kulichová, M. Janda, O. Iakovenko, M. Neubergerová, T. Studtrucker, R. Pleskot, P. Dietrich, M. Fendrych, J. Friml, BioRxiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21061 |
|
|
GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7
Fujimoto S, Naidu RP, Chisholm J, Atek H, Endsley R, Kokorev V, Furtak LJ, Pan R, Liu B, Bromm V, Venditti A, Visbal E, Sarmento R, Weibel A, Oesch PA, Brammer G, Schaerer D, Adamo A, Berg DA, Bezanson R, Bouwens R, Chemerynska I, Claeyssens A, Dessauges-Zavadsky M, Frebel A, Korber D, Labbe I, Marques-Chaves R, Matthee JJ, McQuinn KBW, Muñoz JB, Natarajan P, Saldana-Lopez A, Suess KA, Volonteri M, Zitrin A. 2025. GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7. The Astrophysical Journal. 989, 46.
[Published Version]
View
| Files available
| DOI
Fujimoto S, Naidu RP, Chisholm J, Atek H, Endsley R, Kokorev V, Furtak LJ, Pan R, Liu B, Bromm V, Venditti A, Visbal E, Sarmento R, Weibel A, Oesch PA, Brammer G, Schaerer D, Adamo A, Berg DA, Bezanson R, Bouwens R, Chemerynska I, Claeyssens A, Dessauges-Zavadsky M, Frebel A, Korber D, Labbe I, Marques-Chaves R, Matthee JJ, McQuinn KBW, Muñoz JB, Natarajan P, Saldana-Lopez A, Suess KA, Volonteri M, Zitrin A. 2025. GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7. The Astrophysical Journal. 989, 46.
2025 |
Published |
Journal Article |
IST-REx-ID: 21062 |
|
|
Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z ∼ 5
J.J. Matthee, R.P. Naidu, G. Kotiwale, L.J. Furtak, I. Kramarenko, R. Mackenzie, J. Greene, A. Adamo, R.J. Bouwens, C. Di Cesare, A.-C. Eilers, A. de Graaff, K.E. Heintz, D. Kashino, M.V. Maseda, S. Tacchella, A. Torralba Torregrosa, The Astrophysical Journal 988 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
J.J. Matthee, R.P. Naidu, G. Kotiwale, L.J. Furtak, I. Kramarenko, R. Mackenzie, J. Greene, A. Adamo, R.J. Bouwens, C. Di Cesare, A.-C. Eilers, A. de Graaff, K.E. Heintz, D. Kashino, M.V. Maseda, S. Tacchella, A. Torralba Torregrosa, The Astrophysical Journal 988 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21063 |
|
|
Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures
Herard-Demanche T, Bouwens RJ, Oesch PA, Naidu RP, Decarli R, Nelson EJ, Brammer G, Weibel A, Xiao M, Stefanon M, Walter F, Matthee JJ, Meyer RA, Wuyts S, Reddy N, Rowland L, van Leeuwen I, Haro PA, Dannerbauer H, Shapley AE, Chisholm J, van Dokkum P, Labbe I, Illingworth G, Schaerer D, Shivaei I. 2025. Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures. Monthly Notices of the Royal Astronomical Society. 537(2), 788–808.
[Published Version]
View
| Files available
| DOI
| arXiv
Herard-Demanche T, Bouwens RJ, Oesch PA, Naidu RP, Decarli R, Nelson EJ, Brammer G, Weibel A, Xiao M, Stefanon M, Walter F, Matthee JJ, Meyer RA, Wuyts S, Reddy N, Rowland L, van Leeuwen I, Haro PA, Dannerbauer H, Shapley AE, Chisholm J, van Dokkum P, Labbe I, Illingworth G, Schaerer D, Shivaei I. 2025. Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures. Monthly Notices of the Royal Astronomical Society. 537(2), 788–808.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21070 |
Out-of-Distribution detection with relative angles
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21091 |
Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21092 |
Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
2025 |
Published |
Journal Article |
IST-REx-ID: 21245 |
|
|
Exploring neural entrainment and synchrony in response to repeated 60 Hz flickering white light in healthy volunteers
M. Alamalhoda, F. Leesch, F. Giovanetti, E. Dunne, G. Pilloni, M. Caffrey, J. O’Keeffe, A. Venturino, M.T. Ferretti, PLOS One 20 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Alamalhoda, F. Leesch, F. Giovanetti, E. Dunne, G. Pilloni, M. Caffrey, J. O’Keeffe, A. Venturino, M.T. Ferretti, PLOS One 20 (2025).