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