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.
476 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 19621 |
Indecomposable characters of inductive limits of symmetric groups
N. Nessonov, N.T. Ngo, Representation Theory 29 (2025) 256–288.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Nessonov, N.T. Ngo, Representation Theory 29 (2025) 256–288.
2025 |
Published |
Journal Article |
IST-REx-ID: 19702 |
Colonization times in Moran process on graphs
L. Kopfová, J. Tkadlec, PLoS Computational Biology 21 (2025) e1012868.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Kopfová, J. Tkadlec, PLoS Computational Biology 21 (2025) e1012868.
2025 |
Published |
Journal Article |
IST-REx-ID: 19704 |
| 
|
Light-microscopy-based connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
2025 |
Conference Paper |
IST-REx-ID: 19738 |
Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
2025 |
Published |
Journal Article |
IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
2025 |
Published |
Journal Article |
IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
2025 |
Research Data Reference |
IST-REx-ID: 20883 |
The neural basis of species-specific defensive behaviour in Peromyscus mice
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
2025 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
2025 |
Published |
Journal Article |
IST-REx-ID: 21248 |
|
|
Light-modulated stem cells in the camera-type eye of an annelid model for adult brain plasticity
N. Milivojev, F. Scaramuzza, P.O. Brum, C.L. Velastegui Gamboa, G. Andreatta, F. Raible, K. Tessmar-Raible, Nature Communications 16 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
N. Milivojev, F. Scaramuzza, P.O. Brum, C.L. Velastegui Gamboa, G. Andreatta, F. Raible, K. Tessmar-Raible, Nature Communications 16 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
An almost-logarithmic lower bound for leader election with bounded value contention
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Sparse Fine-Tuning for Inference Acceleration of Large Language Models
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Inverse problems with experiment-guided AlphaFold
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
[Published Version]
View
| Files available
| arXiv
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
The equational theories project: Advancing collaborative mathematical research at scale
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
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.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2025 |
Research Data |
IST-REx-ID: 20842 |
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
View
| Files available
| DOI
S. Agafonova, (2025).
2025 |
Draft |
Preprint |
IST-REx-ID: 21427 |
Substrate heterogeneity promotes cancer cell dissemination through interface roughening
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).