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 M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019: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 N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6504 |
Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism. New Phytologist. 2019;224(2):761-774. 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 L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 2019;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6521 |
Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 2019;707. 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 J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem cells. Nature. 2019;570:107-111. 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 A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. 2019;431(17):3046-3055. doi:10.1016/j.jmb.2019.05.033
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6552 |
Cremer S. Social immunity in insects. Current Biology. 2019;29(11):R458-R463. 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 Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. Annals of Probability. 2019;47(3):1270-1334. doi:10.1214/18-AOP1284
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6559
Hannezo EB, Simons BD. Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology. 2019;60:99-105. doi:10.1016/j.ceb.2019.04.008
View
| DOI
| WoS
| PubMed | Europe PMC