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.
9133 Publications
2022 | Journal Article | IST-REx-ID: 12291 | 
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11626 |
M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10411 |
L. Li, M. C. Gallei, and J. Friml, “Bending to auxin: Fast acid growth for tropisms,” Trends in Plant Science, vol. 27, no. 5. Cell Press, pp. 440–449, 2022.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 14282
D. D. Sahtoe et al., “Reconfigurable asymmetric protein assemblies through implicit negative design,” Science, vol. 375, no. 6578. American Association for the Advancement of Science, 2022.
View
| DOI
| PubMed | Europe PMC
2022 | Research Data Reference | IST-REx-ID: 14520 |
M. Zemlicka et al., “Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses.” Zenodo, 2022.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 10791 |
A. H. Hansen et al., “Tissue-wide effects override cell-intrinsic gene function in radial neuron migration,” Oxford Open Neuroscience, vol. 1, no. 1. Oxford Academic, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12000 |
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12511 |
M. Lechner, D. Zikelic, K. Chatterjee, and T. A. Henzinger, “Stability verification in stochastic control systems via neural network supermartingales,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7. Association for the Advancement of Artificial Intelligence, pp. 7326–7336, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14601 |
D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv