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 | OA
Randomise alone, reach as a team
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 22722 | OA
Representing local protein environments with machine learning force fields
M.I. Bojan, S. Vedula, S.A. Maddipatla, N.E. Sellam, A. Rzayev, F. Napoli, P. Schanda, A.M. Bronstein, in:, 14th International Conference on Learning Representations, 2026, pp. 100760–100799.
[Published Version] View | Files available | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 22719 | OA
Decoupled planning for multiple omega-regular objectives
G. Avni, T.A. Henzinger, K. Mallik, S. Sadhukhan, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 237–257.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22713 | OA | PlanS
Properties of black hole mergers in disks of active galactic nuclei
H. Tagawa, Z. Haiman, B. Kocsis, The Astrophysical Journal 1007 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22720 | OA | PlanS
CLOCK/BMAL1 interactome uncovers homeodomain factors as tissue regulators
F. Aygenli, L.A. Huschet, T. Popp, A. Ribeiro, D. Barkhatova, C. Jouffe, R. Trozzo, J.S. Menet, R. Rad, K.A. Dyar, M. Lech, T. Straub, A.K. Michael, M.S. Robles, Nature Cell Biology (2026).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22718 | OA
A Nitsche method for incompressible fluids with general dynamic boundary conditions
P.A. Gazca-Orozco, F. Gmeineder, E. Maringová, T. Tscherpel, Mathematical Models and Methods in Applied Sciences (2026).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22734 | OA | PlanS
Exploiting mismatch strain and the β–α phase transition for microstructural engineering in thermoelectric Ag2Se
Y. Liu, T. Kleinhanns, M.C. Spadaro, A. Genç, S. Horta, N. Jakhar, T. Costanzo, E. Dutkiewicz, J. Arbiol, M. Hong, M. Ibáñez, ACS Energy Letters 11 (2026) 5752–5762.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 22716 | OA | PlanS
Incremental approximate maximum flow via residual graph sparsification
G. Goranci, M. Henzinger, H. Räcke, A.R. Sricharan, ACM Transactions on Algorithms 22 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22714 | OA | PlanS
Early fate diversification of radial glial progenitors during corticogenesis
I. Varela Martínez, A. Villalba Requena, J. García-Marqués, A. Aguilera, D.S. Castro, S. Hippenmeyer, M. Nieto, Science Advances 12 (2026) eadw5487.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 22712 | OA
Single-cell analyses identify the ginseng embryonic protoderm as a native compartment for high-efficiency ginsenoside production
J. Liu, N. Zhai, S. Zhang, Y. Tamada, T. Li, L. Zhang, T. Chen, C. Wang, J. Yang, J. Gao, X. Li, J. Zhou, Y. Zhang, Y. Liu, Y. Wang, J. Friml, E. Benková, C. Li, L. Xu, L. Huang, Nature Communications 17 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22694 | OA
Equivariant K-theory of affine Grassmannians in representation theory and arithmetic
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21751 | OA | PlanS
Equivariant localizing invariants of simple varieties
J. Löwit, International Mathematics Research Notices 2026 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22693 | OA | PlanS
Equivariant K-theory, affine Grassmannian and perfection
J. Löwit, Documenta Mathematica (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22684 | OA
Experimental probing of nanoscale charge features and surface morphology changes during tribocharging
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21762
Repurposing of a DNA segregation machinery into a cytoskeletal system controlling cell shape
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).
View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22744
Large-scale imaging of cellular actin networks at single filament resolution using montage cryo-electron tomography
M. Javoor, Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography, Institute of Science and Technology Austria , 2026.
View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 22751 | OA | PlanS
A gas-enshrouded and gas-reddened black hole at cosmic dawn
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 | OA
Cryo-EM structures of naturally occurring dimeric photosystem II complexes lacking the Mn4CaO5 cluster
Z. Zhao, I. Vercellino, J.P. Whitelegge, K. Maghlaoui, W. Białek, P.J. Nixon, L.A. Sazanov, Nature Communications 17 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 22752 | OA | PlanS
A short proof of a central limit theorem for the order of the giant component and k-core
M. Anastos, J. Erde, M. Kang, V. Pfenninger, Bulletin of the London Mathematical Society 58 (2026).
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed