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.

8924 Publications


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

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

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

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version] View | Files available | DOI
 

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

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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

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

2010 | Published | Journal Article | IST-REx-ID: 6320 | OA
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

2010 | Published | Conference Paper | IST-REx-ID: 1042
Production of a quantum gas of rovibronic ground-state molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, H. Nägerl, in:, World Scientific Publishing, 2010, pp. 256–269.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1044 | OA
An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J. Aldegunde, J. Hutson, H. Nägerl, Nature Physics 6 (2010) 265–270.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1045 | OA
Confinement-induced resonances in low-dimensional quantum systems
E. Haller, M. Mark, R. Hart, J.G. Danzl, L. Reichsöllner, V. Melezhik, P. Schmelcher, H. Nägerl, Physical Review Letters 104 (2010).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1046
Interference of interacting matter waves
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1047 | OA
Inducing transport in a dissipation-free lattice with super bloch oscillations
E. Haller, R. Hart, M. Mark, J.G. Danzl, L. Reichsöllner, H. Nägerl, Physical Review Letters 104 (2010).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed