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, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, 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, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, 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, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, 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, J. Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell Biology, vol. 24, no. 6, Elsevier, 2012, pp. 775–83, doi:10.1016/j.ceb.2012.08.008.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11090 |
Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, 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, Jesse D., et al. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” Nucleus, vol. 3, no. 1, Taylor & Francis, 2012, pp. 88–100, doi:10.4161/nucl.18954.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11092
Savas, Jeffrey N., et al. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science, vol. 335, no. 6071, American Association for the Advancement of Science, 2012, pp. 942–942, doi:10.1126/science.1217421.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 11093 |
D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” Developmental Cell, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, 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, Scott R., and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” Nature, vol. 487, no. 7406, Nature Publishing Group, 2012, pp. 205–09, doi:10.1038/nature11187.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 114 |
Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1E31-1E33.
[Published Version]
View
| Files available
2012 |
Published |
Journal Article |
IST-REx-ID: 10387 |
Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, 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ć, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, 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, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2101
Bac̈Her, Moritz, et al. “Fabricating Articulated Characters from Skinned Meshes.” ACM Transactions on Graphics, vol. 31, no. 4, ACM, 2012, doi:10.1145/2185520.2185543.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2102
Bickel, Bernd, et al. “Physical Face Cloning.” ACM Transactions on Graphics, vol. 31, no. 4, ACM, 2012, doi:10.1145/2185520.2185614.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2103
Beeler, Thabo, et al. “Coupled 3D Reconstruction of Sparse Facial Hair and Skin.” ACM Transactions on Graphics, vol. 31, no. 4, ACM, 2012, doi:10.1145/2185520.2185613.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2104
Otaduy, Miguel, et al. Data-Driven Simulation Methods in Computer Graphics: Cloth, Tissue and Faces. ACM, 2012, doi:10.1145/2343483.2343495.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2105
Skouras, Mélina, et al. Computational Design of Rubber Balloons. Vol. 31, no. 2, Wiley-Blackwell, 2012, pp. 835–44, doi:10.1111/j.1467-8659.2012.03064.x.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2106
Miguel, Eder, et al. Data-Driven Estimation of Cloth Simulation Models. Vol. 31, no. 2, Wiley-Blackwell, 2012, pp. 519–28, doi:10.1111/j.1467-8659.2012.03031.x.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 21104
Mandal, Pradeep K., et al. “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, 2012, pp. 1420–26, doi:10.1107/s1744309112041759.
View
| DOI