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.
5767 Publications
2019 | Conference Paper | IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6504 |
Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019. Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2), 761–774.
[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, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6521 |
Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707, 134310.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6513 |
Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC