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.

2079 Publications

Chisholm, John, Danielle A. Berg, Michael Boylan-Kolchin, Anna De Graaff, Lukas J. Furtak, Vasily Kokorev, Jorryt J Matthee, Julian B. Muñoz, Rohan P. Naidu, and Andreas A.C. Sander. “Little Red Dots as Globular Clusters in Formation.” The Astrophysical Journal Letters. IOP Publishing, 2026. https://doi.org/10.3847/2041-8213/ae6dae.

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

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

Adams, Henry, Sushovan Majhi, Fedor Manin, Ziga Virk, and Nicolò Zava. “Lower Bounding the Gromov–Hausdorff Distance in Metric Graphs.” In 42nd International Symposium on Computational Geometry, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.SoCG.2026.3.

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

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

Chan, Timothy M., Hsien Chih Chang, Jie Gao, Sándor Kisfaludi-Bak, Hung Le, and Da Wei Zheng. “Charting the Diameter Computation Landscape of Intersection Graphs in 3D and Above.” In 42nd International Symposium on Computational Geometry, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.SoCG.2026.29.

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

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

Chalupa, Marek, Thomas A Henzinger, Naci E Sarac, and Emily Yu. “Quantitative Monitoring of Signal First-Order Logic.” In 27th International Symposium on Formal Methods, 16557:214–33. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-26220-2_11.

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

Chatterjee, Krishnendu, Ehsan Goharshady, and Dorde Zikelic. “SuperDP: Differential Privacy Refutation via Supermartingales.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2026. https://doi.org/10.1145/3808296.

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

Dmytrenko, Oleg, Biao Yuan, Kadin T. Crosby, Max Krebel, Xiye Chen, Jakub S. Nowak, Andrzej Chramiec-Głąbik, et al. “RNA-Triggered Cas12a3 Cleaves TRNA Tails to Execute Bacterial Immunity.” Nature. Springer Nature, 2026. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-20991.

[Published Version] View | Files available | DOI

Hübl, Maximilian, Thomas E. Videbæk, Daichi Hayakawa, W. Benjamin Rogers, and Carl Peter Goodrich. “A Polyhedral Structure Controls Programmable Self-Assembly.” Nature Physics. Springer Nature, 2026. https://doi.org/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.” In 29th International Conference on Financial Cryptography and Data Security, 15751:307–23. Springer Nature, 2026. https://doi.org/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, Eleftherios Kokoris Kogias, Alberto Sonnino, Igor Zablotchi, and Nuda Zhang. “Pilotfish: Distributed Execution for Scalable Blockchains.” In 29th International Conference on Financial Cryptography and Data Security, 15751:287–306. Springer Nature, 2026. https://doi.org/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.” In 29th International Conference on Financial Cryptography and Data Security, 15752:127–42. Springer Nature, 2026. https://doi.org/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, Yiqing Liang, Johanna Beyer, Mojtaba Tavakoli, Johann G Danzl, Markus Hadwiger, Hanspeter Pfister, and James Tompkin. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” In 1st International Workshop on Efficient Medical Artificial Intelligence, 16318:257–67. Springer Nature, 2026. https://doi.org/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, Yi Zhuang, Gökhan Yalniz, Mukund Vasudevan, Elena Marensi, and Björn Hof. “Discontinuous Transition to Shear Flow Turbulence.” Nature Physics. Springer Nature, 2026. https://doi.org/10.1038/s41567-025-03166-3.

[Published Version] View | DOI | arXiv

Bustos, Daniela, Diana Garcia, Nestor Y. Rojas, Ellie A. Lopez-Barrera, Carlos Peña-Rincon, and Alejandro Casallas Garcia. “Ozone Trends and Mortality Risk: The Growing Need for Machine Learning Predictions in Bogotá, Colombia.” Earth Systems and Environment. Springer Nature, 2026. https://doi.org/10.1007/s41748-026-01052-3.

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

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

Antić, Todor, Aleksa Džuklevski, Jiří Fiala, Jan Kratochvíl, Giuseppe Liotta, Morteza Saghafian, Maria Saumell, and Johannes Zink. “Edge-Constrained Hamiltonian Paths on a Point Set.” In 51st International Conference on Current Trends in Theory and Practice of Computer Science, 16448:532–46. Springer Nature, 2026. https://doi.org/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, Matteo Palmieri, and Christian Wagner. “On Minimizing Curves in a Brownian Potential.” Probability Theory and Related Fields. Springer Nature, 2026. https://doi.org/10.1007/s00440-026-01468-y.

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

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

Sasidharan, Vidyanand, Laura Ancellotti, Viraj Doddihal, Carolyn Brewster, Frederick Mann, Mary Cathleen McKinney, Joseph Varberg, et al. “Extracellular Vesicles Mediate Stem Cell Signaling and Systemic RNAi in Planarians.” Science Advances. American Association for the Advancement of Science, 2026. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-21393.

[Published Version] View | Files available | DOI

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

Sergeev, Ivan, Martin Dvorak, Cameron Rampell, Mark Sandey, and Pietro Monticone. “A Blueprint for the Formalization of Seymour’s Matroid Decomposition Theorem.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2601.01255.

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

Edelsbrunner, Herbert, Matthew Kahle, and Shu Kanazawa. “Maximum Persistent Betti Numbers of Čech Complexes.” Journal of Applied and Computational Topology. Springer Nature, 2026. https://doi.org/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).

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

2079 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options