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
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

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

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

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

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

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

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

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

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

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

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

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

2012 | Published | Conference Paper | IST-REx-ID: 2104
Data-driven simulation methods in computer graphics: Cloth, tissue and faces
M. Otaduy, B. Bickel, D. Bradley, H. Wang, in:, ACM, 2012.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2105
Computational design of rubber balloons
M. Skouras, B. Thomaszewski, B. Bickel, M. Groß, in:, Wiley-Blackwell, 2012, pp. 835–844.
View | DOI
 

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

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

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed