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
2021 | Published | Journal Article | IST-REx-ID: 10858 | 
Li, Mengyao, et al. “Enhanced Thermoelectric Performance of N-Type Bi2Se3 Nanosheets through Sn Doping.” Nanomaterials, vol. 11, no. 7, 1827, MDPI, 2021, doi:10.3390/nano11071827.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10860 |
Ivanov, Grigory. “Tight Frames and Related Geometric Problems.” Canadian Mathematical Bulletin, vol. 64, no. 4, Canadian Mathematical Society, 2021, pp. 942–63, doi:10.4153/s000843952000096x.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 10912 |
Lombardi, Fabrizio, et al. Quantifying the Coexistence of Neuronal Oscillations and Avalanches. arXiv, doi:10.48550/ARXIV.2108.06686.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8931 |
Gelová, Zuzana, et al. “Developmental Roles of Auxin Binding Protein 1 in Arabidopsis Thaliana.” Plant Science, vol. 303, 110750, Elsevier, 2021, doi:10.1016/j.plantsci.2020.110750.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9287 |
Narasimhan, Madhumitha, et al. “Systematic Analysis of Specific and Nonspecific Auxin Effects on Endocytosis and Trafficking.” Plant Physiology, vol. 186, no. 2, Oxford University Press, 2021, pp. 1122–1142, doi:10.1093/plphys/kiab134.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10015 |
Nikonorova, N., et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells, vol. 10, 1665, MDPI, 2021, doi:10.3390/cells10071665.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10223 |
Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H+ Fluxes in Root Growth.” Nature, vol. 599, no. 7884, Springer Nature, 2021, pp. 273–77, doi:10.1038/s41586-021-04037-6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Accepted | Preprint | IST-REx-ID: 10095 |
Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H+-Fluxes in Root Growth.” Research Square, 266395, doi:10.21203/rs.3.rs-266395/v3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Published | Thesis | IST-REx-ID: 10083 |
Li, Lanxin. Rapid Cell Growth Regulation in Arabidopsis. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10083.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9410 |
Lagator, Mato, et al. “Adaptation at Different Points along Antibiotic Concentration Gradients.” Biology Letters, vol. 17, no. 5, 20200913, Royal Society of London, 2021, doi:10.1098/rsbl.2020.0913.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Thesis | IST-REx-ID: 8934 |
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:8934.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 7553 |
Mlynarski, Wiktor F., et al. “Statistical Analysis and Optimality of Neural Systems.” Neuron, vol. 109, no. 7, Cell Press, 2021, p. 1227–1241.e5, doi:10.1016/j.neuron.2021.01.020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 12767 |
Bansal, Suguman, et al. “On Satisficing in Quantitative Games.” 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 12651, Springer Nature, 2021, pp. 20–37, doi:10.1007/978-3-030-72016-2.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Tkadlec, Josef, et al. “Fast and Strong Amplifiers of Natural Selection.” Nature Communications, vol. 12, no. 1, 4009, Springer Nature, 2021, doi:10.1038/s41467-021-24271-w.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9381 |
Kleshnina, Maria, et al. “Mistakes Can Stabilise the Dynamics of Rock-Paper-Scissors Games.” PLoS Computational Biology, vol. 17, no. 4, e1008523, Public Library of Science, 2021, doi:10.1371/journal.pcbi.1008523.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10054 |
Chatterjee, Krishnendu, et al. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” 48th International Colloquium on Automata, Languages, and Programming, vol. 198, 124, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.ICALP.2021.124.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9646 |
Wang, Jinyi, et al. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–86, doi:10.1145/3453483.3454102.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9645 |
Asadi, Ali, et al. “Polynomial Reachability Witnesses via Stellensätze.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–87, doi:10.1145/3453483.3454076.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS