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 |

H. Adams, S. Majhi, F. Manin, Z. Virk, and N. Zava, “Lower bounding the Gromov–Hausdorff distance in metric graphs,” in 42nd International Symposium on Computational Geometry, New Brunswick, NJ, United States, 2026, vol. 367.

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

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

T. M. Chan, H. C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, and D. W. Zheng, “Charting the diameter computation landscape of intersection graphs in 3D and above,” in 42nd International Symposium on Computational Geometry, New Brunswick, NJ, United States, 2026, vol. 367.

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

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

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

A. Bena and B. Pieber, “Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings,” ACS Catalysis, vol. 16, no. 2. American Chemical Society, pp. 866–881, 2026.

[Published Version] View | Files available | DOI

C. Barrett, T. A. Henzinger, and S. A. Seshia, “Certificates in AI: Learn but verify,” Communications of the ACM, vol. 69, no. 1. Association for Computing Machinery, pp. 66–75, 2026.

[Published Version] View | Files available | DOI

B. B. GOSWAMI, Z. Lu, and C. J. Muller, “Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments,” Journal of Advances in Modeling Earth Systems, vol. 18, no. 1. Wiley, 2026.

[Published Version] View | Files available | DOI

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

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

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

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

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

M. Bolot, R. Roca, T. Fiolleau, and C. J. Muller, “No decrease of tropical convection in individual deep convective systems with global warming,” npj Climate and Atmospheric Science, vol. 9. Springer Nature, 2026.

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

S. J. Chang, M. Gronke, J. J. Matthee, and C. Mason, “Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots,” Monthly Notices of the Royal Astronomical Society, vol. 545, no. 4. Oxford University Press, 2026.

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

M. Busato et al., “Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation,” ACS Applied Energy Materials, vol. 9, no. 1. American Chemical Society, pp. 686–697, 2026.

[Published Version] View | Files available | DOI

N. Mück, A. L. Georges, D. Dreyer, D. Garg, and M. J. Sammler, “Endangered by the language but saved by the compiler: Robust safety via semantic back-translation,” Proceedings of the ACM on Programming Languages, vol. 10. Association for Computing Machinery, pp. 1153–1182, 2026.

[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