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 |

Lower bounding the Gromov–Hausdorff distance in metric graphs
H. Adams, S. Majhi, F. Manin, Z. Virk, N. Zava, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.

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

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

Charting the diameter computation landscape of intersection graphs in 3D and above
T.M. Chan, H.C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, D.W. Zheng, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.

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

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

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

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

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

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 |

Research Data for 'Causes and consequences of sex-chromosome turnovers in Diptera'
L.A. Layana Franco, M.A. Toups, B. Vicoso, (2026).

[Published Version] View | Files available | DOI

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

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

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

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

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

[Published Version] View | Files available | DOI

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

[Published Version] View | Files available | DOI

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

[Published Version] View | Files available | DOI

Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo
N. Mishra, Y.I. Li, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 22 (2026) 139–150.

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

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

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

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

No decrease of tropical convection in individual deep convective systems with global warming
M. Bolot, R. Roca, T. Fiolleau, C.J. Muller, Npj Climate and Atmospheric Science 9 (2026).

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

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

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

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

[Published Version] View | Files available | DOI

Endangered by the language but saved by the compiler: Robust safety via semantic back-translation
N. Mück, A.L. Georges, D. Dreyer, D. Garg, M.J. Sammler, Proceedings of the ACM on Programming Languages 10 (2026) 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