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.
4947 Publications
2019 | Conference Paper | IST-REx-ID: 6493 | 
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6504 |
Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.” New Phytologist, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:10.1111/nph.15932.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6506 |
Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” Nature Microbiology, vol. 4, no. 7, Springer Nature, 2019, pp. 1221–1230, doi:10.1038/s41564-019-0412-y.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6521 |
Maes, Margaret E., et al. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.” Neuroscience Letters, vol. 707, 134310, Elsevier, 2019, doi:10.1016/j.neulet.2019.134310.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC