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.

12104 Publications


2010 | Published | Journal Article | IST-REx-ID: 13410
Coskun A, Wesson PJ, Klajn R, Trabolsi A, Fang L, Olson MA, Dey SK, Grzybowski BA, Stoddart JF. 2010. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 132(12), 4310–4320.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. 2010. Nanoparticles that “remember” temperature. Small. 6(13), 1385–1387.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. 2010. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 39(6), 2203–2237.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 1465 | OA
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1466 | OA
Hausel T, Letellier E, Rodríguez Villegas F. 2010. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 348(3–4), 131–135.
View | DOI | Download (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 1468 | OA
Hausel T. 2010.S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. .
View | DOI | Download (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl A, Vidaurre C, Müller K-R. 2010.Adaptive Methods in BCI Research - An Introductory Tutorial. In: Brain-Computer Interfaces. The Frontiers Collection, , 331–355.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1970
Efremov R, Baradaran R, Sazanov LA. 2010. The architecture of respiratory complex I. Nature. 465(7297), 441–445.
View | DOI
 

2010 | Published | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4362
Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4364
Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed