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.

384 Publications

2012 | Published | Journal Article | IST-REx-ID: 2128 |

Maas J, Van Neerven J, Portal P. 2012. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 50(2), 379–395.

View | DOI | Download (ext.)

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: 1384 |

Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.

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

2012 | Published | Journal Article | IST-REx-ID: 1471 |

Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.

View | DOI | Download (ext.)

2012 | Published | Journal Article | IST-REx-ID: 1472 |

De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.

View | DOI | Download (ext.)

2012 | Published | Book Chapter | IST-REx-ID: 18737 |

Haiman Z. 2012.The Formation of the First Massive Black Holes. In: The First Galaxies. Astrophysics and Space Science Library, , 293–341.

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

2012 | Published | Journal Article | IST-REx-ID: 1972

Efremov R, Sazanov LA. 2012. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 178(3), 311–318.

View | DOI

2012 | Published | Book Review | IST-REx-ID: 1976

Efremov R, Sazanov LA. 2012. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 1817(10), 1785–1795.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 492 |

Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.

[Published Version] View | Files available | DOI | WoS

2012 | Published | Journal Article | IST-REx-ID: 493 |

Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.

[Published Version] View | Files available | DOI | WoS

2012 | Published | Conference Paper | IST-REx-ID: 495 |

Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.