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
Horta S. Solid state diffusion in metal-semiconductors core-shell nanoparticle. In: Proceedings of the MATSUS Spring 2025 Conference. Fundació de la comunitat valenciana SCITO; 2025. doi:10.29363/nanoge.matsusspring.2025.220
View
| DOI
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 20043 |
Groechenig M, Shen S. Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society. 2025. doi:10.4171/jems/1601
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20051 |
El-Hayek A, Elsässer R, Schmid S. An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model. In: Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2025. doi:10.1145/3732772.3733505
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19982 |
El-Hayek A, Henzinger M, Li J. Fully dynamic approximate minimum cut in subpolynomial time per operation. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2025:750-784. doi:10.1137/1.9781611978322.22
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20669 |
|
|
He Z, Westoby M, REN S, et al. Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. Journal of Glaciology. 2025;71. doi:10.1017/jog.2025.10104
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. arXiv. doi:10.48550/arXiv.2502.06560
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Kolmogorov V, Naldi S, Zapata J. Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. 2025;35(3):1630-1654. doi:10.1137/24m1664691
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21074 |
Yu H, Inal B, Arvanitidis G, Hauberg S, Locatello F, Fumero M. Connecting neural models latent geometries with relative geodesic representations. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21076 |
Cadei R, Demirel I, De Bartolomeis P, et al. Prediction-powered causal inferences. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Published Version]
View
| Files available
2025 |
Published |
Conference Paper |
IST-REx-ID: 21072 |
Basile L, Maiorca V, Doimo D, Locatello F, Cazzaniga A. Head pursuit: Probing attention specialization in multimodal transformers. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Preprint]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21068 |
Yao D, Huang S, Cadei R, Zhang K, Locatello F. The third pillar of causal analysis? A measurement perspective on causal representations. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21070 |
Demirel B, Fumero M, Locatello F. Out-of-Distribution detection with relative angles. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20326 |
|
|
Liu Y, Kleinhanns T, Horta S, et al. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical Society. 2025;147(35):32199-32208. doi:10.1021/jacs.5c11435
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20331 |
|
|
York E, Stone I, Shi W, Roy X, Venkataraman L. Tuning conductance in BODIPY-based single-molecule junctions. Nano Letters. 2025;25(36):13697-13702. doi:10.1021/acs.nanolett.5c03764
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19370 |
Mrnjavac A, Vicoso B. Reduced efficacy of selection on a young Z chromosome region of schistosoma japonicum. Genome Biology and Evolution. 2025;17(2). doi:10.1093/gbe/evaf021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19393 |
Karle V. Non-equilibrium topological phases with periodically driven molecules and quantum rotors. 2025. doi:10.15479/AT-ISTA-19393
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20603
Elsholtz C, Ruzsa IZ, Wurzinger L. Sumset growth in progression-free sets. Acta Arithmetica. 2025;220:289-303. doi:10.4064/aa250115-14-7
View
| DOI
| WoS