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.
377 Publications
2012 |
Published |
Conference Paper |
IST-REx-ID: 10904 |
K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10906 |
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 11089
J. S. Gomez-Cavazos and M. Hetzer, “Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins,” Current Opinion in Cell Biology, vol. 24, no. 6. Elsevier, pp. 775–783, 2012.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11090 |
E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” Cell, vol. 149, no. 4. Elsevier, pp. 733–735, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11091
J. D. Vargas, E. M. Hatch, D. J. Anderson, and M. Hetzer, “Transient nuclear envelope rupturing during interphase in human cancer cells,” Nucleus, vol. 3, no. 1. Taylor & Francis, pp. 88–100, 2012.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11092
J. N. Savas, B. H. Toyama, T. Xu, J. R. Yates, and M. Hetzer, “Extremely long-lived nuclear pore proteins in the rat brain,” Science, vol. 335, no. 6071. American Association for the Advancement of Science, pp. 942–942, 2012.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11093 |
M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer, “A change in nuclear pore complex composition regulates cell differentiation,” Developmental Cell, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 114 |
S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012.
[Published Version]
View
| Files available
2012 |
Published |
Journal Article |
IST-REx-ID: 10387 |
A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 10388 |
A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 21104
P. K. Mandal, S. Venkadesh, and N. Gautham, “Interactions of Mn2+ with a non-self-complementary Z-type DNA duplex,” Acta Crystallographica Section F Structural Biology Communications, vol. 68, no. 12. International Union of Crystallography, pp. 1420–1426, 2012.
View
| DOI