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
2016 | Journal Article | IST-REx-ID: 1321 | 
Leithner, A. F., Eichner, A., Müller, J., Reversat, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1100 |
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1437 |
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 10748 |
Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., & Budakian, R. (2015). Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In APS March Meeting 2015 (Vol. 60). San Antonio, TX, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise, F., Lygeros, J., & Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers. https://doi.org/10.3389/fenvs.2015.00042
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 11079 |
Mertens, J., Paquola, A. C. M., Ku, M., Hatch, E., Böhnke, L., Ladjevardi, S., … Gage, F. H. (2015). Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. Elsevier. https://doi.org/10.1016/j.stem.2015.09.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 11077 |
Jacinto, F. V., Benner, C., & Hetzer, M. (2015). The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.260919.115
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 11078 |
Ori, A., Toyama, B. H., Harris, M. S., Bock, T., Iskar, M., Bork, P., … Beck, M. (2015). Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. Elsevier. https://doi.org/10.1016/j.cels.2015.08.012
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 11076 |
Ibarra, A., & Hetzer, M. (2015). Nuclear pore proteins and the control of genome functions. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.256495.114
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC