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.

2076 Publications

Chisholm, John, et al. “Little Red Dots as Globular Clusters in Formation.” The Astrophysical Journal Letters, vol. 1004, no. 1, L4, IOP Publishing, 2026, doi:10.3847/2041-8213/ae6dae.

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

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

Adams, Henry, et al. “Lower Bounding the Gromov–Hausdorff Distance in Metric Graphs.” 42nd International Symposium on Computational Geometry, vol. 367, 3:1-3:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.SoCG.2026.3.

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

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

Chan, Timothy M., et al. “Charting the Diameter Computation Landscape of Intersection Graphs in 3D and Above.” 42nd International Symposium on Computational Geometry, vol. 367, 29:1-29:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.SoCG.2026.29.

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

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

Chalupa, Marek, et al. “Quantitative Monitoring of Signal First-Order Logic.” 27th International Symposium on Formal Methods, vol. 16557, Springer Nature, 2026, pp. 214–33, doi:10.1007/978-3-032-26220-2_11.

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

Chatterjee, Krishnendu, et al. “SuperDP: Differential Privacy Refutation via Supermartingales.” Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI, 218, Association for Computing Machinery, 2026, doi:10.1145/3808296.

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

Dmytrenko, Oleg, et al. “RNA-Triggered Cas12a3 Cleaves TRNA Tails to Execute Bacterial Immunity.” Nature, Springer Nature, 2026, doi:10.1038/s41586-025-09852-9.

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

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

Garcia Castillo, Diego Fernando. The Genomic Architecture of Local Adaptation in Introduced Populations. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-20991.

[Published Version] View | Files available | DOI

Hübl, Maximilian, et al. “A Polyhedral Structure Controls Programmable Self-Assembly.” Nature Physics, Springer Nature, 2026, doi:10.1038/s41567-025-03120-3.

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

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

Neiheiser, Ray, and Eleftherios Kokoris Kogias. “Anthemius: Efficient and Modular Block Assembly for Concurrent Execution.” 29th International Conference on Financial Cryptography and Data Security, vol. 15751, Springer Nature, 2026, pp. 307–23, doi:10.1007/978-3-032-07024-1_18.

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

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

Kniep, Quentin, et al. “Pilotfish: Distributed Execution for Scalable Blockchains.” 29th International Conference on Financial Cryptography and Data Security, vol. 15751, Springer Nature, 2026, pp. 287–306, doi:10.1007/978-3-032-07024-1_17.

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

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

Baig, Mirza Ahad, and Krzysztof Z. Pietrzak. “On the (in)Security of Proofs-of-Space Based Longest-Chain Blockchains.” 29th International Conference on Financial Cryptography and Data Security, vol. 15752, Springer Nature, 2026, pp. 127–42, doi:10.1007/978-3-032-07035-7_8.

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

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

Troidl, Jakob, et al. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” 1st International Workshop on Efficient Medical Artificial Intelligence, vol. 16318, Springer Nature, 2026, pp. 257–67, doi:10.1007/978-3-032-13961-0_26.

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

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21295 |

Yang, Bowen, et al. “Discontinuous Transition to Shear Flow Turbulence.” Nature Physics, Springer Nature, 2026, doi:10.1038/s41567-025-03166-3.

[Published Version] View | DOI | arXiv

Bustos, Daniela, et al. “Ozone Trends and Mortality Risk: The Growing Need for Machine Learning Predictions in Bogotá, Colombia.” Earth Systems and Environment, Springer Nature, 2026, doi:10.1007/s41748-026-01052-3.

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

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

Antić, Todor, et al. “Edge-Constrained Hamiltonian Paths on a Point Set.” 51st International Conference on Current Trends in Theory and Practice of Computer Science, vol. 16448, Springer Nature, 2026, pp. 532–46, doi:10.1007/978-3-032-17801-5_39.

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

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21379 |

Otto, Felix, et al. “On Minimizing Curves in a Brownian Potential.” Probability Theory and Related Fields, Springer Nature, 2026, doi:10.1007/s00440-026-01468-y.

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

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

Sasidharan, Vidyanand, et al. “Extracellular Vesicles Mediate Stem Cell Signaling and Systemic RNAi in Planarians.” Science Advances, vol. 12, no. 6, eady1461, American Association for the Advancement of Science, 2026, doi:10.1126/sciadv.ady1461.

[Published Version] View | Files available | DOI

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

Dvorak, Martin. Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21393.

[Published Version] View | Files available | DOI

2026 | Submitted | Preprint | IST-REx-ID: 21400 |

Sergeev, Ivan, et al. “A Blueprint for the Formalization of Seymour’s Matroid Decomposition Theorem.” ArXiv, doi:10.48550/arXiv.2601.01255.

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

Edelsbrunner, Herbert, et al. “Maximum Persistent Betti Numbers of Čech Complexes.” Journal of Applied and Computational Topology, vol. 10, 5, Springer Nature, 2026, doi:10.1007/s41468-026-00233-3.

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

ISTA Research Explorer

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

2076 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).

2076 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options