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 |

Chalupa, M., Henzinger, T. A., Sarac, N. E., & Yu, E. (2026). Quantitative monitoring of Signal First-Order logic. In 27th International Symposium on Formal Methods (Vol. 16557, pp. 214–233). Tokyo, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-26220-2_11

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

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. Springer Nature. https://doi.org/10.1038/s42005-026-02578-8

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

Chatterjee, K., Goharshady, E., & Zikelic, D. (2026). SuperDP: Differential privacy refutation via supermartingales. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3808296

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

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

Wei, Z., Hafner, C., Kalinov, A., Synak, P., & Wojtan, C. (n.d.). Circles of confidence for multi-label geometry completion. In Computer Graphics Forum (Vol. 45). Bern, Switzerland: Wiley. https://doi.org/10.1111/cgf.70516

[Published Version] View | Files available | DOI

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

Chatterjee, K., Goharshady, E., & Zikelic, D. (2026). SuperDP: Differential Privacy Refutation via Supermartingales. Zenodo. https://doi.org/10.5281/ZENODO.18930113

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

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

Layana Franco, L. A., Toups, M. A., & Vicoso, B. (2026). Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20833

[Published Version] View | Files available | DOI

Agafonova, S., Rosello, P., Mekonnen, M., & Hosten, O. (2026). One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-026-02514-w

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

Quattrocchi, F. (2026). Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-025-03193-1

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

Dmytrenko, O., Yuan, B., Crosby, K. T., Krebel, M., Chen, X., Nowak, J. S., … Beisel, C. L. (2026). RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-09852-9

[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. https://doi.org/10.15479/AT-ISTA-20964

[Published Version] View | Files available | DOI

Sauter, T., Brock, B. W., Collier, E., Goger, B., Groos, A. R., Haualand, K. F., … Voordendag, A. (2026). Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. https://doi.org/10.1029/2024RG000869

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

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

Kücükdereli, H., & Douglass, A. M. (2026). Neuroscience: What doesn’t kill you makes you stronger. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2025.11.056

View | DOI | PubMed | Europe PMC

Kist, T., Hennawi, J. F., Davies, F. B., Bañados, E., Bosman, S. E. I., Cai, Z., … 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. Oxford University Press. https://doi.org/10.1093/mnras/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 |

Dey, T. K., Haas, A., & Lipiński, M. (2026). Computing a connection matrix and persistence efficiently from a morse decomposition. SIAM Journal on Applied Dynamical Systems. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/25m1739406

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

Calderon Garcia, J. S., Costalunga, G., Vogels, T. P., & Vallentin, D. (2026). Interplay between syllable duration and pitch during whistle matching in wild nightingales. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2025.12.025

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

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

Garcia Castillo, D. F. (2026). The genomic architecture of local adaptation in introduced populations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20991

[Published Version] View | Files available | DOI

2026 | Published | Journal Article | IST-REx-ID: 21001

Patil, N. N., Wu, R., Fiedler, C., Kapuria, N., Nan, B., Jakhar, N., … Singh, S. (2026). Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. ACS Energy Letters. American Chemical Society. https://doi.org/10.1021/acsenergylett.5c02909

View | DOI

Browning, T. D. (2026). The Davenport–Heilbronn method: 80 years on. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.70371

[Published Version] View | Files available | DOI

Hübl, M., Videbæk, T. E., Hayakawa, D., Rogers, W. B., & Goodrich, C. P. (2026). A polyhedral structure controls programmable self-assembly. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-025-03120-3

[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