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 |
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10906 |
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 11089
Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783. doi:10.1016/j.ceb.2012.08.008
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11090 |
Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018
[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. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11092
Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11093 |
D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 113
Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 114 |
Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1E31-1E33.
[Published Version]
View
| Files available
2012 |
Published |
Journal Article |
IST-REx-ID: 10387 |
Šarić A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 10388 |
Šarić A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.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. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2101
Bac̈Her M, Bickel B, James D, Pfister H. Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185543
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2102
Bickel B, Kaufmann P, Skouras M, et al. Physical face cloning. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185614
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2103
Beeler T, Bickel B, Noris G, et al. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185613
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2104
Otaduy M, Bickel B, Bradley D, Wang H. Data-driven simulation methods in computer graphics: Cloth, tissue and faces. In: ACM; 2012. doi:10.1145/2343483.2343495
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2105
Skouras M, Thomaszewski B, Bickel B, Groß M. Computational design of rubber balloons. In: Vol 31. Wiley-Blackwell; 2012:835-844. doi:10.1111/j.1467-8659.2012.03064.x
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2106
Miguel E, Bradley D, Thomaszewski B, et al. Data-driven estimation of cloth simulation models. In: Vol 31. Wiley-Blackwell; 2012:519-528. doi:10.1111/j.1467-8659.2012.03031.x
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 21104
Mandal PK, Venkadesh S, Gautham N. Interactions of Mn2+ with a non-self-complementary Z-type DNA duplex. Acta Crystallographica Section F Structural Biology Communications. 2012;68(12):1420-1426. doi:10.1107/s1744309112041759
View
| DOI