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.
6734 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21262 |
Continuous group-key agreement: Concurrent updates without pruning
B. Auerbach, M. Cueto Noval, B. Erol, K.Z. Pietrzak, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 141–172.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
B. Auerbach, M. Cueto Noval, B. Erol, K.Z. Pietrzak, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 141–172.
2025 |
Published |
Journal Article |
IST-REx-ID: 19278 |
Spontaneous ordering of identical materials into a triboelectric series
J.C.A. Sobarzo Ponce, F. Pertl, D. Balazs, T. Costanzo, M. Sauer, A. Foelske, M. Ostermann, C.M. Pichler, Y. Wang, Y. Nagata, M. Bonn, S.R. Waitukaitis, Nature 638 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.C.A. Sobarzo Ponce, F. Pertl, D. Balazs, T. Costanzo, M. Sauer, A. Foelske, M. Ostermann, C.M. Pichler, Y. Wang, Y. Nagata, M. Bonn, S.R. Waitukaitis, Nature 638 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20481 |
| 
|
No time for surface charge: How bulk conductivity hides charge patterns from Kelvin probe force microscopy in contact-electrified surfaces
F. Pertl, I.C. Lenton, T. Cramer, S.R. Waitukaitis, Physical Review Letters 135 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Pertl, I.C. Lenton, T. Cramer, S.R. Waitukaitis, Physical Review Letters 135 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20452 |
|
|
Machine learning of charges and long-range interactions from energies and forces
D.S. King, D. Kim, P. Zhong, B. Cheng, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D.S. King, D. Kim, P. Zhong, B. Cheng, Nature Communications 16 (2025).
2025 |
Research Data Reference |
IST-REx-ID: 22770 |
BingqingCheng/cace-lr-fit: V0
B. Cheng, D. King, D. Kim, P. Zhong, (2025).
View
| Files available
| DOI
| Download None (ext.)
B. Cheng, D. King, D. Kim, P. Zhong, (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
Transition to turbulence: Data-, solution-, and pattern-driven approaches
G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 19795 |
Image-based 3D active sample stabilization on the nanometer scale for optical microscopy
J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025).
[Published Version]
View
| Files available
| DOI
J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 15016 |
Adeno-associated viral tools to trace neural development and connectivity across amphibians
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
2025 |
Published |
Journal Article |
IST-REx-ID: 22774 |
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, ACM Communications in Computer Algebra 59 (2025) 147–152.
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Kolmogorov, S. Naldi, J. Zapata, ACM Communications in Computer Algebra 59 (2025) 147–152.
2025 |
Published |
Journal Article |
IST-REx-ID: 18710 |
Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22826 |
Hogwild! Inference: Parallel LLM generation via concurrent attention
G. Rodionov, R. Garipov, A. Shutova, G. Yakushev, E. Schultheis, V. Egiazarian, A. Sinitsin, D. Kuznedelev, D.-A. Alistarh, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 52014–52055.
[Published Version]
View
| DOI
| Download Published Version (ext.)
G. Rodionov, R. Garipov, A. Shutova, G. Yakushev, E. Schultheis, V. Egiazarian, A. Sinitsin, D. Kuznedelev, D.-A. Alistarh, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 52014–52055.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22825 |
Neural collapse is globally optimal in deep regularized ResNets and transformers
P. Súkeník, C. Lampert, M. Mondelli, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 48646–48677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
P. Súkeník, C. Lampert, M. Mondelli, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 48646–48677.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22824 |
Fast rate bounds for multi-task and meta-learning with different sample sizes
H. Zakerinia, C. Lampert, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 9062–9093.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Zakerinia, C. Lampert, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 9062–9093.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22830 |
AutoJudge: Judge decoding without manual annotation
R. Garipov, F. Velikonivtsev, I. Ermakov, R. Svirschevski, V. Egiazarian, M. Ryabinin, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 104904–104941.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
R. Garipov, F. Velikonivtsev, I. Ermakov, R. Svirschevski, V. Egiazarian, M. Ryabinin, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 104904–104941.
2025 |
Published |
Journal Article |
IST-REx-ID: 19595 |
How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons
Y. Davidson, A. Philipp, S. Chakraborty, A.M. Bronstein, R. Gershoni-Poranne, Journal of Chemical Physics 162 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Davidson, A. Philipp, S. Chakraborty, A.M. Bronstein, R. Gershoni-Poranne, Journal of Chemical Physics 162 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 17468 |
|
|
Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19743 |
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19740 |
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19744 |
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19667 |
Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.