Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4929 Publications
2019 | Conference Paper | IST-REx-ID: 7159
Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7183 | 
Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-030-31784-3_27
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7182 |
Alcântara, A., Bosch, J., Nazari, F., Hoffmann, G., Gallei, M. C., Uhse, S., … Djamei, A. (2019). Systematic Y2H screening reveals extensive effector-complex formation. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2019.01437
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7180 |
Retzer, K., Akhmanova, M., Konstantinova, N., Malínská, K., Leitner, J., Petrášek, J., & Luschnig, C. (2019). Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-13543-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7181 |
Garriga, E., Di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A., … Notredame, C. (2019). Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-019-0333-6
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC