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.




6461 Publications

2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
Chalupa M, Henzinger TA, Sarac NE, Yu E. 2026. Quantitative monitoring of Signal First-Order logic. 27th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 16557, 214–233.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22100 | OA | PlanS
Li J, Koutentakis G, Hrast M, Lemeshko M, Schindewolf A, Al Hyder R. 2026. Tunable field-linked s-wave interactions in dipolar fermi mixtures. Communications Physics. 9, 201.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
Chatterjee K, Goharshady E, Zikelic D. 2026. SuperDP: Differential privacy refutation via supermartingales. Proceedings of the ACM on Programming Languages. 10(PLDI), 218.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Accepted | Conference Paper | IST-REx-ID: 22129 | OA
Wei Z, Hafner C, Kalinov A, Synak P, Wojtan C. Circles of confidence for multi-label geometry completion. Computer Graphics Forum. Eurographics: Symposium on Geometry Processing vol. 45.
[Published Version] View | Files available | DOI
 
2026 | Research Data Reference | IST-REx-ID: 22134 | OA
Chatterjee K, Goharshady E, Zikelic D. 2026. SuperDP: Differential Privacy Refutation via Supermartingales, Zenodo, 10.5281/ZENODO.18930113.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2026 | Research Data | IST-REx-ID: 20833 | OA
Layana Franco LA, Toups MA, Vicoso B. 2026. Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20833.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 20840 | OA | PlanS
Agafonova S, Rosello P, Mekonnen M, Hosten O. 2026. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 9, 80.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 20865 | OA | PlanS
Quattrocchi F. 2026. Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. Calculus of Variations and Partial Differential Equations. 65(1), 23.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20963 | OA | PlanS
Dmytrenko O, Yuan B, Crosby KT, Krebel M, Chen X, Nowak JS, Chramiec-Głąbik A, Filani B, Gribling-Burrer A-S, van der Toorn W, von Kleist M, Achmedov T, Smyth RP, Glatt S, Bravo JPK, Heinz DW, Jackson RN, Beisel CL. 2026. RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity. Nature.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Published | Thesis | MS | IST-REx-ID: 20964
Vladimirtsev D. 2026. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20971 | OA | PlanS
Sauter T, Brock BW, Collier E, Goger B, Groos AR, Haualand KF, Mott R, Nicholson L, Prinz R, Shaw T, Stiperski I, Georgi A, Haugeneder M, Mandal A, Reynolds D, Saigger M, Sicart JE, Voordendag A. 2026. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. 64(1), e2024RG000869.
[Published Version] View | DOI | Download Published Version (ext.)
 
2026 | Journal Article | IST-REx-ID: 20972
Kücükdereli H, Douglass AM. 2026. Neuroscience: What doesn’t kill you makes you stronger. Current Biology. 36(1), R27–R29.
View | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 20974 | OA | PlanS
Kist T, Hennawi JF, Davies FB, Bañados E, Bosman SEI, Cai Z, Eilers AC, Fan X, Haiman Z, Jun HD, Liu Y, Yang J, Wang F. 2026. First constraints on the local ionization topology in front of two quasars at z ∼ 7.5. Monthly Notices of the Royal Astronomical Society. 545(3), staf2219.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20975
Heintz KE, Bennett JS, Oesch PA, Sneppen A, Rennehan D, Pollock CL, Witstok J, Smit R, Vejlgaard S, Terp C, Koca US, Brammer GB, Finlator K, Hayes MJ, Sijacki D, Naidu RP, Matthee JJ, Valentino F, Tanvir NR, Jakobsson P, Laursen P, Watson DJ, Davé R, Keating LC, Covelo-Paz A. 2026. A dense web of neutral gas in a galaxy proto-cluster post-reionization. Nature Astronomy.
View | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 20980 | OA
Dey TK, Haas A, Lipiński M. 2026. Computing a connection matrix and persistence efficiently from a morse decomposition. SIAM Journal on Applied Dynamical Systems. 25(1), 108–130.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20986 | OA | PlanS
Calderon Garcia JS, Costalunga G, Vogels TP, Vallentin D. 2026. Interplay between syllable duration and pitch during whistle matching in wild nightingales. Current Biology.
[Published Version] View | DOI | Download Published Version (ext.)
 
2026 | Published | Thesis | PhD | IST-REx-ID: 20991 | OA
Garcia Castillo DF. 2026. The genomic architecture of local adaptation in introduced populations. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21001
Patil NN, Wu R, Fiedler C, Kapuria N, Nan B, Jakhar N, Cabot A, Ibáñez M, Ryan KM, Ganose AM, Singh S. 2026. Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. ACS Energy Letters. 11(1), 481–488.
View | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21002 | OA | PlanS
Browning TD. 2026. The Davenport–Heilbronn method: 80 years on. Journal of the London Mathematical Society. 113(1), e70371.
[Published Version] View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21006 | OA | PlanS
Hübl M, Videbæk TE, Hayakawa D, Rogers WB, Goodrich CP. 2026. A polyhedral structure controls programmable self-assembly. Nature Physics.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed