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.
8915 Publications
2013 | Published | Journal Article | IST-REx-ID: 13406
S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no. 3. Wiley, pp. 422–426, 2013.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 1374 | 
K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 11083
T. M. Franks and M. Hetzer, “The role of Nup98 in transcription regulation in healthy and diseased cells,” Trends in Cell Biology, vol. 23, no. 3. Elsevier, pp. 112–117, 2013.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11084
B. H. Toyama and M. Hetzer, “Protein homeostasis: Live long, won’t prosper,” Nature Reviews Molecular Cell Biology, vol. 14. Springer Nature, pp. 55–61, 2013.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11085 |
E. M. Hatch, A. H. Fischer, T. J. Deerinck, and M. Hetzer, “Catastrophic nuclear envelope collapse in cancer cell micronuclei,” Cell, vol. 154, no. 1. Elsevier, pp. 47–60, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11086 |
Y. Liang, T. M. Franks, M. C. Marchetto, F. H. Gage, and M. Hetzer, “Dynamic association of NUP98 with the human genome,” PLoS Genetics, vol. 9, no. 2. Public Library of Science, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11087 |
B. H. Toyama et al., “Identification of long-lived proteins reveals exceptional stability of essential cellular structures,” Cell, vol. 154, no. 5. Elsevier, pp. 971–982, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11088 |
B. M. Regner et al., “Anomalous diffusion of single particles in cytoplasm,” Biophysical Journal, vol. 104, no. 8. Elsevier, pp. 1652–1660, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 11520 |
D. Sobral et al., “The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS,” The Astrophysical Journal, vol. 779, no. 2. IOP Publishing, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv