Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

11732 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
Quantitative monitoring of Signal First-Order logic
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22100 | OA | PlanS
Tunable field-linked s-wave interactions in dipolar fermi mixtures
J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, R. Al Hyder, Communications Physics 9 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
SuperDP: Differential privacy refutation via supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, Proceedings of the ACM on Programming Languages 10 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Accepted | Conference Paper | IST-REx-ID: 22129 | OA
Circles of confidence for multi-label geometry completion
Z. Wei, C. Hafner, A. Kalinov, P. Synak, C. Wojtan, in:, Computer Graphics Forum, Wiley, n.d.
[Published Version] View | Files available | DOI
 

2026 | Research Data Reference | IST-REx-ID: 22134 | OA
SuperDP: Differential Privacy Refutation via Supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Research Data | IST-REx-ID: 20833 | OA [Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 20840 | OA | PlanS
One-milligram torsional pendulum toward experiments at the quantum-gravity interface
S. Agafonova, P. Rosello, M. Mekonnen, O. Hosten, Communications Physics 9 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 20865 | OA | PlanS
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
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20963 | OA | PlanS
RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity
O. Dmytrenko, B. Yuan, K.T. Crosby, M. Krebel, X. Chen, J.S. Nowak, A. Chramiec-Głąbik, B. Filani, A.-S. Gribling-Burrer, W. van der Toorn, M. von Kleist, T. Achmedov, R.P. Smyth, S. Glatt, J.P.K. Bravo, D.W. Heinz, R.N. Jackson, C.L. Beisel, Nature (2026).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20971 | OA | PlanS
Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review
T. Sauter, B.W. Brock, E. Collier, B. Goger, A.R. Groos, K.F. Haualand, R. Mott, L. Nicholson, R. Prinz, T. Shaw, I. Stiperski, A. Georgi, M. Haugeneder, A. Mandal, D. Reynolds, M. Saigger, J.E. Sicart, A. Voordendag, Reviews of Geophysics 64 (2026).
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Journal Article | IST-REx-ID: 20972
Neuroscience: What doesn’t kill you makes you stronger
H. Kücükdereli, A.M. Douglass, Current Biology 36 (2026) R27–R29.
View | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 20974 | OA | PlanS
First constraints on the local ionization topology in front of two quasars at z ∼ 7.5
T. Kist, J.F. Hennawi, F.B. Davies, E. Bañados, S.E.I. Bosman, Z. Cai, A.C. Eilers, X. Fan, Z. Haiman, H.D. Jun, Y. Liu, J. Yang, F. Wang, Monthly Notices of the Royal Astronomical Society 545 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20975
A dense web of neutral gas in a galaxy proto-cluster post-reionization
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
Computing a connection matrix and persistence efficiently from a morse decomposition
T.K. Dey, A. Haas, M. Lipiński, SIAM Journal on Applied Dynamical Systems 25 (2026) 108–130.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 20986 | OA | PlanS
Interplay between syllable duration and pitch during whistle matching in wild nightingales
J.S. Calderon Garcia, G. Costalunga, T.P. Vogels, D. Vallentin, Current Biology (2026).
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Published | Thesis | PhD | IST-REx-ID: 20991 | OA
The genomic architecture of local adaptation in introduced populations
D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21001
Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3
N.N. Patil, R. Wu, C. Fiedler, N. Kapuria, B. Nan, N. Jakhar, A. Cabot, M. Ibáñez, K.M. Ryan, A.M. Ganose, S. Singh, ACS Energy Letters 11 (2026) 481–488.
View | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21002 | OA | PlanS
The Davenport–Heilbronn method: 80 years on
T.D. Browning, Journal of the London Mathematical Society 113 (2026).
[Published Version] View | Files available | DOI
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21006 | OA | PlanS
A polyhedral structure controls programmable self-assembly
M. Hübl, T.E. Videbæk, D. Hayakawa, W.B. Rogers, C.P. Goodrich, Nature Physics (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed