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.

12223 Publications


2010 | Published | Journal Article | IST-REx-ID: 474
Barton NH, Kelleher J, Etheridge A. 2010. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 64(9), 2701–2715.
View | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
[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. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.
View | DOI | WoS
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
[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. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
[Published Version] View | Files available | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. , 1–17.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
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. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Book Chapter | IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. 2010.“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. , 173–179.
View
 

2010 | Published | Journal Article | IST-REx-ID: 6198
Zhou L, Li F, Xu H, Luo C, Wu H, Zhu M, Lu W, Ji X, Zhou Q, Zhu D. 2010. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 16(12), 1439–1443.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 2071
Mank J, Vicoso B, Berlin S, Charlesworth B. 2010. Effective population size and the Faster-X effect: Empirical results and their interpretation. Evolution. 64(3), 663–674.
View | DOI
 

2010 | Published | Thesis | IST-REx-ID: 2075
Bickel B. 2010. Measurement-based modeling and fabrication of deformable materials for human faces. Unknown.
View | DOI
 

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

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

2010 | Published | Journal Article | IST-REx-ID: 10390 | OA
Šarić A, Bozorgui B, Cacciuto A. 2010. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 115(22), 7182–7189.
[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. 2010. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 104(22), 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. 2010. Production of a quantum gas of rovibronic ground-state molecules in an optical lattice. ICOLS: International Conference on Laser Spectroscopy, 256–269.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed