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.

523 Publications


2026 | Research Data | IST-REx-ID: 21363
Riegler, Stefan. Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21363.
[Published Version] View | Files available | DOI
 

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

2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi, Mahyar. Privacy-Preserving Runtime Verification. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21401.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21408 | OA
Hübl, Maximilian, and Carl Peter Goodrich. “Simultaneous Optimization of Assembly Time and Yield in Programmable Self-Assembly.” Journal of Chemical Physics, vol. 164, no. 8, 084904, AIP Publishing, 2026, doi:10.1063/5.0304731.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21449 | OA | PlanS
Hawaldar, Samarth, et al. “Parametric Amplification of Spin-Motion Coupling in Three-Dimensional Trapped-Ion Crystals.” Physical Review Applied, vol. 25, no. 3, 034004, American Physical Society, 2026, doi:10.1103/h1m9-h3yw.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21452 | OA | PlanS
Di Cesare, Claudia, et al. “The Slope and Scatter of the Star-Forming Main Sequence at z ∼ 5: Reconciling Observations with Simulations.” Astronomy & Astrophysics, vol. 707, A129, EDP Sciences, 2026, doi:10.1051/0004-6361/202557790.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21469 | OA | PlanS
Shen, Chao, et al. “Disentangling Electronic and Ionic Nonlinear Polarization Effects in Bulk THz Kerr Response.” Physical Review Letters, vol. 136, no. 10, 106901, American Physical Society, 2026, doi:10.1103/1c5k-9z82.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21471 | OA
Backlund, Sofia Maria, et al. “Seeds as Space-Time Travelers: How Does Evolution Balance the Joint Benefits and Trade-Offs of Dormancy and Dispersal?” American Journal of Botany, vol. 113, no. 3, e70175, Wiley, 2026, doi:10.1002/ajb2.70175.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 21482 | OA
Hübl, Maximilian, and Carl Peter Goodrich. “Entropic Size Control of Self-Assembled Filaments.” Physical Review Research, vol. 8, L012054, American Physical Society, 2026, doi:10.1103/68rs-3qgn.
[Published Version] View | Files available | DOI
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21483 | OA | PlanS
Babic, David, et al. “Imaging and Genetic Toolbox to Study Arabidopsis Embryogenesis.” New Phytologist, nph. 71072, Wiley, 2026, doi:10.1111/nph.71072.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 21485 | OA | PlanS
Grosjean, Galien M., et al. “Adventitious Carbon Breaks Symmetry in Oxide Contact Electrification.” Nature, vol. 651, no. 8106, Springer Nature, 2026, pp. 626–31, doi:10.1038/s41586-025-10088-w.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21486 | OA
Layana Franco, Lorena Alexandra, et al. “Causes and Consequences of Sex-Chromosome Turnovers in Diptera.” Evolution Letters, qrag003, Oxford University Press, 2026, doi:10.1093/evlett/qrag003.
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Published | Thesis | PhD | IST-REx-ID: 21651 | OA
Baig, Mirza Ahad. On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21651.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21707 | OA
Markovitsch, Johann W., et al. “Sequential Formation of Drosophila Circuit Asymmetry via Prolonged Structural Plasticity.” Science Advances, vol. 12, no. 13, eaea6020, American Association for the Advancement of Science, 2026, doi:10.1126/sciadv.aea6020.
[Published Version] View | Files available | DOI
 

2026 | Published | Conference Paper | IST-REx-ID: 21717 | OA
Asadi, Ali, et al. “Qualitative Analysis of ω-Regular Objectives on Robust MDPs.” Proceedings of the 40th AAAI Conference on Artificial Intelligence, vol. 40, no. 43, Association for the Advancement of Artificial Intelligence, 2026, pp. 36137–45, doi:10.1609/aaai.v40i43.40931.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Submitted | Preprint | IST-REx-ID: 21737 | OA
Chern, Albert, and Sadashige Ishida. “L’Hopital Rules for Complex-Valued Functions in Higher Dimensions.” ArXiv, 2602.09958, doi:10.48550/ARXIV.2602.09958.
[Preprint] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21743 | OA | PlanS
Bauer, Martin, et al. “Symplectic Structures on the Space of Space Curves.” Journal of Nonlinear Science, vol. 36, no. 2, 45, Springer Nature, 2026, doi:10.1007/s00332-026-10266-8.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21746 | OA | PlanS
Vijatovic, David, et al. “Multifold Increase in Spinal Inhibitory Cell Types with Emergence of Limb Movement.” Cell Reports, vol. 45, no. 4, 117227, Elsevier, 2026, doi:10.1016/j.celrep.2026.117227.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 21762
Springstein, Benjamin L., et al. “Repurposing of a DNA Segregation Machinery into a Cytoskeletal System Controlling Cell Shape.” Science, vol. 392, no. 6795, eaea6343, AAAS, 2026, doi:10.1126/science.aea6343.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed