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.
6383 Publications
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21393 |
Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 21501 |
| 
|
Fragmentation, zero modes, and collective bound states in constrained models
E. Nicolau Jimenez, M. Ljubotina, M. Serbyn, PRX Quantum 7 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
E. Nicolau Jimenez, M. Ljubotina, M. Serbyn, PRX Quantum 7 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21503 |
Computational variant predictors for pharmacogenomics: From evaluation of single alleles to assessment of adverse drug reactions to antidepressants
J. Hajto, M. Piechota, I. Krätschmer, P. Konowalska, G.E. Boyle, D.M. Fowler, M. Borczyk, M. Korostynski, Pharmacogenomics Journal 26 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Hajto, M. Piechota, I. Krätschmer, P. Konowalska, G.E. Boyle, D.M. Fowler, M. Borczyk, M. Korostynski, Pharmacogenomics Journal 26 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21509 |
|
|
The human BAF chromatin remodeler processes nucleosomes bound by pioneer transcription factors OCT4–SOX2
J. Weiss, L. Vecchia, D. Domjan, S. Cavadini, A. Sabantsev, G. Kempf, G.R. Pathare, K. Brackmann, A.K. Michael, L. Kater, E. Hietter-Pfeiffer, M. Haddawi, U.P. Kuber, S. Mühlhäusser, R.S. Grand, M.B. Stadler, S. Deindl, N.H. Thomä, Molecular Cell 86 (2026) 625–639.e8.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Weiss, L. Vecchia, D. Domjan, S. Cavadini, A. Sabantsev, G. Kempf, G.R. Pathare, K. Brackmann, A.K. Michael, L. Kater, E. Hietter-Pfeiffer, M. Haddawi, U.P. Kuber, S. Mühlhäusser, R.S. Grand, M.B. Stadler, S. Deindl, N.H. Thomä, Molecular Cell 86 (2026) 625–639.e8.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21483 |
|
|
Imaging and genetic toolbox to study Arabidopsis embryogenesis
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21502 |
Distribution and functional significance of rodent cerebellar glycogen
S. Akther, A.B. Lee, A. Konno, A. Asiminas, M. Vittani, T. Mishima, H. Hirai, C.F. Meehan, J. Duran, J. Guinovart, H. Ashida, T. Morita, O. Baba, R. Shigemoto, M. Nedergaard, H. Hirase, IScience 29 (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Akther, A.B. Lee, A. Konno, A. Asiminas, M. Vittani, T. Mishima, H. Hirai, C.F. Meehan, J. Duran, J. Guinovart, H. Ashida, T. Morita, O. Baba, R. Shigemoto, M. Nedergaard, H. Hirase, IScience 29 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21504 |
From kinetic theory to AI: A rediscovery of high-dimensional divergences and their properties
G. Auricchio, G. Brigati, P. Giudici, G. Toscani, Mathematical Models and Methods in Applied Sciences (2026).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Auricchio, G. Brigati, P. Giudici, G. Toscani, Mathematical Models and Methods in Applied Sciences (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions
F. Quattrocchi, Calculus of Variations and Partial Differential Equations 65 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
F. Quattrocchi, Calculus of Variations and Partial Differential Equations 65 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21658 |
|
|
Near-degeneracy effects in quadrupolar mixed modes: From an asymptotic description to data fitting
B.R.B. Liagre, A.A. Desai, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 707 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
B.R.B. Liagre, A.A. Desai, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 707 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21657 |
Precipitation characteristics and thermodynamic-convection coupling in global kilometer-scale simulations
D. Takasuka, T. Becker, J. Bao, Journal of Advances in Modeling Earth Systems 18 (2026).
View
| Files available
| DOI
D. Takasuka, T. Becker, J. Bao, Journal of Advances in Modeling Earth Systems 18 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21659 |
|
|
Core-envelope coupling of gravito-inertial waves in pre-main-sequence solar-type stars
S.N. Breton, C. Pezzotti, S. Mathis, L.A. Bugnet, M.P. Di Mauro, J. Joergensen, K. Zwintz, A.F. Lanza, Astronomy & Astrophysics 707 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
S.N. Breton, C. Pezzotti, S. Mathis, L.A. Bugnet, M.P. Di Mauro, J. Joergensen, K. Zwintz, A.F. Lanza, Astronomy & Astrophysics 707 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21660 |
|
|
Two-body Kapitza-Dirac scattering of one-dimensional ultracold atoms
A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 8 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 8 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21661 |
The revised practitioner’s guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, International Journal on Software Tools for Technology Transfer (2026).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, International Journal on Software Tools for Technology Transfer (2026).
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Data heterogeneity and personalization in federated learning
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21021 |
Braiding geometry and topology to study shapes and data
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
2026 |
Draft |
Preprint |
IST-REx-ID: 21051 |
Braiding vineyards
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, ArXiv (n.d.).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21726 |
Quantum control of Hubbard excitons
D.R. Baykusheva, D. Carmichael, C.S. Weber, I.T. Lu, F. Glerean, T. Meng, P.B.M. De Oliveira, C.C. Homes, I.A. Zaliznyak, G.D. Gu, M.P.M. Dean, A. Rubio, D.M. Kennes, M. Claassen, M. Mitrano, Nature Materials (2026).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, D. Carmichael, C.S. Weber, I.T. Lu, F. Glerean, T. Meng, P.B.M. De Oliveira, C.C. Homes, I.A. Zaliznyak, G.D. Gu, M.P.M. Dean, A. Rubio, D.M. Kennes, M. Claassen, M. Mitrano, Nature Materials (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21725 |
|
|
The White Dwarf initial–final mass relation from open clusters in Gaia DR3
D.R. Miller, I. Caiazzo, J. Heyl, H.B. Richer, M.A. Hollands, P.E. Tremblay, K. El-Badry, A.C. Rodriguez, Z.P. Vanderbosch, The Astrophysical Journal 996 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
D.R. Miller, I. Caiazzo, J. Heyl, H.B. Richer, M.A. Hollands, P.E. Tremblay, K. El-Badry, A.C. Rodriguez, Z.P. Vanderbosch, The Astrophysical Journal 996 (2026).
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.).