ISTA Research Explorer

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.

266 Publications

Search / Filter

2009 | Published | Journal Article | IST-REx-ID: 13416

Olson MA, Coskun A, Klajn R, Fang L, Dey SK, Browne KP, Grzybowski BA, Stoddart JF. 2009. Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. 9(9), 3185–3190.

View | DOI | PubMed | Europe PMC

2009 | Published | Journal Article | IST-REx-ID: 13417

Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. 2009. Writing self-erasing images using metastable nanoparticle “inks”. Angewandte Chemie International Edition. 48(38), 7035–7039.

View | DOI | PubMed | Europe PMC

2009 | Published | Journal Article | IST-REx-ID: 13418

Nakanishi H, Bishop KJM, Kowalczyk B, Nitzan A, Weiss EA, Tretiakov KV, Apodaca MM, Klajn R, Stoddart JF, Grzybowski BA. 2009. Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. 460(7253), 371–375.

View | DOI | PubMed | Europe PMC

2009 | Published | Journal Article | IST-REx-ID: 13419

Wesson PJ, Soh S, Klajn R, Bishop KJM, Gray TP, Grzybowski BA. 2009. “Remote” fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. 21(19), 1911–1915.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 13420

Klajn R, Fang L, Coskun A, Olson MA, Wesson PJ, Stoddart JF, Grzybowski BA. 2009. Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. 131(12), 4233–4235.

View | DOI | PubMed | Europe PMC

2009 | Published | Journal Article | IST-REx-ID: 13421

Olson MA, Braunschweig AB, Fang L, Ikeda T, Klajn R, Trabolsi A, Wesson PJ, Benítez D, Mirkin CA, Grzybowski BA, Stoddart JF. 2009. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 48(10), 1792–1797.

View | DOI | PubMed | Europe PMC

2009 | Published | Book Chapter | IST-REx-ID: 164 |

Browning TD, Heath Brown R. 2009.Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in honour of Klaus Roth. , 75–90.

[Preprint] View | Download Preprint (ext.) | arXiv

2009 | Published | Conference Paper | IST-REx-ID: 165

Browning TD. 2009. Resent progress on the quantitative arithmetic of del Pezzo surfaces. Number Theory: Dreaming in dreams, Series on number theory and its application, vol. 6, 1–18.

View | DOI

2009 | Published | Book Chapter | IST-REx-ID: 168

Browning TD, Dietmann R. 2009.Solubility of Fermat equations. In: Quadratic Forms - algebra, arithmetic and geometry. Contemporary Mathematics, vol. 493, 99–106.

View | DOI | Download (ext.)

2009 | Published | Journal Article | IST-REx-ID: 1718

Kutějová E, Briscoe J, Kicheva A. 2009. Temporal dynamics of patterning by morphogen gradients. Current Opinion in Genetics & Development. 19(4), 315–322.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 1720

Wartlick O, Kicheva A, González Gaitán M. 2009. Morphogen gradient formation . Cold Spring Harbor perspectives in biology. 1(3).

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 18726 |

Haiman Z. 2009. Observing the first stars and black holes. Astrophysics and Space Science Proceedings. , Astrophysics and Space Science Proceedings, , 385–418.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2009 | Published | Book Chapter | IST-REx-ID: 18735 |

Haiman Z. 2009.Observing the First Stars and Black Holes. In: Astrophysics in the Next Decade. Astrophysics and Space Science Proceedings, , 385–418.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2009 | Published | Journal Article | IST-REx-ID: 1971

Berrisford J, Sazanov LA. 2009. Structural basis for the mechanism of respiratory complex I. Journal of Biological Chemistry. 284(43), 29773–29783.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 4357

Bollback JP, Huelsenbeck J. 2009. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 181(1), 225–234.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4360

Wies T, Piskac R, Kuncak V. 2009. Combining theories with shared set operations. 7th International Symposium on Frontiers of Combining Systems. FroCoS: Frontiers of Combining Systems, LNCS, vol. 5749, 366–382.

View | DOI

2009 | Published | Thesis | IST-REx-ID: 4363

Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.

View

2009 | Published | Conference Paper | IST-REx-ID: 4365

Seghir M, Podelski A, Wies T. 2009. Abstraction refinement for quantified array assertions. 16th International Symposium on Static Analysis. SAS: Static Analysis Symposium, LNCS, vol. 5673, 3–18.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4375

Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module inference. 21st International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 5643, 493–508.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 4376

Lublinerman R, Chaudhuri S, Cerny P. 2009. Parallel programming with object assemblies. ACM SIGPLAN Notices. 44(10), 61–80.

View | DOI