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
Hausel, T. (2010). S-Duality in HyperkäHler Hodge Theory. In The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016
View | DOI | Download (ext.)
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/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. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 

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. https://doi.org/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. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/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. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/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. (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 (pp. 173–179). Facultas.WUV.
View
 

2010 | Published | Journal Article | IST-REx-ID: 6198
Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M., … Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.2245
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 6320 | OA
Bretèche, R. de la, & Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH. https://doi.org/10.1515/crelle.2010.064
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 10127 | OA
Šarić, A., & Cacciuto, A. (2010). Particle self-assembly on soft elastic shells. Soft Matter. Royal Society of Chemistry (RSC). https://doi.org/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. (2010). Quantum mechanical study of secondary structure formation in protected dipeptides. Physical Chemistry Chemical Physics. Royal Society of Chemistry . https://doi.org/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. (2010). Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/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, J. C., & Cacciuto, A. (2010). Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.104.226101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 1042
Danzl, J. G., 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 (pp. 256–269). Presented at the ICOLS: International Conference on Laser Spectroscopy, World Scientific Publishing. https://doi.org/10.1142/9789814282345_0024
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1044 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Aldegunde, J., … Nägerl, H. (2010). An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. Nature Publishing Group. https://doi.org/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., Danzl, J. G., Reichsöllner, L., Melezhik, V., … Nägerl, H. (2010). Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.153203
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 1046
Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Hart, R., Daley, A., & Nägerl, H. (2010). Interference of interacting matter waves. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/12/6/065029
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed