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.




6690 Publications

2026 | Published | Journal Article | IST-REx-ID: 21040 | OA | PlanS
Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation
M. Busato, M. Tuccillo, A. Celeste, A. Tofoni, L. Silvestri, P. D’Angelo, S.A. Freunberger, S. Brutti, ACS Applied Energy Materials 9 (2026) 686–697.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21041 | OA | PlanS
Endangered by the language but saved by the compiler: Robust safety via semantic back-translation
N. Mück, A.L. Georges, D. Dreyer, D. Garg, M.J. Sammler, Proceedings of the ACM on Programming Languages 10 (2026) 1153–1182.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 21042 | OA
Anthemius: Efficient and modular block assembly for concurrent execution
R. Neiheiser, E. Kokoris Kogias, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 307–323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2026 | Draft | Preprint | IST-REx-ID: 21051 | OA
Braiding vineyards
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Book Chapter | IST-REx-ID: 21056 | OA
Braiding Vineyards
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, K. Green Larsen, B. Saha (Eds.), Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, United States, 2026, pp. 6240–6263.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Accepted | Conference Paper | IST-REx-ID: 21113 | OA
On the identifiability of causal graphs with multiple environments
F. Montagna, in:, The 14th International Conference on Learning Representations, OpenReview, n.d.
[Published Version] View | Download Published Version (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21115 | OA | PlanS
Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population
Y. Bokor Bleile, P. Yadav, P. Koehl, F. Rehfeldt, PLoS Computational Biology 22 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Research Data | IST-REx-ID: 21116 | OA [Published Version] View | Files available | DOI
 
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: 21134 | OA
On the (in)security of Proofs-of-space based longest-chain blockchains
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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 | Research Data | IST-REx-ID: 21137 | OA [Published Version] View | Files available | DOI
 
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 | 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 | Research Data | IST-REx-ID: 21174 | OA [Published Version] View | Files available | DOI
 
2026 | Published | Preprint | IST-REx-ID: 21212 | OA
Critical role of cell competition in gliomagenesis
Jiang Y, Ahn R, Huang A, Gonzalez PP, Kim J, Zhang G, Liu Z, He Z, Dudley L, Patel KS, Dzhivhuho GA, Crowl S, Przanowski P, Camacho LQ, Hao S, Zeng J, Hippenmeyer S, Fallahi-Sichani M, Janes KA, Naegle KM, Hammarskjold M-L, Goldman SA, Kornblum HI, Yao M, White F, Zong H. 2026. Critical role of cell competition in gliomagenesis. bioRxiv, 10.64898/2026.01.15.699808.
[Preprint] View | DOI | Download Preprint (ext.)
 
2026 | Published | Book Chapter | IST-REx-ID: 21230 | OA
Asteroseismology
D.M. Bowman, L.A. Bugnet, in:, I. Mandel (Ed.), Encyclopedia of Astrophysics, Elsevier, 2026, pp. 133–153.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21231 | OA | PlanS
Simulation-based inference of cell migration dynamics in complex spatial environments
J. Arruda, E. Alamoudi, R. Mueller, M. Vaisband, R. Molkenbur, J. Merrin, E. Kiermaier, J. Hasenauer, Npj Systems Biology and Applications 12 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed