ISTA Research Explorer

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 |

M. Chalupa, T. A. Henzinger, N. E. Sarac, and E. Yu, “Quantitative monitoring of Signal First-Order logic,” in 27th International Symposium on Formal Methods, Tokyo, Japan, 2026, vol. 16557, pp. 214–233.

[Published Version] View | Files available | DOI | arXiv

J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, and R. Al Hyder, “Tunable field-linked s-wave interactions in dipolar fermi mixtures,” Communications Physics, vol. 9. Springer Nature, 2026.

[Published Version] View | Files available | DOI | arXiv

K. Chatterjee, E. Goharshady, and D. Zikelic, “SuperDP: Differential privacy refutation via supermartingales,” Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI. Association for Computing Machinery, 2026.

[Published Version] View | Files available | DOI | arXiv

2026 | Accepted | Conference Paper | IST-REx-ID: 22129 |

Z. Wei, C. Hafner, A. Kalinov, P. Synak, and C. Wojtan, “Circles of confidence for multi-label geometry completion,” in Computer Graphics Forum, Bern, Switzerland, vol. 45, no. 5.

[Published Version] View | Files available | DOI

2026 | Research Data Reference | IST-REx-ID: 22134 |

K. Chatterjee, E. Goharshady, and D. Zikelic, “SuperDP: Differential Privacy Refutation via Supermartingales.” Zenodo, 2026.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2026 | Research Data | IST-REx-ID: 20833 |

L. A. Layana Franco, M. A. Toups, and B. Vicoso, “Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera.’” Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

S. Agafonova, P. Rosello, M. Mekonnen, and O. Hosten, “One-milligram torsional pendulum toward experiments at the quantum-gravity interface,” Communications Physics, vol. 9. Springer Nature, 2026.

[Published Version] View | Files available | DOI | arXiv

F. Quattrocchi, “Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions,” Calculus of Variations and Partial Differential Equations, vol. 65, no. 1. Springer Nature, 2026.

[Published Version] View | Files available | DOI | arXiv

O. Dmytrenko et al., “RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity,” Nature. Springer Nature, 2026.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2026 | Published | Thesis | MS | IST-REx-ID: 20964

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

T. Sauter et al., “Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review,” Reviews of Geophysics, vol. 64, no. 1. 2026.

[Published Version] View | DOI | Download Published Version (ext.)

2026 | Journal Article | IST-REx-ID: 20972

H. Kücükdereli and A. M. Douglass, “Neuroscience: What doesn’t kill you makes you stronger,” Current Biology, vol. 36, no. 1. Elsevier, pp. R27–R29, 2026.

View | DOI | PubMed | Europe PMC

T. Kist et al., “First constraints on the local ionization topology in front of two quasars at z ∼ 7.5,” Monthly Notices of the Royal Astronomical Society, vol. 545, no. 3. Oxford University Press, 2026.

[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 |

T. K. Dey, A. Haas, and M. Lipiński, “Computing a connection matrix and persistence efficiently from a morse decomposition,” SIAM Journal on Applied Dynamical Systems, vol. 25, no. 1. Society for Industrial & Applied Mathematics, pp. 108–130, 2026.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

J. S. Calderon Garcia, G. Costalunga, T. P. Vogels, and D. Vallentin, “Interplay between syllable duration and pitch during whistle matching in wild nightingales,” Current Biology. Elsevier, 2026.

[Published Version] View | DOI | Download Published Version (ext.)

2026 | Published | Thesis | PhD | IST-REx-ID: 20991 |

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

N. N. Patil et al., “Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3,” ACS Energy Letters, vol. 11, no. 1. American Chemical Society, pp. 481–488, 2026.

View | DOI

T. D. Browning, “The Davenport–Heilbronn method: 80 years on,” Journal of the London Mathematical Society, vol. 113, no. 1. Wiley, 2026.

[Published Version] View | Files available | DOI

M. Hübl, T. E. Videbæk, D. Hayakawa, W. B. Rogers, and C. P. Goodrich, “A polyhedral structure controls programmable self-assembly,” Nature Physics. Springer Nature, 2026.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

Research Groups

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

6461 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6461 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options