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.

12121 Publications


2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View | DOI | WoS
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
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 | OA
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
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
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 | OA
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 | OA
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: 2071
Mank J, Vicoso B, Berlin S, Charlesworth B. Effective population size and the Faster-X effect: Empirical results and their interpretation. Evolution. 2010;64(3):663-674. doi:10.1111/j.1558-5646.2009.00853.x
View | DOI
 

2010 | Published | Thesis | IST-REx-ID: 2075
Bickel B. Measurement-based modeling and fabrication of deformable materials for human faces. Unknown. 2010;499(7458). doi:dx.doi.org/10.3929/ethz-a-006354908
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 10127 | OA
Šarić A, Cacciuto A. Particle self-assembly on soft elastic shells. Soft Matter. 2010;7(5):1874-1878. doi:10.1039/c0sm01143f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 10128
Šarić A, Hrenar T, Mališ M, Došlić N. Quantum mechanical study of secondary structure formation in protected dipeptides. Physical Chemistry Chemical Physics. 2010;12(18):4678-4685. doi:10.1039/b923041f
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 10390 | OA
Šarić A, Bozorgui B, Cacciuto A. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 2010;115(22):7182-7189. doi:10.1021/jp107545w
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 10391 | OA
Šarić A, Pàmies JC, Cacciuto A. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 2010;104(22). doi:10.1103/physrevlett.104.226101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 1042
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Nägerl H. Production of a quantum gas of rovibronic ground-state molecules in an optical lattice. In: World Scientific Publishing; 2010:256-269. doi:10.1142/9789814282345_0024
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1044 | OA
Danzl JG, Mark M, Haller E, et al. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 2010;6(4):265-270. doi:10.1038/nphys1533
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1045 | OA
Haller E, Mark M, Hart R, et al. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 2010;104(15). doi:10.1103/PhysRevLett.104.153203
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed