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.
4958 Publications
2022 | Published | Journal Article | IST-REx-ID: 10945 | 
Çoruh, Mehmet Orkun, Güngör Gündüz, Üner Çolak, and Bora Maviş. “PH-Dependent Coloring of Combination Effect Pigments with Anthocyanins from Brassica Oleracea Var. Capitata F. Rubra.” Colorants. MDPI, 2022. https://doi.org/10.3390/colorants1020010.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10924 |
Sahu, Rishabh, William J Hease, Alfredo R Rueda Sanchez, Georg M Arnold, Liu Qiu, and Johannes M Fink. “Quantum-Enabled Operation of a Microwave-Optical Interface.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-28924-2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10890 |
Eguchi, Kohgaku, Jacqueline-Claire Montanaro-Punzengruber, Elodie Le Monnier, and Ryuichi Shigemoto. “The Number and Distinct Clustering Patterns of Voltage-Gated Calcium Channels in Nerve Terminals.” Frontiers in Neuroanatomy. Frontiers, 2022. https://doi.org/10.3389/fnana.2022.846615.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11723 |
Li, Lanxin, Huihuang Chen, Saqer S. Alotaibi, Aleš Pěnčík, Maciek Adamowski, Ondřej Novák, and Jiří Friml. “RALF1 Peptide Triggers Biphasic Root Growth Inhibition Upstream of Auxin Biosynthesis.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2022. https://doi.org/10.1073/pnas.2121058119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11626 |
Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11626.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10411 |
Li, Lanxin, Michelle C Gallei, and Jiří Friml. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science. Cell Press, 2022. https://doi.org/10.1016/j.tplants.2021.11.006.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10787 |
Barton, Nicholas H, and Oluwafunmilola O Olusanya. “The Response of a Metapopulation to a Changing Environment.” Philosophical Transactions of the Royal Society B: Biological Sciences. The Royal Society, 2022. https://doi.org/10.1098/rstb.2021.0009.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10658 |
Sachdeva, Himani, Oluwafunmilola O Olusanya, and Nicholas H Barton. “Genetic Load and Extinction in Peripheral Populations: The Roles of Migration, Drift and Demographic Stochasticity.” Philosophical Transactions of the Royal Society B. The Royal Society, 2022. https://doi.org/10.1098/rstb.2021.0010.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12081 |
Hledik, Michal, Nicholas H Barton, and Gašper Tkačik. “Accumulation and Maintenance of Information in Evolution.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2022. https://doi.org/10.1073/pnas.2123152119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12280 |
Schmid, Laura, Christian Hilbe, Krishnendu Chatterjee, and Martin Nowak. “Direct Reciprocity between Individuals That Use Different Strategy Spaces.” PLOS Computational Biology. Public Library of Science, 2022. https://doi.org/10.1371/journal.pcbi.1010149.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12257 |
Chatterjee, Krishnendu, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, and Josef Tkadlec. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” Physical Review E. American Physical Society, 2022. https://doi.org/10.1103/physreve.106.034321.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11459 |
Zikelic, Dorde, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi. “Differential Cost Analysis with Simultaneous Potentials and Anti-Potentials.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 442–57. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523435.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11402 |
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” Journal of Computer and System Sciences. Elsevier, 2022. https://doi.org/10.1016/j.jcss.2022.04.003.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Ahmadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi Hemami, and Dorde Zikelic. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12101 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.” In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv