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.
564 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 22607
| 
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).
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 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22408 |
|
|
Quasi-solitons in Rydberg atom chains
A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications (2026).
2026 |
Published |
Thesis | MS |
IST-REx-ID: 22399 |
Studying the evolutionary systems biology of the lac operon
A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22406 |
|
|
Transcendence for Pisot morphic words over an algebraic base
P. Kebis, F. LUCA, J. OUAKNINE, A. SCOONES, J. WORRELL, Ergodic Theory and Dynamical Systems (2026) 1–22.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
P. Kebis, F. LUCA, J. OUAKNINE, A. SCOONES, J. WORRELL, Ergodic Theory and Dynamical Systems (2026) 1–22.
2026 |
Published |
Journal Article |
IST-REx-ID: 22619 |
Low-noise quantum dots in ultra-shallow Ge/SiGe heterostructures for prototyping hybrid semiconducting–superconducting devices
M. Borovkov, Y.A. Schell, D. Sokolova, K.E.R. Roux, P. Falthansl-Scheinecker, G. Fabris, D.C. Shah, J. Saez Mollejo, R. Previdi, I. Taha, A. Genç, J. Arbiol, S. Calcaterra, A.D.C. Oliveira, D. Chrastina, G. Isella, A. Bubis, G. Katsaros, Applied Physics Letters 129 (2026).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Borovkov, Y.A. Schell, D. Sokolova, K.E.R. Roux, P. Falthansl-Scheinecker, G. Fabris, D.C. Shah, J. Saez Mollejo, R. Previdi, I. Taha, A. Genç, J. Arbiol, S. Calcaterra, A.D.C. Oliveira, D. Chrastina, G. Isella, A. Bubis, G. Katsaros, Applied Physics Letters 129 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22618 |
|
|
Sums of three cubes over a function field
T.D. Browning, J. Glas, V. Wang, Forum of Mathematics Sigma 14 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
T.D. Browning, J. Glas, V. Wang, Forum of Mathematics Sigma 14 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22645 |
|
|
Reaction medium asan architect of nanocrystal superlattices
S. Lee, D. Balazs, A. Rayaroth Puthiyaveettil, S. Horta, C.P. Goodrich, M. Engel, I. Cherniukh, M. Ibáñez, Journal of the AmericanChemical Society 148 (2026) 31245–31252.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Lee, D. Balazs, A. Rayaroth Puthiyaveettil, S. Horta, C.P. Goodrich, M. Engel, I. Cherniukh, M. Ibáñez, Journal of the AmericanChemical Society 148 (2026) 31245–31252.
2026 |
Published |
Journal Article |
IST-REx-ID: 22642 |
|
|
Continuous accumulation of cold atoms in an optical cavity
E.-F. Gheorghita, S. Wald, A. Pupić, O. Hosten, Physical Review A 114 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
E.-F. Gheorghita, S. Wald, A. Pupić, O. Hosten, Physical Review A 114 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22647 |
The role of clathrin in post‐Golgi secretion in plant cells
M. Adamowski, A. Gackowski, I. Matijevic, S.S. Alotaibi, J. Friml, New Phytologist (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Adamowski, A. Gackowski, I. Matijevic, S.S. Alotaibi, J. Friml, New Phytologist (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22639 |
|
|
Dyson expansion for form-bounded perturbations and applications to the polaron problem
D. Desio, R. Seiringer, Letters in Mathematical Physics 116 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Desio, R. Seiringer, Letters in Mathematical Physics 116 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22644 |
|
|
Liouville function, von Mangoldt function, and norm forms at random binary forms
Y. Diao, Glasgow Mathematical Journal (2026) 1–34.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y. Diao, Glasgow Mathematical Journal (2026) 1–34.
2026 |
Published |
Journal Article |
IST-REx-ID: 21923 |
Physics-inspired procedural texturing of extremely deformable surfaces
A. Kalinov, M. Ly, C. Hafner, C. Wojtan, ACM Transactions on Graphics 45 (2026).
[Published Version]
View
| Files available
| DOI
A. Kalinov, M. Ly, C. Hafner, C. Wojtan, ACM Transactions on Graphics 45 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22637 |
|
|
Distributing stationary qubit entanglement through a nonlocal squeezed reservoir
A. Andres Juanes, J. Agustí, R. Sett, E. Redchenko, L. Kapoor, S. Hawaldar, P. Rabl, J.M. Fink, Physical Review X 16 (2026).
[Published Version]
View
| Files available
| DOI
A. Andres Juanes, J. Agustí, R. Sett, E. Redchenko, L. Kapoor, S. Hawaldar, P. Rabl, J.M. Fink, Physical Review X 16 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22295 |
|
|
Cortical development dynamics across autism spectrum disorder mouse models
Schwarz LA, Dotter C, Isaev S, Lisi M, Malzl D, Büschl C, Ladstätter S, Oliveira B, Barel M, Basilico B, Chintaluri C, Gorkiewicz S, Goudarzi M, Belinova T, Reichl S, Sendžikaitė G, Arcot Jayaram S, Koppensteiner P, Sommer CM, Vogels TP, Menche J, Adameyko I, Kharchenko PV, Bock C, Novarino G. 2026. Cortical development dynamics across autism spectrum disorder mouse models. Nature.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Schwarz LA, Dotter C, Isaev S, Lisi M, Malzl D, Büschl C, Ladstätter S, Oliveira B, Barel M, Basilico B, Chintaluri C, Gorkiewicz S, Goudarzi M, Belinova T, Reichl S, Sendžikaitė G, Arcot Jayaram S, Koppensteiner P, Sommer CM, Vogels TP, Menche J, Adameyko I, Kharchenko PV, Bock C, Novarino G. 2026. Cortical development dynamics across autism spectrum disorder mouse models. Nature.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22268 |
|
|
Experiment-guided AlphaFold3 resolves measurement-consistent protein ensembles
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, V. Masalitin, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, Nature Biotechnology (2026).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, V. Masalitin, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, Nature Biotechnology (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22334 |
Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR
L.M. Becker, Exploring Protein Dynamics Using Specific Labeling Approaches for Solid-State MAS NMR, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
L.M. Becker, Exploring Protein Dynamics Using Specific Labeling Approaches for Solid-State MAS NMR, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 22663 |
|
|
Magneto-archeology of white dwarfs
L. Einramhof, L.A. Bugnet, L.M. Calcaferro, L. Barrault, S.B. Das, Astronomy & Astrophysics 708 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
L. Einramhof, L.A. Bugnet, L.M. Calcaferro, L. Barrault, S.B. Das, Astronomy & Astrophysics 708 (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22626
Mechanistic insight into solution-processed p-type tin chalcogenides as a basis for designing their n-type analogs
C. Fiedler, Mechanistic Insight into Solution-Processed p-Type Tin Chalcogenides as a Basis for Designing Their n-Type Analogs, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
C. Fiedler, Mechanistic Insight into Solution-Processed p-Type Tin Chalcogenides as a Basis for Designing Their n-Type Analogs, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22299 |
The depth poset under transpositions in the filter
H. Edelsbrunner, M. Lipiński, M. Mrozek, M. Soriano Trigueros, F. Zimin, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, M. Lipiński, M. Mrozek, M. Soriano Trigueros, F. Zimin, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.