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.
5660 Publications
2016 | Conference Paper | IST-REx-ID: 1437 |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
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.
2015 | Journal Article | IST-REx-ID: 11078 |
Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats
A. Ori, B.H. Toyama, M.S. Harris, T. Bock, M. Iskar, P. Bork, N.T. Ingolia, M. Hetzer, M. Beck, Cell Systems 1 (2015) P224-237.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ori, B.H. Toyama, M.S. Harris, T. Bock, M. Iskar, P. Bork, N.T. Ingolia, M. Hetzer, M. Beck, Cell Systems 1 (2015) P224-237.
2015 | Journal Article | IST-REx-ID: 11076 |
Nuclear pore proteins and the control of genome functions
A. Ibarra, M. Hetzer, Genes & Development 29 (2015) 337–349.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ibarra, M. Hetzer, Genes & Development 29 (2015) 337–349.
2015 | Journal Article | IST-REx-ID: 11073 |
Linking micronuclei to chromosome fragmentation
E.M. Hatch, M. Hetzer, Cell 161 (2015) 1502–1504.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Cell 161 (2015) 1502–1504.
2015 | Journal Article | IST-REx-ID: 11074 |
Chromothripsis
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) PR397-R399.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) PR397-R399.