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.
550 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
2019 | Journal Article | IST-REx-ID: 6513 |
Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” Nature, vol. 570, Springer Nature, 2019, pp. 107–11, doi:10.1038/s41586-019-1212-5.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6564 |
Tichy, Alexandra-Madelaine, et al. “Engineering Strategy and Vector Library for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.” Journal of Molecular Biology, vol. 431, no. 17, Elsevier, 2019, pp. 3046–55, doi:10.1016/j.jmb.2019.05.033.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6552 |
Cremer, Sylvia. “Social Immunity in Insects.” Current Biology, vol. 29, no. 11, Elsevier, 2019, pp. R458–63, doi:10.1016/j.cub.2019.03.035.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6511 |
Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” Annals of Probability, vol. 47, no. 3, Institute of Mathematical Statistics, 2019, pp. 1270–334, doi:10.1214/18-AOP1284.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6559
Hannezo, Edouard B., and Benjamin D. Simons. “Multiscale Dynamics of Branching Morphogenesis.” Current Opinion in Cell Biology, vol. 60, Elsevier, 2019, pp. 99–105, doi:10.1016/j.ceb.2019.04.008.
View
| DOI
| WoS
| PubMed | Europe PMC