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.
6557 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 19628 |
|
|
Enhanced superconductivity at a corner for the linear BCS equation
B. Roos, R. Seiringer, Forum of Mathematics, Sigma 13 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Roos, R. Seiringer, Forum of Mathematics, Sigma 13 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19629
Crystallographic engineering in micron-sized SiOx anode material toward stable high-energy-density Lithium-Ion batteries
J. Li, G. Zeng, S. Horta, P.R. Martínez-Alanis, J. Jacas Biendicho, M. Ibáñez, B. Xu, L. Ci, A. Cabot, Q. Sun, ACS Nano 19 (2025) 16096–16109.
View
| DOI
| WoS
| PubMed | Europe PMC
J. Li, G. Zeng, S. Horta, P.R. Martínez-Alanis, J. Jacas Biendicho, M. Ibáñez, B. Xu, L. Ci, A. Cabot, Q. Sun, ACS Nano 19 (2025) 16096–16109.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19630 |
Methods for fluid simulation, surface tracking, and statistics of non-manifold structures
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 19637 |
The PLATO mission
Rauer H et al. 2025. The PLATO mission. Experimental Astronomy. 59(3), 26.
[Published Version]
View
| Files available
| DOI
| WoS
Rauer H et al. 2025. The PLATO mission. Experimental Astronomy. 59(3), 26.
2025 |
Published |
Journal Article |
IST-REx-ID: 19638 |
The convergence of heavy and light seeds to overmassive black holes at cosmic dawn
H. Hu, K. Inayoshi, Z. Haiman, L.C. Ho, K. Ohsuga, The Astrophysical Journal Letters 983 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
H. Hu, K. Inayoshi, Z. Haiman, L.C. Ho, K. Ohsuga, The Astrophysical Journal Letters 983 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19640 |
|
|
Balancing complexity, performance and plausibility to meta learn plasticity rules in recurrent spiking networks
B.J. Confavreux, E.J. Agnes, F. Zenke, H. Sprekeler, T.P. Vogels, PLoS Computational Biology 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.J. Confavreux, E.J. Agnes, F. Zenke, H. Sprekeler, T.P. Vogels, PLoS Computational Biology 21 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19641
Saprotrophic-mycorrhizal divide in stable isotope composition throughout the whole fungus: From mycelium to hymenophore
A.G. Zuev, A.V. Alexandrova, V.A. Litvinskiy, E. Pravdolyubova, A.V. Tiunov, Mycorrhiza 35 (2025).
View
| DOI
| WoS
| PubMed | Europe PMC
A.G. Zuev, A.V. Alexandrova, V.A. Litvinskiy, E. Pravdolyubova, A.V. Tiunov, Mycorrhiza 35 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19642 |
Criticality transition for positive powers of the discrete Laplacian on the half line
B.M. Gerhát, D. Krejčiřík, F. Štampach, Revista Matematica Iberoamericana 41 (2025) 1173–1200.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B.M. Gerhát, D. Krejčiřík, F. Štampach, Revista Matematica Iberoamericana 41 (2025) 1173–1200.
2025 |
Research Data |
IST-REx-ID: 19658 |
Token-driven totally asymmetric simple exclusion processes
G. Tkačik, (2025).
[Published Version]
View
| Files available
| DOI
G. Tkačik, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19660 |
The weakly coupled two-dimensional Fermi polaron
D.J. Mitrouskas, Archive for Rational Mechanics and Analysis 249 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
D.J. Mitrouskas, Archive for Rational Mechanics and Analysis 249 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19661 |
The renormalized Nelson model in the weak coupling limit
E. Cárdenas, D.J. Mitrouskas, Journal of Physics A: Mathematical and Theoretical 58 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Cárdenas, D.J. Mitrouskas, Journal of Physics A: Mathematical and Theoretical 58 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19662 |
|
|
The impact of the rotation rate on an aquaplanet's radiant energy budget: Insights from experiments varying the Coriolis parameter
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
[Published Version]
View
| Files available
| DOI
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
2025 |
Published |
Journal Article |
IST-REx-ID: 19664 |
Quantum many-body scars beyond the PXP model in Rydberg simulators
A. Kerschbaumer, M. Ljubotina, M. Serbyn, J.-Y.M. Desaules, Physical Review Letters 134 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
A. Kerschbaumer, M. Ljubotina, M. Serbyn, J.-Y.M. Desaules, Physical Review Letters 134 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 19665 |
Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19666 |
Solving robust Markov decision processes: Generic, reliable, efficient
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
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.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19668 |
Neural control and certificate repair via runtime monitoring
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
2025 |
Published |
Conference Paper |
IST-REx-ID: 19669 |
Linear equations with min and max operators: Computational complexity
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
2025 |
Published |
Journal Article |
IST-REx-ID: 19670 |
Phase behavior of Cacio e Pepe sauce
G. Bartolucci, D.M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, F. Olmeda, D. Revignas, V.M. Schimmenti, Physics of Fluids 37 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Bartolucci, D.M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, F. Olmeda, D. Revignas, V.M. Schimmenti, Physics of Fluids 37 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 19671
A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia
D. Arpigiani, V. Aschero, R.M. Soler Schaller, M.M. Amoroso, Austral Ecology 50 (2025).
View
| DOI
| WoS
D. Arpigiani, V. Aschero, R.M. Soler Schaller, M.M. Amoroso, Austral Ecology 50 (2025).