Shape expressions for specifying and extracting signal features
D. Nidkovi, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
LibreCat: https://research-explorer.ista.ac.at/record/7159
DOI: 10.1007/978-3-030-32079-9_17
WoS: 000570006300017

Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
LibreCat: https://research-explorer.ista.ac.at/record/7183
DOI: 10.1007/978-3-030-31784-3_27
WoS: 000723515700027
arXiv: 1907.11010

Systematic H screening reveals extensive effector-complex formation
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7182
DOI: 10.3389/fpls.2019.01437
WoS: 000499821700001
PMID: 31803201

Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrásek, C. Luschnig, Nature Communications 10 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7180
DOI: 10.1038/s41467-019-13543-1
WoS: 000500508100001
PMID: 31797871

Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
LibreCat: https://research-explorer.ista.ac.at/record/7181
DOI: 10.1038/s41587-019-0333-6
WoS: 000500748900021
PMID: 31792410