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.
371 Publications
2012 | Published | Journal Article | IST-REx-ID: 13407
Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 134(48), 19564–19567.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 13408
Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 8(5), 654–660.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 | 
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 |
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 |
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: 114 |
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 | Conference Paper | IST-REx-ID: 11656
Dütting P, Henzinger M, Weber I. 2012. Maximizing revenue from strategic recommendations under decaying trust. Proceedings of the 21st ACM international conference on Information and knowledge management. CIKM: Conference on Information and Knowledge Management, 2268–2286.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 11794 |
Dütting P, Henzinger M, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi R, Henzinger M, Leonardi S, Starnberger M. 2012. On multiple keyword sponsored search auctions with budgets. 39th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7392, 1–12.
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 11963
Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. 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. Chemistry - A European Journal. 18(20), 6124–6128.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11964
Pieber B, Cantillo D, Kappe CO. 2012. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 18(16), 5047–5055.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 171 |
Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65.
View
| DOI
| Download (ext.)