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.




619 Publications

2026 | Published | Journal Article | IST-REx-ID: 22607 | PlanS
Dvorak M, Kolmogorov V. 2026. Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. 2, 14253.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
Dvorak M. 2026. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22406 | OA | PlanS
Kebis P, LUCA F, OUAKNINE J, SCOONES A, WORRELL J. 2026. Transcendence for Pisot morphic words over an algebraic base. Ergodic Theory and Dynamical Systems., 1–22.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22619 | OA
Borovkov M, Schell YA, Sokolova D, Roux KER, Falthansl-Scheinecker P, Fabris G, Shah DC, Saez Mollejo J, Previdi R, Taha I, Genç A, Arbiol J, Calcaterra S, Oliveira ADC, Chrastina D, Isella G, Bubis A, Katsaros G. 2026. Low-noise quantum dots in ultra-shallow Ge/SiGe heterostructures for prototyping hybrid semiconducting–superconducting devices. Applied Physics Letters. 129(3), 033505.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22618 | OA | PlanS
Browning TD, Glas J, Wang V. 2026. Sums of three cubes over a function field. Forum of Mathematics Sigma. 14, e112.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Research Data | IST-REx-ID: 22242 | OA
Borovkov M. 2026. Low-Noise Quantum Dots in Ultra-Shallow Ge/SiGe Heterostructures for Prototyping Hybrid Semiconducting-Superconducting Devices, Institute of Science and Technology Austria, 10.15479/AT-ISTA-22242.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 22645 | OA | PlanS
Lee S, Balazs D, Rayaroth Puthiyaveettil A, Horta S, Goodrich CP, Engel M, Cherniukh I, Ibáñez M. 2026. Reaction medium asan architect of nanocrystal superlattices. Journal of the AmericanChemical Society. 148(29), 31245–31252.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 22642 | OA | PlanS
Gheorghita E-F, Wald S, Pupić A, Hosten O. 2026. Continuous accumulation of cold atoms in an optical cavity. Physical Review A. 114(2), 023302.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22647 | OA
Adamowski M, Gackowski A, Matijevic I, Alotaibi SS, Friml J. 2026. The role of clathrin in post‐Golgi secretion in plant cells. New Phytologist., nph. 71454.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 22639 | OA | PlanS
Desio D, Seiringer R. 2026. Dyson expansion for form-bounded perturbations and applications to the polaron problem. Letters in Mathematical Physics. 116(4), 87.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22644 | OA | PlanS
Diao Y. 2026. Liouville function, von Mangoldt function, and norm forms at random binary forms. Glasgow Mathematical Journal., 1–34.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21923 | OA
Kalinov A, Ly M, Hafner C, Wojtan C. 2026. Physics-inspired procedural texturing of extremely deformable surfaces. ACM Transactions on Graphics. 45(4), 154.
[Published Version] View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22295 | OA | PlanS
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
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22268 | OA | PlanS
Maddipatla SA, Sellam NE, Bojan MI, Masalitin V, Vedula S, Schanda P, Marx A, Bronstein AM. 2026. Experiment-guided AlphaFold3 resolves measurement-consistent protein ensembles. Nature Biotechnology.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22334 | OA
Becker LM. 2026. Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2026 | Research Data | IST-REx-ID: 21145 | OA
Becker LM, Schanda P, Chipot C. 2026. Additional Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21145.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 22663 | OA | PlanS
Einramhof L, Bugnet LA, Calcaferro LM, Barrault L, Das SB. 2026. Magneto-archeology of white dwarfs. Astronomy & Astrophysics. 708, L14.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22626
Fiedler C. 2026. Mechanistic insight into solution-processed p-type tin chalcogenides as a basis for designing their n-type analogs. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Paper | IST-REx-ID: 22299 | OA
Edelsbrunner H, Lipiński M, Mrozek M, Soriano Trigueros M, Zimin F. 2026. The depth poset under transpositions in the filter. 42nd International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 367, 41:1-41:18.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 22717 | OA
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. 2026. Randomise alone, reach as a team. 38th International Conference on Computer Aided Verification. CAV: Computer Aided Verification vol. 16682, 215–236.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed