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.

523 Publications

2026 | Research Data | IST-REx-ID: 21363

Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea species
S. Riegler, (2026).

[Published Version] View | Files available | DOI

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

Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
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 |

A blueprint for the formalization of Seymour's matroid decomposition theorem
I. Sergeev, M. Dvorak, C. Rampell, M. Sandey, P. Monticone, ArXiv (n.d.).

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

2026 | Published | Thesis | MS | IST-REx-ID: 21401 |

Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

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

Simultaneous optimization of assembly time and yield in programmable self-assembly
M. Hübl, C.P. Goodrich, Journal of Chemical Physics 164 (2026).

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

Parametric amplification of spin-motion coupling in three-dimensional trapped-ion crystals
S. Hawaldar, N. Nikhil, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review Applied 25 (2026).

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

The slope and scatter of the star-forming main sequence at z ∼ 5: Reconciling observations with simulations
C. Di Cesare, J.J. Matthee, R.P. Naidu, A. Torralba, G. Kotiwale, I. Kramarenko, J. Blaizot, J. Rosdahl, J. Leja, E. Iani, A. Adamo, A. Covelo-Paz, L.J. Furtak, K.E. Heintz, S. Mascia, B. Navarrete, P.A. Oesch, M. Romano, I. Shivaei, S. Tacchella, Astronomy & Astrophysics 707 (2026).

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

Disentangling electronic and ionic nonlinear polarization effects in bulk THz Kerr response
C. Shen, M. Frenzel, S.F. Maehrlein, Z. Alpichshev, Physical Review Letters 136 (2026).

[Published Version] View | Files available | DOI

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

Seeds as space-time travelers: How does evolution balance the joint benefits and trade-offs of dormancy and dispersal?
S.M. Backlund, S. Stankowski, R.M. Soler Schaller, American Journal of Botany 113 (2026).

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

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

Entropic size control of self-assembled filaments
M. Hübl, C.P. Goodrich, Physical Review Research 8 (2026).

[Published Version] View | Files available | DOI

Imaging and genetic toolbox to study Arabidopsis embryogenesis
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).

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

Adventitious carbon breaks symmetry in oxide contact electrification
G.M. Grosjean, M. Ostermann, M. Sauer, M. Hahn, C.M. Pichler, F. Fahrnberger, F. Pertl, D. Balazs, M.M. Link, S.H. Kim, D.L. Schrader, A. Blanco, F. Gracia, N. Mujica, S.R. Waitukaitis, Nature 651 (2026) 626–631.

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

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

Causes and consequences of sex-chromosome turnovers in Diptera
L.A. Layana Franco, M.A. Toups, B. Vicoso, Evolution Letters (2026).

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

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

On secure chain selection rules from physical resources in a permissionless setting
M.A. Baig, On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

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

Sequential formation of Drosophila circuit asymmetry via prolonged structural plasticity
J.W. Markovitsch, D. Mitić, A. Del Pilar Jiménez García, A. Zane, S. Kainz, R. Kaur, T. Hummel, Science Advances 12 (2026).

[Published Version] View | Files available | DOI

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

Qualitative analysis of ω-regular objectives on robust MDPs
A. Asadi, K. Chatterjee, E. Goharshady, M. Karrabi, A. Shafiee, in:, Proceedings of the 40th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2026, pp. 36137–36145.

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

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

L'Hopital rules for complex-valued functions in higher dimensions
A. Chern, S. Ishida, ArXiv (n.d.).

[Preprint] View | Files available | DOI | arXiv

Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, Journal of Nonlinear Science 36 (2026).

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

Multifold increase in spinal inhibitory cell types with emergence of limb movement
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).

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

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

Repurposing of a DNA segregation machinery into a cytoskeletal system controlling cell shape
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).

View | DOI | PubMed | Europe PMC

ISTA Research Explorer

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

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

523 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options