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.




6552 Publications

2026 | Research Data | IST-REx-ID: 21116 | OA [Published Version] View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21132 | OA
Hypocoercivity meets lifts
G. Brigati, F. Lörler, L. Wang, Kinetic and Related Models 20 (2026) 34–55.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 21133 | OA
A recipe for modular verification of generic tree traversals
L. Elbeheiry, M.J. Sammler, R. Krebbers, D. Dreyer, D. Garg, in:, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Association for Computing Machinery, 2026, pp. 339–352.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 21135 | OA
niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction
J. Troidl, Y. Liang, J. Beyer, M. Tavakoli, J.G. Danzl, M. Hadwiger, H. Pfister, J. Tompkin, in:, 1st International Workshop on Efficient Medical Artificial Intelligence, Springer Nature, 2026, pp. 257–267.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2026 | Published | Conference Paper | IST-REx-ID: 21140 | OA
Faster algorithms for packing forests in graphs and related problems
P. Arkhipov, V. Kolmogorov, in:, Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2026, pp. 4023–4042.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Research Data | IST-REx-ID: 21145 | OA [Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21149 | OA | PlanS
Bottom-up analysis of rovibrational helical dichroism
M. Hrast, G. Koutentakis, M. Maslov, M. Lemeshko, Physical Review Letters 136 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21158 | OA | PlanS
O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering
P. Yang, Y. Liu, Q. Dong, Y. Miao, J. Zhang, S. Xu, H. Zhao, Y. Niu, X. Zhang, Y. Xu, Z. Guo, L. Xing, K. Chong, Nature Communications 17 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 21159 | OA | PlanS
Counting perfect matchings in Dirac hypergraphs
M.A. Kwan, R. Safavi Hemami, Y. Wang, Combinatorica 46 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21160 | OA | PlanS
The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy
Yu W, Pala AF, Kupfer T, Gänsicke BT, Koester D, Belloni D, Wong TLS, Schreiber MR, van Roestel JC, Brown AJ, Waagen EO, González-Carballo JL, Bednarz S, Bernacki K, De Martino D, Fernández Mañanes E, González Farfán R, Green MJ, Groot PJ, Hambsch FJ, Knigge C, Martin-Velasco JL, Morales-Aimar M, Myers G, Naves Nogues R, Poggiani R, Popowicz A, Ramsay G, Reina-Lorenz E, Rodríguez-Gil P, Salto-González JL, Sion EM, Steeghs D, Szkody P, Toloza O, Tovmassian G. 2026. The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy. Astronomy and Astrophysics. 706, A14.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed