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 | OA
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 11089
Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11090 | OA
Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11091
Vargas JD, Hatch EM, Anderson DJ, Hetzer M. 2012. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11092
Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. 2012. Extremely long-lived nuclear pore proteins in the rat brain. Science. 335(6071), 942–942.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11093 | OA
D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 113
Waitukaitis SR, Jaeger H. 2012. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 487(7406), 205–209.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.
[Published Version] View | Files available
 

2012 | Published | Journal Article | IST-REx-ID: 10387 | OA
Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 10388 | OA
Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 1055
Erne B, Graff M, Klemm W, Danzl JG, Leschber G. 2012. Bulla in the lung. The Lancet. 380(9849).
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2101
Bac̈Her M, Bickel B, James D, Pfister H. 2012. Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics. 31(4).
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2102
Bickel B, Kaufmann P, Skouras M, Thomaszewski B, Bradley D, Beeler T, Jackson P, Marschner S, Matusik W, Groß M. 2012. Physical face cloning. ACM Transactions on Graphics. 31(4).
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2103
Beeler T, Bickel B, Noris G, Beardsley P, Marschner S, Sumner R, Groß M. 2012. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 31(4).
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2104
Otaduy M, Bickel B, Bradley D, Wang H. 2012. Data-driven simulation methods in computer graphics: Cloth, tissue and faces. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2105
Skouras M, Thomaszewski B, Bickel B, Groß M. 2012. Computational design of rubber balloons. EUROGRAPHICS: European Association for Computer Graphics vol. 31, 835–844.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2106
Miguel E, Bradley D, Thomaszewski B, Bickel B, Matusik W, Otaduy M, Marschner S. 2012. Data-driven estimation of cloth simulation models. Computer Graphics Forum vol. 31, 519–528.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 21104
Mandal PK, Venkadesh S, Gautham N. 2012. Interactions of Mn2+ with a non-self-complementary Z-type DNA duplex. Acta Crystallographica Section F Structural Biology Communications. 68(12), 1420–1426.
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed