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.
6568 Publications
2025 |
Published |
Conference Abstract |
IST-REx-ID: 20054
Solid state diffusion in metal-semiconductors core-shell nanoparticle
S. Horta, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació de la comunitat valenciana SCITO, 2025.
View
| DOI
S. Horta, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació de la comunitat valenciana SCITO, 2025.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 20043 |
Complex K-theory of moduli spaces of Higgs bundles
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 20051 |
An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model
A. El-Hayek, R. Elsässer, S. Schmid, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. El-Hayek, R. Elsässer, S. Schmid, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19982 |
Fully dynamic approximate minimum cut in subpolynomial time per operation
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.
2025 |
Published |
Journal Article |
IST-REx-ID: 20669 |
|
|
Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier
Z. He, M. Westoby, S. REN, C. Zhao, Y. He, T. Zhang, W. Yang, Journal of Glaciology 71 (2025).
[Published Version]
View
| Files available
| DOI
Z. He, M. Westoby, S. REN, C. Zhao, Y. He, T. Zhang, W. Yang, Journal of Glaciology 71 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Robust image classification with 1-Lipschitz networks
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
Position: It's time to act on the risk of efficient personalized text generation
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Structural properties of games on graphs
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
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
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21074 |
Connecting neural models latent geometries with relative geodesic representations
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version]
View
| Files available
| arXiv
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21076 |
Prediction-powered causal inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version]
View
| Files available
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21072 |
Head pursuit: Probing attention specialization in multimodal transformers
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| arXiv
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21068 |
The third pillar of causal analysis? A measurement perspective on causal representations
D. Yao, S. Huang, R. Cadei, K. Zhang, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
D. Yao, S. Huang, R. Cadei, K. Zhang, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21070 |
Out-of-Distribution detection with relative angles
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20326 |
|
|
Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se
Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç, L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical Society 147 (2025) 32199–32208.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç, L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical Society 147 (2025) 32199–32208.
2025 |
Published |
Journal Article |
IST-REx-ID: 20331 |
|
|
Tuning conductance in BODIPY-based single-molecule junctions
E. York, I. Stone, W. Shi, X. Roy, L. Venkataraman, Nano Letters 25 (2025) 13697–13702.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. York, I. Stone, W. Shi, X. Roy, L. Venkataraman, Nano Letters 25 (2025) 13697–13702.
2025 |
Published |
Journal Article |
IST-REx-ID: 19370 |
Reduced efficacy of selection on a young Z chromosome region of schistosoma japonicum
A. Mrnjavac, B. Vicoso, Genome Biology and Evolution 17 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Mrnjavac, B. Vicoso, Genome Biology and Evolution 17 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19393 |
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20603
Sumset growth in progression-free sets
C. Elsholtz, I.Z. Ruzsa, L. Wurzinger, Acta Arithmetica 220 (2025) 289–303.
View
| DOI
| WoS
C. Elsholtz, I.Z. Ruzsa, L. Wurzinger, Acta Arithmetica 220 (2025) 289–303.