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 | OA
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: 19744 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 19776 | OA
Browning TD, Glas J, Wang V. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 2025;310(4). doi:10.1007/s00209-025-03765-z
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 15121 | OA
Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2025;210:881-894. doi:10.1007/s10107-024-02066-3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20844 | OA
Dujmovic J, Günther CU, Pietrzak KZ. Space-deniable proofs. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025:171-202. doi:10.1007/978-3-032-12290-2_6
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
Agrawal S, Modi A, Yadav A, Yamada S. Zeroizing attacks against evasive and circular evasive LWE. In: 23rd International Conference on Theory of Cryptography. Vol 16269. Springer Nature; 2025:259-290. doi:10.1007/978-3-032-12293-3_9
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
Brandt N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. Constrained verifiable random functions without obfuscation and friends. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025:478-511. doi:10.1007/978-3-032-12290-2_16
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 20932 | OA | PlanS
Liu Y, Mascia S, Pentericci L, et al. A Lyman continuum analysis of ∼100 galaxies at z spec∼ 3 in the Abell 2744 cluster field. Astronomy & Astrophysics. 2025;704. doi:10.1051/0004-6361/202556410
[Published Version] View | Files available | DOI | arXiv
 

2025 | In Press | Journal Article | IST-REx-ID: 20935 | OA | PlanS
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.)
 

2025 | Draft | Preprint | IST-REx-ID: 20982 | OA
Kulich I, Oulehlová D, Vladimirtsev D, et al. Armadillo repeat only proteins are required for the function of plant CNGC channels. bioRxiv. doi:10.1101/2025.01.06.631460
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 21061 | OA | PlanS
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
 

2025 | Published | Journal Article | IST-REx-ID: 21062 | OA | PlanS
Matthee JJ, Naidu RP, Kotiwale G, et al. Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z ∼ 5. The Astrophysical Journal. 2025;988(2). doi:10.3847/1538-4357/ade886
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21063 | OA | PlanS
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
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21070 | OA
Demirel B, Fumero M, Locatello F. Out-of-Distribution detection with relative angles. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Cano Cordoba F, Henzinger TA, Kueffner K. Algorithmic fairness: A runtime perspective. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:1-21. doi:10.1007/978-3-032-05435-7_1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:54-72. doi:10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Henzinger TA, Kueffner K, Singh V, Sun I. Alignment monitoring. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:140-159. doi:10.1007/978-3-032-05435-7_9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa M, Henzinger TA, Oliveira da Costa AA. Monitoring hypernode logic over infinite domains. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:417-437. doi:10.1007/978-3-032-05435-7_23
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21245 | OA | PlanS
Alamalhoda M, Leesch F, Giovanetti F, et al. Exploring neural entrainment and synchrony in response to repeated 60 Hz flickering white light in healthy volunteers. PLOS One. 2025;20(10). doi:10.1371/journal.pone.0332310
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed