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.
6426 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 21133 |
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
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 21134 |
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
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.
2026 |
Published |
Conference Paper |
IST-REx-ID: 21135 |
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.)
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.
2026 |
Published |
Conference Paper |
IST-REx-ID: 21140 |
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
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.
2026 |
Published |
Journal Article |
IST-REx-ID: 21149 |
| 
|
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
M. Hrast, G. Koutentakis, M. Maslov, M. Lemeshko, Physical Review Letters 136 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21158 |
|
|
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
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).
2026 |
Published |
Journal Article |
IST-REx-ID: 21159 |
|
|
Counting perfect matchings in Dirac hypergraphs
M.A. Kwan, R. Safavi Hemami, Y. Wang, Combinatorica 46 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, R. Safavi Hemami, Y. Wang, Combinatorica 46 (2026).
2026 |
Published |
Preprint |
IST-REx-ID: 21212 |
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.)
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.
2026 |
Published |
Book Chapter |
IST-REx-ID: 21230 |
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
D.M. Bowman, L.A. Bugnet, in:, I. Mandel (Ed.), Encyclopedia of Astrophysics, Elsevier, 2026, pp. 133–153.
2026 |
Published |
Journal Article |
IST-REx-ID: 21232 |
|
|
Towards stratified space learning: 2-complexes
Y. Bokor Bleile, La Matematica 5 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
Y. Bokor Bleile, La Matematica 5 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21273 |
Hydrodynamic permeability of fluctuating porous membranes
A. Dombret, A. Sutter, B. Coquinot, N. Kavokine, B. Coasne, L. Bocquet, Physical Review Fluids 11 (2026).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Dombret, A. Sutter, B. Coquinot, N. Kavokine, B. Coasne, L. Bocquet, Physical Review Fluids 11 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21274 |
|
|
A half ring of ionized circumstellar material trapped in the magnetosphere of a white dwarf merger remnant
Cristea A-A, Caiazzo I, Cunningham T, Raymond JC, Vennes S, Kawka A, Desai AA, Miller DR, Hermes JJ, Fuller J, Heyl J, van Roestel J, Burdge KB, Rodriguez AC, Pelisoli I, Gänsicke BT, Szkody P, Kenyon SJ, Vanderbosch Z, Drake A, Ferrario L, Wickramasinghe D, Karambelkar VR, Justham S, Pakmor R, El-Badry K, Prince T, Kulkarni SR, Graham MJ, Masci FJ, Groom SL, Purdum J, Dekany R, Bellm EC. 2026. A half ring of ionized circumstellar material trapped in the magnetosphere of a white dwarf merger remnant. Astronomy & Astrophysics. 706, A188.
[Published Version]
View
| Files available
| DOI
Cristea A-A, Caiazzo I, Cunningham T, Raymond JC, Vennes S, Kawka A, Desai AA, Miller DR, Hermes JJ, Fuller J, Heyl J, van Roestel J, Burdge KB, Rodriguez AC, Pelisoli I, Gänsicke BT, Szkody P, Kenyon SJ, Vanderbosch Z, Drake A, Ferrario L, Wickramasinghe D, Karambelkar VR, Justham S, Pakmor R, El-Badry K, Prince T, Kulkarni SR, Graham MJ, Masci FJ, Groom SL, Purdum J, Dekany R, Bellm EC. 2026. A half ring of ionized circumstellar material trapped in the magnetosphere of a white dwarf merger remnant. Astronomy & Astrophysics. 706, A188.
2026 |
Published |
Journal Article |
IST-REx-ID: 21275 |
|
|
Spatiotemporal patterns of active epigenetic turnover
F. Olmeda, M. Gupta, O. Bektas, S. Rulands, PRX Life 4 (2026).
[Published Version]
View
| Files available
| DOI
F. Olmeda, M. Gupta, O. Bektas, S. Rulands, PRX Life 4 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21282 |
|
|
Marr's three levels for embryonic development: Information, dynamical systems, gene networks
D. Brückner, G. Tkačik, PRX Life 4 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Brückner, G. Tkačik, PRX Life 4 (2026).
2026 |
Submitted |
Preprint |
IST-REx-ID: 21290 |
The splicing paralogues SNRPB and SNRPN control differential metabolic states.
F. Polat Haas, A. Villalba Requena, P. Rusina, A. Gopalan, H. Fritz, A. Akhmetkaliyev, F. Ruehle, A. Einsiedel, A. Szczepinska, F. Kielisch, J.-X. Chen, S. Nguyen, T. Schmidlin, S. Hippenmeyer, M.F. Bailicata, C.I. Keller Valsecchi, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
F. Polat Haas, A. Villalba Requena, P. Rusina, A. Gopalan, H. Fritz, A. Akhmetkaliyev, F. Ruehle, A. Einsiedel, A. Szczepinska, F. Kielisch, J.-X. Chen, S. Nguyen, T. Schmidlin, S. Hippenmeyer, M.F. Bailicata, C.I. Keller Valsecchi, BioRxiv (n.d.).
2026 |
Submitted |
Preprint |
IST-REx-ID: 21291 |
Lineage origin of spinal cord cell type diversity
S.A. Gobeil, F. Da Silveira Neto, G. Silvestrelli, M.G. Smits, C. Streicher, G.T. Cheung, S. Hippenmeyer, L.B. Sweeney, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
S.A. Gobeil, F. Da Silveira Neto, G. Silvestrelli, M.G. Smits, C. Streicher, G.T. Cheung, S. Hippenmeyer, L.B. Sweeney, BioRxiv (n.d.).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21311 |
|
|
Spatio-temporal trends of air pollution in six South American cities
Y. González, N. Malagón, K. Benavides, L.C. Belalcázar, E.A. Lopez-Barrera, A. Casallas Garcia, Earth Systems and Environment (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. González, N. Malagón, K. Benavides, L.C. Belalcázar, E.A. Lopez-Barrera, A. Casallas Garcia, Earth Systems and Environment (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21340 |
|
|
Non-equilibrium plasmon liquid in a Josephson junction chain
A. Bubis, L. Vigliotti, M. Serbyn, A.P. Higginbotham, Science Advances 12 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Bubis, L. Vigliotti, M. Serbyn, A.P. Higginbotham, Science Advances 12 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21341 |
|
|
Rapid, out-of-equilibrium metal enrichment indicated by a flat mass-metallicity relation at z ∼ 6 from NIRCam grism spectroscopy
G. Kotiwale, J.J. Matthee, D. Kashino, A.P. Vijayan, A. Torralba Torregrosa, C. Di Cesare, E. Iani, R. Bordoloi, J. Leja, M.V. Maseda, S. Tacchella, I. Shivaei, K.E. Heintz, A.L. Danhaive, S. Mascia, I. Kramarenko, B. Navarrete, R. Mackenzie, R.P. Naidu, D. Sobral, Astronomy & Astrophysics 706 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
G. Kotiwale, J.J. Matthee, D. Kashino, A.P. Vijayan, A. Torralba Torregrosa, C. Di Cesare, E. Iani, R. Bordoloi, J. Leja, M.V. Maseda, S. Tacchella, I. Shivaei, K.E. Heintz, A.L. Danhaive, S. Mascia, I. Kramarenko, B. Navarrete, R. Mackenzie, R.P. Naidu, D. Sobral, Astronomy & Astrophysics 706 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21342 |
|
|
A cosmic miracle: A remarkably luminous galaxy at zspec = 14.44 confirmed with JWST
Naidu RP, Oesch PA, Brammer G, Weibel A, Li Y, Matthee JJ, Chisholm J, Pollock CL, Heintz KE, Johnson BD, Shen X, Hviding RE, Leja J, Tacchella S, Ganguly A, Witten C, Atek H, Belli S, Bose S, Bouwens R, Dayal P, Decarli R, De Graaff A, Fudamoto Y, Giovinazzo E, Greene JE, Illingworth G, Inoue AK, Kane SG, Labbe I, Leonova E, Marques-Chaves R, Meyer RA, Nelson EJ, Roberts-Borsani G, Schaerer D, Simcoe RA, Stefanon M, Sugahara Y, Toft S, Van Der Wel A, Van Dokkum P, Walter F, Watson D, Weaver JR, Whitaker KE. 2026. A cosmic miracle: A remarkably luminous galaxy at zspec = 14.44 confirmed with JWST. The Open Journal of Astrophysics. 9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Naidu RP, Oesch PA, Brammer G, Weibel A, Li Y, Matthee JJ, Chisholm J, Pollock CL, Heintz KE, Johnson BD, Shen X, Hviding RE, Leja J, Tacchella S, Ganguly A, Witten C, Atek H, Belli S, Bose S, Bouwens R, Dayal P, Decarli R, De Graaff A, Fudamoto Y, Giovinazzo E, Greene JE, Illingworth G, Inoue AK, Kane SG, Labbe I, Leonova E, Marques-Chaves R, Meyer RA, Nelson EJ, Roberts-Borsani G, Schaerer D, Simcoe RA, Stefanon M, Sugahara Y, Toft S, Van Der Wel A, Van Dokkum P, Walter F, Watson D, Weaver JR, Whitaker KE. 2026. A cosmic miracle: A remarkably luminous galaxy at zspec = 14.44 confirmed with JWST. The Open Journal of Astrophysics. 9.