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.

11937 Publications


2010 | Published | Journal Article | IST-REx-ID: 13409 | OA
Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. De Gruyter. https://doi.org/10.1351/pac-con-10-09-04
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 13410
Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A., … Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja9102327
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13411
Klajn, R., Browne, K. P., Soh, S., & Grzybowski, B. A. (2010). Nanoparticles that “remember” temperature. Small. Wiley. https://doi.org/10.1002/smll.200902272
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13412
Klajn, R., Stoddart, J. F., & Grzybowski, B. A. (2010). Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/b920377j
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. Springer. https://doi.org/10.1007/s00222-010-0241-3
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. Elsevier. https://doi.org/10.1016/j.crma.2010.01.025
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. Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016
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 B. Graimann, G. Pfurtscheller, & B. Allison (Eds.), Brain-Computer Interfaces (1st ed., pp. 331–355). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-02091-9_18
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1970
Efremov, R., Baradaran, R., & Sazanov, L. A. (2010). The architecture of respiratory complex I. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09066
View | DOI
 

2010 | Published | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski, P., & Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter. https://doi.org/10.1515/9783110232103
[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., … Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evq031
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4362
Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer. https://doi.org/10.1007/978-3-642-16612-9_32
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4364
Podelski, A., & Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1707801.1706330
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
[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. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
[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. Springer. https://doi.org/10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed