Asadi, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.”10.1007/978-3-030-59152-6_14__Automated Technology for Verification and Analysis, vol. 12302, Springer Nature, 2020, pp. 253–70, doi:10.1007/978-3-030-59152-6_14.
LibreCat: https://research-explorer.ista.ac.at/record/8728
DOI: 10.1007/978-3-030-59152-6_14
WoS: 000723555700014

Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.”10.1145/3385412.3385969__Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
LibreCat: https://research-explorer.ista.ac.at/record/8089
DOI: 10.1145/3385412.3385969
WoS: 000614622300045
arXiv: 1902.04373

Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.”10.1016/j.ress.2019.106665__Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, doi:10.1016/j.ress.2019.106665.
LibreCat: https://research-explorer.ista.ac.at/record/6918
DOI: 10.1016/j.ress.2019.106665
WoS: 000501641400050
arXiv: 1712.09692

Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.”10.1007/s10957-019-01616-6__Journal of Optimization Theory and Applications, vol. 184, Springer Nature, 2020, pp. 877–894, doi:10.1007/s10957-019-01616-6.
LibreCat: https://research-explorer.ista.ac.at/record/7161
DOI: 10.1007/s10957-019-01616-6
WoS: 000511805200009

Tomanek, Isabella, et al. “Gene Amplification as a Form of Population-Level Gene Expression Regulation.”10.1038/s41559-020-1132-7__Nature Ecology &; Evolution, vol. 4, no. 4, Springer Nature, 2020, pp. 612–25, doi:10.1038/s41559-020-1132-7.
LibreCat: https://research-explorer.ista.ac.at/record/7652
DOI: 10.1038/s41559-020-1132-7
WoS: 000519008300005

Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 10.15479/AT:ISTA:7258

Tomanek, Isabella. The Evolution of Gene Expression by Copy Number and Point Mutations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8653.
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 10.15479/AT:ISTA:8653

Tan, Shutang, et al. “Salicylic Acid Targets Protein Phosphatase 2A to Attenuate Growth in Plants.”10.1016/j.cub.2019.11.058__Current Biology, vol. 30, no. 3, Cell Press, 2020, p. 381–395.e8, doi:10.1016/j.cub.2019.11.058.
LibreCat: https://research-explorer.ista.ac.at/record/7427
DOI: 10.1016/j.cub.2019.11.058
WoS: 000511287900018
PMID: 31956021

Mazur, E., et al. “Auxin Canalization and Vascular Tissue Formation by TI/AFB-Mediated Auxin Signaling in Arabidopsis.”10.1111/nph.16446__New Phytologist, vol. 226, no. 5, Wiley, 2020, pp. 1375–83, doi:10.1111/nph.16446.
LibreCat: https://research-explorer.ista.ac.at/record/7500
DOI: 10.1111/nph.16446
WoS: 000514939700001
PMID: 31971254

Hajny, Jakub. Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8822.
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 10.15479/AT:ISTA:8822