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


2026 | Published | Journal Article | IST-REx-ID: 21998 | OA | PlanS
J. Chisholm et al., “Little Red Dots as globular clusters in formation,” The Astrophysical Journal Letters, vol. 1004, no. 1. IOP Publishing, 2026.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22003 | OA
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 | OA
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 | OA
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
 

2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
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 | Epub ahead of print | Journal Article | IST-REx-ID: 20963 | OA | PlanS
O. Dmytrenko et al., “RNA-triggered Cas12a3 cleaves tRNA tails to execute bacterial immunity,” Nature. Springer Nature, 2026.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21006 | OA | PlanS
M. Hübl, T. E. Videbæk, D. Hayakawa, W. B. Rogers, and C. P. Goodrich, “A polyhedral structure controls programmable self-assembly,” Nature Physics. Springer Nature, 2026.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21042 | OA
R. Neiheiser and E. Kokoris Kogias, “Anthemius: Efficient and modular block assembly for concurrent execution,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15751, pp. 307–323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21044 | OA
Q. Kniep, E. Kokoris Kogias, A. Sonnino, I. Zablotchi, and N. Zhang, “Pilotfish: Distributed execution for scalable blockchains,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15751, pp. 287–306.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21134 | OA
M. A. Baig and K. Z. Pietrzak, “On the (in)security of Proofs-of-space based longest-chain blockchains,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15752, pp. 127–142.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21135 | OA
J. Troidl et al., “niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction,” in 1st International Workshop on Efficient Medical Artificial Intelligence, Daejeon, South Korea, 2026, vol. 16318, pp. 257–267.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21295 | PlanS
B. Yang, Y. Zhuang, G. Yalniz, M. Vasudevan, E. Marensi, and B. Hof, “Discontinuous transition to shear flow turbulence,” Nature Physics. Springer Nature, 2026.
[Published Version] View | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21344 | OA | PlanS
D. Bustos, D. Garcia, N. Y. Rojas, E. A. Lopez-Barrera, C. Peña-Rincon, and A. Casallas Garcia, “Ozone trends and mortality risk: The growing need for machine learning predictions in Bogotá, Colombia,” Earth Systems and Environment. Springer Nature, 2026.
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21374 | OA
T. Antić et al., “Edge-constrained Hamiltonian paths on a point set,” in 51st International Conference on Current Trends in Theory and Practice of Computer Science, Krakow, Poland, 2026, vol. 16448, pp. 532–546.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21379 | OA
F. Otto, M. Palmieri, and C. Wagner, “On minimizing curves in a Brownian potential,” Probability Theory and Related Fields. Springer Nature, 2026.
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Published | Journal Article | IST-REx-ID: 21383 | OA
V. Sasidharan et al., “Extracellular vesicles mediate stem cell signaling and systemic RNAi in planarians,” Science Advances, vol. 12, no. 6. American Association for the Advancement of Science, 2026.
[Published Version] View | Files available | DOI
 

2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
M. Dvorak, “Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids,” Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
I. Sergeev, M. Dvorak, C. Rampell, M. Sandey, and P. Monticone, “A blueprint for the formalization of Seymour’s matroid decomposition theorem,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21407 | OA | PlanS
H. Edelsbrunner, M. Kahle, and S. Kanazawa, “Maximum persistent Betti numbers of Čech complexes,” Journal of Applied and Computational Topology, vol. 10. Springer Nature, 2026.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed