ISTA Research Explorer

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 |

K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D. Zilken, “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, Hamilton, ON, Canada, 2025, vol. 15697, pp. 130–151.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 19744 |

K. Chatterjee, E. Goharshady, P. Novotný, and D. Zikelic, “Refuting equivalence in probabilistic programs with conditioning,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 279–300.

[Published Version] View | Files available | DOI | arXiv

2025 | Research Data Reference | IST-REx-ID: 19769 |

C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound statistical model checking for probabilities and expected rewards (experimental reproduction package).” Zenodo, 2025.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2025 | Published | Journal Article | IST-REx-ID: 19776 |

T. D. Browning, J. Glas, and V. Wang, “Optimal sums of three cubes in Fq[t],” Mathematische Zeitschrift, vol. 310, no. 4. Springer Nature, 2025.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 15121 |

D. W. Zheng and M. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” Mathematical Programming, vol. 210. Springer Nature, pp. 881–894, 2025.

2025 | Published | Conference Paper | IST-REx-ID: 20844 |

J. Dujmovic, C. U. Günther, and K. Z. Pietrzak, “Space-deniable proofs,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 171–202.

[Preprint] View | DOI | Download Preprint (ext.)

2025 | Published | Conference Paper | IST-REx-ID: 20845 |

S. Agrawal, A. Modi, A. Yadav, and S. Yamada, “Zeroizing attacks against evasive and circular evasive LWE,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16269, pp. 259–290.

[Preprint] View | DOI | Download Preprint (ext.)

2025 | Published | Conference Paper | IST-REx-ID: 20846 |

N. Brandt, M. Cueto Noval, C. U. Günther, A. Ünal, and S. Wohnig, “Constrained verifiable random functions without obfuscation and friends,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 478–511.

[Preprint] View | DOI | Download Preprint (ext.)

Y. Liu et al., “A Lyman continuum analysis of ∼100 galaxies at z spec∼ 3 in the Abell 2744 cluster field,” Astronomy & Astrophysics, vol. 704. EDP Sciences, 2025.

[Published Version] View | Files available | DOI | arXiv

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 |

I. Kulich et al., “Armadillo repeat only proteins are required for the function of plant CNGC channels,” bioRxiv. .

[Preprint] View | Files available | DOI | Download Preprint (ext.)

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

J. J. Matthee 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, vol. 988, no. 2. IOP Publishing, 2025.

[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.

[Published Version] View | Files available | DOI | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21070 |

B. Demirel, M. Fumero, and F. Locatello, “Out-of-Distribution detection with relative angles,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21090 |

F. Cano Cordoba, T. A. Henzinger, and K. Kueffner, “Algorithmic fairness: A runtime perspective,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 1–21.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21091 |

T. A. Henzinger, K. Kueffner, and E. Yu, “Formal verification of neural certificates done dynamically,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 54–72.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21092 |

T. A. Henzinger, K. Kueffner, V. Singh, and I. Sun, “Alignment monitoring,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 140–159.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21093 |

M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Monitoring hypernode logic over infinite domains,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 417–437.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

M. Alamalhoda et al., “Exploring neural entrainment and synchrony in response to repeated 60 Hz flickering white light in healthy volunteers,” PLOS One, vol. 20, no. 10. Public Library of Science, 2025.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

2033 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

2033 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options