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.

2078 Publications


2025 | Conference Paper | IST-REx-ID: 19738 | OA
Acharya, A., Azari, K., Baig, M. A., Hofheinz, D., & Kamath, C. (2025). Securely instantiating ‘Half Gates’ garbling in the standard model. In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography (Vol. 15677, pp. 37–75). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91829-2_2
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa, M., & Richter, C. (2025). BUBAAK: Dynamic cooperative verification. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90660-2_14
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., & Svoboda, J. (2025). 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, pp. 217–236). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_11
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Automating the analysis of quantitative automata with QuAK. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15696, pp. 303–312). Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_16
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). 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, pp. 167–190). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_9
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). 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, pp. 130–151). Hamilton, ON, Canada: Springer Nature. https://doi.org/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. (2025). Refuting equivalence in probabilistic programs with conditioning. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. https://doi.org/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. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19776 | OA
Browning, T. D., Glas, J., & Wang, V. (2025). Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-025-03765-z
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19778 | OA
Hoffmann, C., & Pietrzak, K. Z. (2025). Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography (Vol. 15674, pp. 36–66). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91820-9_2
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19784 | OA
de Graaff A, Brammer G, Weibel A, Lewis Z, Maseda MV, Oesch PA, Bezanson R, Boogaard LA, Cleri NJ, Cooper OR, Gottumukkala R, Greene JE, Hirschmann M, Hviding RE, Katz H, Labbé I, Leja J, Matthee JJ, McConachie I, Miller TB, Naidu RP, Price SH, Rix H-W, Setton DJ, Suess KA, Wang B, Whitaker KE, Williams CC. 2025. RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec. Astronomy & Astrophysics. 697, A189.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 19798 | OA
Anastos, M., & Morris, P. (2025). A note on finding large transversals efficiently. Journal of Combinatorial Designs. Wiley. https://doi.org/10.1002/jcd.21990
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19841 | OA
Britavskiy N, Mahy L, Lennon DJ, Patrick LR, Sana H, Villaseñor JI, Shenar T, Bodensteiner J, Bernini-Peron M, Berlanas SR, Bowman DM, Crowther PA, De Mink SE, Evans CJ, Götberg YLL, Holgado G, Johnston C, Keszthelyi Z, Klencki J, Langer N, Mandel I, Menon A, Moe M, Oskinova LM, Pauli D, Pawlak M, Ramachandran V, Renzo M, Sander AAC, Schneider FRN, Schootemeijer A, Sen K, Simón-Díaz S, Van Loon JT, Vink JS. 2025. Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. Astronomy & Astrophysics. 698, A40.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19858 | OA
El-Hayek, A., Hanauer, K., & Henzinger, M. (2025). On b-matching and fully-dynamic maximum k-edge coloring. In 4th Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 330). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2025.4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19860 | OA
Aronov, B., Basit, A., Ramesh, I., Tasinato, G., & Wagner, U. (2025). Eight-partitioning points in 3D, and efficiently too. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-025-00739-0
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19931 | OA
Furtak LJ, Secunda AR, Greene JE, Zitrin A, Labbé I, Golubchik M, Bezanson R, Kokorev V, Atek H, Brammer GB, Chemerynska I, Cutler SE, Dayal P, Feldmann R, Fujimoto S, Glazebrook K, Leja J, Ma Y, Matthee JJ, Naidu RP, Nelson EJ, Oesch PA, Pan R, Price SH, Suess KA, Wang B, Weaver JR, Whitaker KE. 2025. Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1. Astronomy & Astrophysics. 698, A227.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19964 | OA
Cheng, S., Schlaufman, K. C., & Caiazzo, I. (2025). A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars. The Astronomical Journal. IOP Publishing. https://doi.org/10.3847/1538-3881/addd21
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20004 | OA
Streltsova, E., & Wagner, U. (2025). Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers. In 41st International Symposium on Computational Geometry (Vol. 332). Kanazawa, Japan: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2025.75
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20008 | OA
Avvakumov, S., Filakovský, M., Opršal, J., Tasinato, G., & Wagner, U. (2025). Hardness of 4-colouring G-colourable graphs. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 72–83). Prague, Czechia: Association for Computing Machinery. https://doi.org/10.1145/3717823.3718154
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter, C., Chalupa, M., Jakobs, M.-C., & Wehrheim, H. (2025). Cooperative software verification via dynamic program splitting. In 47th International Conference on Software Engineering (pp. 2087–2099). Ottawa, ON, Canada: IEEE. https://doi.org/10.1109/ICSE55347.2025.00092
View | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed