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.




6641 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21281 | OA
Asadi A, Brice L, Chatterjee K, Thejaswini KS. ε-stationary Nash equilibria in multi-player stochastic graph games. In: 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:9:1-9:17. doi:10.4230/lipics.fsttcs.2025.9
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21309 | OA
Vandersnickt J, Armenta RO, Vanlaer V, et al. Expanding stellar horizons with polarized light. arXiv. doi:10.48550/arXiv.2512.15170
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21317 | OA | PlanS
Galiullin I, Rodriguez AC, El-Badry K, et al. Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. 2025;990(2). doi:10.3847/2041-8213/adff82
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21318 | OA
Rossi M, Militaru A, Carlon Zambon N, et al. Quantum delocalization of a levitated nanoparticle. Physical Review Letters. 2025;135(8). doi:10.1103/2yzc-fsm3
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21321 | OA | PlanS
Xiao S, Zhao M, Li M, et al. Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            3SbSe            4. Nano Research. 2025;18(1). doi:10.26599/nr.2025.94907072
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 21322 | OA
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback, and extinction in metapopulations. The American Naturalist. 2025;205(6):617-636. doi:10.1086/735562
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2025 | Published | Conference Paper | IST-REx-ID: 21323 | OA
Belohorec J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. On extractability of the KZG family of polynomial commitment schemes. In: 45th Annual International Cryptology Conference. Vol 16005. Springer Nature; 2025:584-616. doi:10.1007/978-3-032-01887-8_19
[Preprint] View | DOI | Download Preprint (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 21325 | OA
Gozeten HA, Ildiz ME, Zhang X, Soltanolkotabi M, Mondelli M, Oymak S. Test-time training provably improves transformers as in-context learners. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:20266-20295.
[Published Version] View | Files available | PubMed | Europe PMC
 
2025 | Published | Conference Paper | IST-REx-ID: 21327 | OA
Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:42366-42393.
[Published Version] View | Files available | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21328 | OA
Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In: Proceedings of 38th Conference on Learning Theory. Vol 291. ML Research Press; 2025:3354-3404.
[Published Version] View | Files available | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Brázdil T, Chatterjee K, Chmelik M, et al. Learning algorithms for verification of Markov decision processes. TheoretiCS. 2025;4. doi:10.46298/theoretics.25.10
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21435 | OA
Sun Y, Ahn Y, Sapkota D, et al. Strain-induced multiferroicity in Cr1/3NbS2. arXiv. doi:10.48550/arXiv.2510.11619
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21474 | OA
Rao P, Meka A, Zhou X, et al. 3DPR: Single image 3D portrait relighting with generative priors. In: Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. Association for Computing Machinery; 2025. doi:10.1145/3757377.3763962
[Published Version] View | Files available | DOI | arXiv
 
2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Hartmanns A, Junges S, Quatmann T, Weininger M. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. 2025. doi:10.5281/ZENODO.14500423
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 21706 | OA | PlanS
Kwan MA, Sauermann L. Resolution of the quadratic Littlewood–Offord problem. Compositio Mathematica. 2025;161(12):3089-3139. doi:10.1112/S0010437X25102789
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21724 | OA | PlanS
Lee ME, Haiman Z, Pandey S, Genel S. The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations. The Astrophysical Journal. 2025;996(1). doi:10.3847/1538-4357/ae1ca7
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21727 | OA | PlanS
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
[Published Version] View | Files available | DOI
 
2025 | Published | Conference Paper | IST-REx-ID: 21885
Henzinger TA. Neural Certificates. In: Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE; 2025. doi:10.1109/SYNASC69064.2025.00008
View | DOI
 
2025 | Submitted | Preprint | IST-REx-ID: 21920 | OA
Ignatyev Y, Papadopoulos S, Soretić M, et al. Innovations in spinal cord cell type heterogeneity across vertebrate evolution. bioRxiv. doi:10.1101/2025.10.09.680955
[Preprint] View | DOI | Download Preprint (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 14647 | OA
Bose M, Suresh V, Mishra U, et al. Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. eLife. 2025;13. doi:10.7554/elife.101851.3
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed