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
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19727 |

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

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.)
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19740 |

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
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.
2025 | Published | Conference Paper | IST-REx-ID: 19739 |

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