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.

10717 Publications


2025 | Published | Journal Article | IST-REx-ID: 19736
Mechanisms of auxin action in plant growth and development
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
View | DOI | PubMed | Europe PMC
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19727 | OA
Asymptotic growth of translation-dilation orbits
V. Wang, Advances in Mathematics 475 (2025).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19737 | OA
Non–Hermitian spectral universality at critical points
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed