ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6293 Publications

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

Cano Cordoba, Filip, Thomas A Henzinger, and Konstantin Kueffner. “Algorithmic Fairness: A Runtime Perspective.” In 25th International Conference on Runtime Verification, 16087:1–21. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_1.

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

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

Henzinger, Thomas A, Konstantin Kueffner, and Emily Yu. “Formal Verification of Neural Certificates Done Dynamically.” In 25th International Conference on Runtime Verification, 16087:54–72. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_4.

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

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

Henzinger, Thomas A, Konstantin Kueffner, Vasu Singh, and I Sun. “Alignment Monitoring.” In 25th International Conference on Runtime Verification, 16087:140–59. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_9.

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

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

Chalupa, Marek, Thomas A Henzinger, and Ana A Oliveira da Costa. “Monitoring Hypernode Logic over Infinite Domains.” In 25th International Conference on Runtime Verification, 16087:417–37. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_23.

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

Silverman JD, Li J, Ding X, Onoue M, Strauss MA, Matsuoka Y, Izumi T, Jahnke K, Treu T, Volonteri M, Phillips CL, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fan X, Fujimoto S, Habouzit M, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Lee C-H, Lupi A, Nagao T, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Walter F, Wang F, Yang J. 2025. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6. The Astrophysical Journal Letters. 995(2), L67.

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

Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider, Jonathan Zrake, and Andrew MacFadyen. “Thermal X-Ray Signatures in Late-Stage Unequal-Mass Massive Black Hole Binary Mergers.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2025. https://doi.org/10.1093/mnras/staf1583.

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

O’Neill, David, Christopher Tiede, Daniel J. D’Orazio, Zoltán Haiman, and Andrew MacFadyen. “Gravitational Wave Decoupling in Retrograde Circumbinary Disks.” The Astrophysical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-4357/ae0ca8.

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

Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Yang L, Jahnke K, Phillips CL, Treu T, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fujimoto S, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kartaltepe J, Kashikawa N, Kawaguchi T, Li J, Lee C-H, Lupi A, Schindler J-T, Schramm M, Shimasaku K, Shuntov M, Tanaka TS, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Wang F, Yang J. 2025. SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6. The Astrophysical Journal. 993(1), 91.

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

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

Monzer, Aline, and Jiří Friml. “Historical and Mechanistic Perspective on ABP1-TMK1-Mediated Cell Surface Auxin Signaling.” Npj Science of Plants. Springer Nature, 2025. https://doi.org/10.1038/s44383-025-00002-8.

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

Harris, David G., Fotios Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” Theory of Computing. University of Chicago Press, 2025. https://doi.org/10.4086/toc.2025.v021a005.

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

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

Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization. Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/24m1664691.

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

2025 | Draft | Preprint | IST-REx-ID: 21207 |

Zakerinia, Hossein, Jonathan A Scott, and Christoph Lampert. “Federated Learning with Unlabeled Clients: Personalization Can Happen in Low Dimensions.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2505.15579.

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

2025 | Submitted | Preprint | IST-REx-ID: 21211 |

Montgomery, Richard, Kalina H Petrova, Arjun Ranganathan, and Jane Tan. “Packing Subdivisions into Regular Graphs.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2508.00480.

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

Sorichetti, Valerio, Paul Robin, Ivan Palaia, Alberto Hernandez-Armendariz, Sara Cuylen-Haering, and Anđela Šarić. “Charge Distribution of the Coating Brush Drives Interchromosome Attraction.” PRX Life. American Physical Society, 2025. https://doi.org/10.1103/41fd-r847.

[Published Version] View | Files available | DOI

Brandstätter, Tom, Emily Brieger, David Brückner, Georg Ladurner, Joachim O. Rädler, and Chase P. Broedersz. “Data-Driven Theory Reveals Protrusion and Polarity Interactions Governing Collision Behavior of Distinct Motile Cells.” PRX Life. American Physical Society, 2025. https://doi.org/10.1103/3hhj-rt1n.

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

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

Baulin VA, Giacometti A, Fedosov DA, Ebbens S, Varela-Rosales NR, Feliu N, Chowdhury M, Hu M, Füchslin R, Dijkstra M, Mussel M, van Roij R, Xie D, Tzanov V, Zu M, Hidalgo-Caballero S, Yuan Y, Cocconi L, Ghim C-M, Cottin-Bizonne C, Miguel MC, Esplandiu MJ, Simmchen J, Parak WJ, Werner M, Gompper G, Hanczyc MM. 2025. Intelligent soft matter: Towards embodied intelligence. Soft Matter. (21), 4129–4145.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

Bhattacharjee, Soumyadeep , Zachary P. Vanderbosch, Mark A. Hollands, Pier-Emmanuel Tremblay, Siyi Xu, Joseph A. Guidry, J.J. Hermes, et al. “A ZTF Search for Circumstellar Debris Transits in White Dwarfs: Six New Candidates, One with Gas Disk Emission, Identified in a Novel Metric Space.” Publications of the Astronomical Society of the Pacific. IOP Publishing, 2025. https://doi.org/10.1088/1538-3873/ade0ea.

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

Browning, Timothy D, Julian Lyczak, and Arne Smeets. “Paucity of Rational Points on Fibrations with Multiple Fibres.” Algebra & Number Theory. Mathematical Sciences Publishers, 2025. https://doi.org/10.2140/ant.2025.19.2049.

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

Alamalhoda, MohammadAmin, Friederike Leesch, Francesca Giovanetti, Eoghan Dunne, Giuseppina Pilloni, Mark Caffrey, Jack O’Keeffe, Alessandro Venturino, and Maria Teresa Ferretti. “Exploring Neural Entrainment and Synchrony in Response to Repeated 60 Hz Flickering White Light in Healthy Volunteers.” PLOS One. Public Library of Science, 2025. https://doi.org/10.1371/journal.pone.0332310.

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

Kamai, Ilay, Alex M. Bronstein, and Hagai B. Perets. “Machine Learning Inference of Stellar Properties Using Integrated Photometric and Spectroscopic Data.” The Astrophysical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-4357/ae0cbc.

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

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options