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.

6617 Publications

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

Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx, A., & Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.

[Published Version] View | Files available | arXiv

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

Kovačević, F., Yihan, Z., & Mondelli, M. (2025). Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In Proceedings of 38th Conference on Learning Theory (Vol. 291, pp. 3354–3404). Lyon, France: ML Research Press.

[Published Version] View | Files available | arXiv

Browning, T. D., & Chan, S. (2025). Solubility of a resultant equation and applications. Journal de l’ecole Polytechnique Mathematiques. Ecole polytechnique. https://doi.org/10.5802/jep.320

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

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

Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539

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

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

Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.

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

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

Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In 39th International Symposium on Distributed Computing (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2025.23

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

Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10

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

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

Dunajova, Z., Tasciyan, S., Majek, J., Merrin, J., Sahai, E., Sixt, M. K., & Hannezo, E. B. (n.d.). Substrate heterogeneity promotes cancer cell dissemination through interface roughening. bioRxiv. https://doi.org/10.1101/2025.05.20.655037

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

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

Sun, Y., Ahn, Y., Sapkota, D., Arachchige, H. S., Xue, R., Mozaffari, S., … Sunko, V. (n.d.). Strain-induced multiferroicity in Cr1/3NbS2. arXiv. https://doi.org/10.48550/arXiv.2510.11619

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

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

Rao, P., Meka, A., Zhou, X., Fox, G., Mallikarjun, B. R., Zhan, F., … Theobalt, C. (2025). 3DPR: Single image 3D portrait relighting with generative priors. In Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. Hong Kong, Hong Kong: Association for Computing Machinery. https://doi.org/10.1145/3757377.3763962

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

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

Hartmanns, A., Junges, S., Quatmann, T., & Weininger, M. (2025). Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. Zenodo. https://doi.org/10.5281/ZENODO.14500423

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

Kwan, M. A., & Sauermann, L. (2025). Resolution of the quadratic Littlewood–Offord problem. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X25102789

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

Lee, M. E., Haiman, Z., Pandey, S., & Genel, S. (2025). The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ae1ca7

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

Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.

[Published Version] View | Files available | DOI

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

Yamagishi, S. (2025). Birch’s theorem on forms in many variables with a Hessian condition. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa241029-19-8

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

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

Iofinova, E. B., Jovanovic, A., & Alistarh, D.-A. (n.d.). Position: It’s time to act on the risk of efficient personalized text generation. arXiv. https://doi.org/10.48550/arXiv.2502.06560

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

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

Henzinger, T. A. (2025). Neural Certificates. In Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC69064.2025.00008

View | DOI

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

Ignatyev, Y., Papadopoulos, S., Soretić, M., Yeung, J., Lin, T.-Y., Tanaka, E. M., … Sweeney, L. B. (n.d.). Innovations in spinal cord cell type heterogeneity across vertebrate evolution. bioRxiv. https://doi.org/10.1101/2025.10.09.680955

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

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 |

Koval, I. (2025). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-025-01397-y

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

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

Bose, M., Suresh, V., Mishra, U., Talwar, I., Yadav, A., Biswas, S., … Tole, S. (2025). Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.101851.3

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

6617 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).

6617 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options