ISTA Research Explorer

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.

8354 Publications

2026 | Published | Conference Paper | IST-REx-ID: 22003 |

Adams H, Majhi S, Manin F, Virk Z, Zava N. 2026. Lower bounding the Gromov–Hausdorff distance in metric graphs. 42nd International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 367, 3:1-3:16.

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

2026 | Published | Conference Paper | IST-REx-ID: 22004 |

Chan TM, Chang HC, Gao J, Kisfaludi-Bak S, Le H, Zheng DW. 2026. Charting the diameter computation landscape of intersection graphs in 3D and above. 42nd International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 367, 29:1-29:15.

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

2026 | Published | Conference Paper | IST-REx-ID: 22006 |

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

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

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 | Research Data Reference | IST-REx-ID: 22134 |

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 |

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

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

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

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 | Published | Thesis | PhD | IST-REx-ID: 20991 |

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

Bena A, Pieber B. 2026. Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings. ACS Catalysis. 16(2), 866–881.

[Published Version] View | Files available | DOI

Barrett C, Henzinger TA, Seshia SA. 2026. Certificates in AI: Learn but verify. Communications of the ACM. 69(1), 66–75.

[Published Version] View | Files available | DOI

GOSWAMI BB, Lu Z, Muller CJ. 2026. Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments. Journal of Advances in Modeling Earth Systems. 18(1), e2024MS004576.

[Published Version] View | Files available | DOI

Mishra N, Li YI, Hannezo EB, Heisenberg C-PJ. 2026. Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo. Nature Physics. 22, 139–150.

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

Brigati G, Dolbeault J, Simonov N. 2026. Logarithmic Sobolev Inequalities: A review on stability and instability results. La Matematica. 5, 5.

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

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

Bolot M, Roca R, Fiolleau T, Muller CJ. 2026. No decrease of tropical convection in individual deep convective systems with global warming. npj Climate and Atmospheric Science. 9, 14.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Chang SJ, Gronke M, Matthee JJ, Mason C. 2026. Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. Monthly Notices of the Royal Astronomical Society. 545(4), staf2131.

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

Busato M, Tuccillo M, Celeste A, Tofoni A, Silvestri L, D’Angelo P, Freunberger SA, Brutti S. 2026. Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. ACS Applied Energy Materials. 9(1), 686–697.

[Published Version] View | Files available | DOI

Mück N, Georges AL, Dreyer D, Garg D, Sammler MJ. 2026. Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. Proceedings of the ACM on Programming Languages. 10, 1153–1182.

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

8354 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

8354 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options