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.

8924 Publications


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 | Conference Paper | IST-REx-ID: 11656
Maximizing revenue from strategic recommendations under decaying trust
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint] View | DOI | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Auctions with heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 11963
Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats
G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11964
Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry
B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 2073
Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans
Q. Zhou, H. Zhu, Q. Huang, L. Zhao, G. Zhang, S. Roy, B. Vicoso, Z. Xuan, J. Ruan, Y. Zhang, R. Zhao, C. Ye, X. Zhang, J. Wang, W. Wang, D. Bachtrog, BMC Genomics 13 (2012).
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2079
crdbrd: Shape fabrication by sliding planar slices
K. Hildebrand, B. Bickel, M. Alexa, Computer Graphics Forum 31 (2012) 583–592.
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
 

Search

Filter Publications

Display / Sort

Export / Embed