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.
5769 Publications
2016 | Conference Paper | IST-REx-ID: 1386 |
Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
2015 | Conference Paper | IST-REx-ID: 10748 |
Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.
2015 | Journal Article | IST-REx-ID: 10794 |
Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
[Published Version]
View
| Files available
| DOI
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
2015 | Journal Article | IST-REx-ID: 11079 |
Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects
J. Mertens, A.C.M. Paquola, M. Ku, E. Hatch, L. Böhnke, S. Ladjevardi, S. McGrath, B. Campbell, H. Lee, J.R. Herdy, J.T. Gonçalves, T. Toda, Y. Kim, J. Winkler, J. Yao, M. Hetzer, F.H. Gage, Cell Stem Cell 17 (2015) 705–718.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Mertens, A.C.M. Paquola, M. Ku, E. Hatch, L. Böhnke, S. Ladjevardi, S. McGrath, B. Campbell, H. Lee, J.R. Herdy, J.T. Gonçalves, T. Toda, Y. Kim, J. Winkler, J. Yao, M. Hetzer, F.H. Gage, Cell Stem Cell 17 (2015) 705–718.
2015 | Journal Article | IST-REx-ID: 11077 |
The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing
F.V. Jacinto, C. Benner, M. Hetzer, Genes & Development 29 (2015) 1224–1238.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F.V. Jacinto, C. Benner, M. Hetzer, Genes & Development 29 (2015) 1224–1238.