Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.”https://doi.org/10.1007/978-3-030-25540-4_16__In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019.https://doi.org/10.1007/978-3-030-25540-4_16 .
LibreCat: https://research-explorer.ista.ac.at/record/6493
DOI: 10.1007/978-3-030-25540-4_16
WoS: 000491468000016

Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels for Programming via Communicating Sequential Processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. ACM Press, 2019.https://doi.org/10.1145/3293883.3297000 .
LibreCat: https://research-explorer.ista.ac.at/record/6485
DOI: 10.1145/3293883.3297000
WoS: 000587604600044

Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jií Friml, and G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.”https://doi.org/10.1111/nph.15932__New Phytologist. Wiley, 2019.https://doi.org/10.1111/nph.15932 .
LibreCat: https://research-explorer.ista.ac.at/record/6504
DOI: 10.1111/nph.15932
WoS: 000487184200024
PMID: 31111487

Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.”https://doi.org/10.1038/s41564-019-0412-y__Nature Microbiology. Springer Nature, 2019.https://doi.org/10.1038/s41564-019-0412-y .
LibreCat: https://research-explorer.ista.ac.at/record/6506
DOI: 10.1038/s41564-019-0412-y
WoS: 000480348200017

Maes, Margaret E, Gloria Colombo, Rouven Schulz, and Sandra Siegert. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.”https://doi.org/10.1016/j.neulet.2019.134310__Neuroscience Letters. Elsevier, 2019.https://doi.org/10.1016/j.neulet.2019.134310 .
LibreCat: https://research-explorer.ista.ac.at/record/6521
DOI: 10.1016/j.neulet.2019.134310
WoS: 000486094600037
PMID: 31158432