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 TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: 27th International Symposium on Formal Methods. Vol 16557. Springer Nature; 2026:214-233. doi: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. Tunable field-linked s-wave interactions in dipolar fermi mixtures. Communications Physics. 2026;9. doi:10.1038/s42005-026-02578-8

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

Chatterjee K, Goharshady E, Zikelic D. SuperDP: Differential privacy refutation via supermartingales. Proceedings of the ACM on Programming Languages. 2026;10(PLDI). doi: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. Circles of confidence for multi-label geometry completion. In: Computer Graphics Forum. Vol 45. Wiley. doi:10.1111/cgf.70516

[Published Version] View | Files available | DOI

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

Chatterjee K, Goharshady E, Zikelic D. SuperDP: Differential Privacy Refutation via Supermartingales. 2026. doi:10.5281/ZENODO.18930113

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

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

Layana Franco LA, Toups MA, Vicoso B. Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” 2026. doi:10.15479/AT-ISTA-20833

[Published Version] View | Files available | DOI

Agafonova S, Rosello P, Mekonnen M, Hosten O. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 2026;9. doi:10.1038/s42005-026-02514-w

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

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

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

Dmytrenko O, Yuan B, Crosby KT, et al. RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity. Nature. 2026. doi: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. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. 2026. doi:10.15479/AT-ISTA-20964

[Published Version] View | Files available | DOI

Sauter T, Brock BW, Collier E, et al. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. 2026;64(1). doi:10.1029/2024RG000869

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

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

Kücükdereli H, Douglass AM. Neuroscience: What doesn’t kill you makes you stronger. Current Biology. 2026;36(1):R27-R29. doi:10.1016/j.cub.2025.11.056

View | DOI | PubMed | Europe PMC

Kist T, Hennawi JF, Davies FB, 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. 2026;545(3). doi: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 TK, Haas A, Lipiński M. Computing a connection matrix and persistence efficiently from a morse decomposition. SIAM Journal on Applied Dynamical Systems. 2026;25(1):108-130. doi:10.1137/25m1739406

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

Calderon Garcia JS, Costalunga G, Vogels TP, Vallentin D. Interplay between syllable duration and pitch during whistle matching in wild nightingales. Current Biology. 2026. doi: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 DF. The genomic architecture of local adaptation in introduced populations. 2026. doi:10.15479/AT-ISTA-20991

[Published Version] View | Files available | DOI

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

Patil NN, Wu R, Fiedler C, et al. Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. ACS Energy Letters. 2026;11(1):481-488. doi:10.1021/acsenergylett.5c02909

View | DOI

Browning TD. The Davenport–Heilbronn method: 80 years on. Journal of the London Mathematical Society. 2026;113(1). doi:10.1112/jlms.70371

[Published Version] View | Files available | DOI

Hübl M, Videbæk TE, Hayakawa D, Rogers WB, Goodrich CP. A polyhedral structure controls programmable self-assembly. Nature Physics. 2026. doi: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