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.
289 Publications
2010 |
Published |
Technical Report |
IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Book Chapter |
IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:10.1007/978-3-642-13675-7_1
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |
Published |
Book Chapter |
IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. “This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In: Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien. Facultas.WUV; 2010:173-179.
View
2010 |
Published |
Journal Article |
IST-REx-ID: 6198
Zhou L, Li F, Xu H, et al. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 2010;16(12):1439-1443. doi:10.1038/nm.2245
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View
| DOI
| Download (ext.)
2010 |
Published |
Book Chapter |
IST-REx-ID: 1468 |
Hausel T. S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press; 2010. doi: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. Adaptive Methods in BCI Research - An Introductory Tutorial. In: Graimann B, Pfurtscheller G, Allison B, eds. Brain-Computer Interfaces. 1st ed. FRONTCOLL. Berlin, Heidelberg: Springer; 2010:331-355. doi:10.1007/978-3-642-02091-9_18
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 13409 |
Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 2010;82(12):2247-2279. doi: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 PJ, Klajn R, et al. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 2010;132(12):4310-4320. doi:10.1021/ja9102327
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. Nanoparticles that “remember” temperature. Small. 2010;6(13):1385-1387. doi:10.1002/smll.200902272
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 2010;39(6):2203-2237. doi:10.1039/b920377j
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 901
Breen M, Kondrashov F. Mitochondrial pathogenic mutations are population-specific. Biology Direct. 2010;5. doi:10.1186/1745-6150-5-68
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 9012 |
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 2010;104(13). doi:10.1103/physrevlett.104.138302
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 9013 |
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 2010;105(8). doi:10.1103/physrevlett.105.088304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv