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
T. Hausel, “S-Duality in HyperkäHler Hodge Theory,” 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
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and 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
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
K. Chatterjee and 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
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and 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
G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.
View | DOI
 

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

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

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

2010 | Published | Journal Article | IST-REx-ID: 6198
L. Zhou et al., “Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95,” Nature Medicine, vol. 16, no. 12. Nature Publishing Group, pp. 1439–1443, 2010.
View | DOI | PubMed | Europe PMC
 

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

2010 | Published | Journal Article | IST-REx-ID: 10127 | OA
A. Šarić and A. Cacciuto, “Particle self-assembly on soft elastic shells,” Soft Matter, vol. 7, no. 5. Royal Society of Chemistry (RSC), pp. 1874–1878, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

2010 | Published | Conference Paper | IST-REx-ID: 1042
J. G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, and H. Nägerl, “Production of a quantum gas of rovibronic ground-state molecules in an optical lattice,” presented at the ICOLS: International Conference on Laser Spectroscopy, 2010, pp. 256–269.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1044 | OA
J. G. Danzl et al., “An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice,” Nature Physics, vol. 6, no. 4. Nature Publishing Group, pp. 265–270, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1045 | OA
E. Haller et al., “Confinement-induced resonances in low-dimensional quantum systems,” Physical Review Letters, vol. 104, no. 15. American Physical Society, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1046
M. Gustavsson et al., “Interference of interacting matter waves,” New Journal of Physics, vol. 12. IOP Publishing Ltd., 2010.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed