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. 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