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.
6687 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. doi:10.1007/978-3-032-32519-8_12
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22722 |
Bojan MI, Vedula S, Maddipatla SA, et al. Representing local protein environments with machine learning force fields. In: 14th International Conference on Learning Representations. Vol 2026. ; 2026:100760-100799.
[Published Version]
View
| Files available
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22719 |
Avni G, Henzinger TA, Mallik K, Sadhukhan S, Thejaswini KS. Decoupled planning for multiple omega-regular objectives. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:237-257. doi:10.1007/978-3-032-32519-8_13
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22713 |
|
|
Tagawa H, Haiman Z, Kocsis B. Properties of black hole mergers in disks of active galactic nuclei. The Astrophysical Journal. 2026;1007(1). doi:10.3847/1538-4357/ae8760
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22720 |
|
|
Aygenli F, Huschet LA, Popp T, et al. CLOCK/BMAL1 interactome uncovers homeodomain factors as tissue regulators. Nature Cell Biology. 2026. doi:10.1038/s41556-026-02041-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22718 |
Gazca-Orozco PA, Gmeineder F, Maringová E, Tscherpel T. A Nitsche method for incompressible fluids with general dynamic boundary conditions. Mathematical Models and Methods in Applied Sciences. 2026. doi:10.1142/S0218202526500508
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22734 |
|
|
Liu Y, Kleinhanns T, Spadaro MC, et al. Exploiting mismatch strain and the β–α phase transition for microstructural engineering in thermoelectric Ag2Se. ACS Energy Letters. 2026;11(8):5752-5762. doi:10.1021/acsenergylett.6c01499
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 22716 |
|
|
Goranci G, Henzinger M, Räcke H, Sricharan AR. Incremental approximate maximum flow via residual graph sparsification. ACM Transactions on Algorithms. 2026;22(3). doi:10.1145/3816252
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22714 |
|
|
Varela Martínez I, Villalba Requena A, García-Marqués J, et al. Early fate diversification of radial glial progenitors during corticogenesis. Science Advances. 2026;12(32):eadw5487. doi:10.1126/sciadv.adw5487
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 22712 |
Liu J, Zhai N, Zhang S, et al. Single-cell analyses identify the ginseng embryonic protoderm as a native compartment for high-efficiency ginsenoside production. Nature Communications. 2026;17. doi:10.1038/s41467-026-74881-5
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Research Data |
IST-REx-ID: 22687 |
Schanda P, Napoli F. Data and scripts for: “Integrated solid/solution NMR assignment allows mapping dynamics and ligand binding in a 134 kDa enzyme.” 2026. doi:10.15479/AT-ISTA-22687
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22694 |
Löwit J. Equivariant K-theory of affine Grassmannians in representation theory and arithmetic. 2026. doi:10.15479/AT-ISTA-22694
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21751 |
|
|
Löwit J. Equivariant localizing invariants of simple varieties. International Mathematics Research Notices. 2026;2026(7). doi:10.1093/imrn/rnag058
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22693 |
|
|
Löwit J. Equivariant K-theory, affine Grassmannian and perfection. Documenta Mathematica. 2026. doi:10.4171/dm/1064
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22684 |
Pertl F. Experimental probing of nanoscale charge features and surface morphology changes during tribocharging. 2026. doi:10.15479/AT-ISTA-22684
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 21762
Springstein BL, Javoor M, Megrian D, et al. Repurposing of a DNA segregation machinery into a cytoskeletal system controlling cell shape. Science. 2026;392(6795). doi:10.1126/science.aea6343
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22744
Javoor M. Large-scale imaging of cellular actin networks at single filament resolution using montage cryo-electron tomography. 2026. doi:10.15479/AT-ISTA-22744
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 22751 |
|
|
Naidu RP, Matthee JJ, Katz H, De Graaff A, Oesch PA, Smith A, Greene JE, Brammer G, Weibel A, Hviding R, Chisholm J, Labbé I, Simcoe RA, Witten C, Sun WQ, Atek H, Baggen JFW, Belli S, Bezanson R, Boogaard LA, Bose S, Bouwens RJ, Covelo-Paz A, Dayal P, Fudamoto Y, Furtak LJ, Giovinazzo E, Goulding A, Gronke M, Heintz KE, Hirschmann M, Illingworth G, Inoue AK, Johnson BD, Leja J, Leonova E, Mcconachie I, Maseda MV, Natarajan P, Nelson E, Setton DJ, Shivaei I, Sobral D, Stefanon M, Tacchella S, Toft S, Torralba Torregrosa A, Van Dokkum P, Van Der Wel A, Volonteri M, Walter F, Wang B, Watson D, Whitaker K. 2026. A gas-enshrouded and gas-reddened black hole at cosmic dawn. Nature. 656(8127), 329–333.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 22750 |
Zhao Z, Vercellino I, Whitelegge JP, et al. Cryo-EM structures of naturally occurring dimeric photosystem II complexes lacking the Mn4CaO5 cluster. Nature Communications. 2026;17. doi:10.1038/s41467-026-75324-x
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Published |
Journal Article |
IST-REx-ID: 22752 |
|
|
Anastos M, Erde J, Kang M, Pfenninger V. A short proof of a central limit theorem for the order of the giant component and k-core. Bulletin of the London Mathematical Society. 2026;58(8). doi:10.1112/blms.70464
[Published Version]
View
| Files available
| DOI
| arXiv