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.

6436 Publications

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

H. A. Gozeten, M. E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, and S. Oymak, “Test-time training provably improves transformers as in-context learners,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 20266–20295.

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

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

D. Wu and M. Mondelli, “Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 67499–67536.

[Published Version] View | Files available | arXiv

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

S. A. Maddipatla et al., “Inverse problems with experiment-guided AlphaFold,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 42366–42393.

[Published Version] View | Files available | arXiv

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

F. Kovačević, Z. Yihan, and M. Mondelli, “Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery,” in Proceedings of 38th Conference on Learning Theory, Lyon, France, 2025, vol. 291, pp. 3354–3404.

[Published Version] View | Files available | arXiv

T. D. Browning and S. Chan, “Solubility of a resultant equation and applications,” Journal de l’ecole polytechnique mathematiques, vol. 12. Ecole polytechnique, pp. 1677–1691, 2025.

[Published Version] View | Files available | DOI | 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 |

K. Chatterjee, J. M. Křišťan, S. Schmid, J. Svoboda, and M. X. Yeo, “Boosting payment channel network liquidity with topology optimization and transaction selection,” in 39th International Symposium on Distributed Computing, Berlin, Germany, 2025, vol. 356.

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

T. Brázdil et al., “Learning algorithms for verification of Markov decision processes,” TheoretiCS, vol. 4. TheoretiCS Foundation, 2025.

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

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

L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” Mathematics of Operations Research, vol. 50, no. 1. Institute for Operations Research and the Management Sciences, pp. 482–505, 2025.

View | Files available | DOI | WoS

E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design, vol. 66. Springer Nature, pp. 3–48, 2025.

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

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

H. Edelsbrunner and A. Nikitenko, “Average and expected distortion of Voronoi paths and scapes,” Discrete & Computational Geometry, vol. 73. Springer Nature, pp. 490–499, 2025.

A. B. Lauritsen, “Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion,” Annales Henri Poincare, vol. 26. Springer Nature, pp. 203–243, 2025.

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

A. Martín‐Belmonte et al., “Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology,” Brain Pathology, vol. 35, no. 2. Wiley, 2025.

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

Y. Pan, M. Hochgerner, M. A. Cichon, T. Benezeder, T. Bieber, and P. Wolf, “Langerhans cells: Central players in the pathophysiology of atopic dermatitis,” Journal of the European Academy of Dermatology and Venereology, vol. 39, no. 2. Wiley, pp. 278–289, 2025.

S. Mondal, H. T. K. Nguyen, R. Hauschild, and S. A. Freunberger, “Marcus kinetics control singlet and triplet oxygen evolving from superoxide,” Nature, vol. 646, no. 8085. Springer Nature, pp. 601–605, 2025.

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

W. F. Podlaski, E. J. Agnes, and T. P. Vogels, “High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating,” Physical Review X, vol. 15. American Physical Society, 2025.

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

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

Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.

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

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

T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime verification,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipei, Taiwan, 2025, pp. 2774–2787.

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

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

M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .

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

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

Y. Sun et al., “Strain-induced multiferroicity in Cr1/3NbS2,” arXiv. .

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

Institute of Science and Technology Austria (ISTA)

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

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options