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.
7115 Publications
2010 | Published | Technical Report | IST-REx-ID: 5388 | 
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
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 | Published | Technical Report | IST-REx-ID: 5391 |
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
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Published | Book Chapter | IST-REx-ID: 14983
Adaptive Methods in BCI Research - An Introductory Tutorial
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
View
| DOI
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
2009 | Published | Journal Article | IST-REx-ID: 1038 |
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
2009 | Published | Journal Article | IST-REx-ID: 1040 |
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View
| DOI
| Download None (ext.)
| arXiv
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
2009 | Published | Journal Article | IST-REx-ID: 1041 |
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1043 |
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
2009 | Published | Journal Article | IST-REx-ID: 1971
Structural basis for the mechanism of respiratory complex I
J. Berrisford, L.A. Sazanov, Journal of Biological Chemistry 284 (2009) 29773–29783.
View
| DOI
J. Berrisford, L.A. Sazanov, Journal of Biological Chemistry 284 (2009) 29773–29783.
2009 | Published | Journal Article | IST-REx-ID: 1983
Biomimetic membrane systems to study cellular organization
M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.
View
| DOI
M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.
2009 | Published | Journal Article | IST-REx-ID: 1984
Chromatin shapes the mitotic spindle
A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.
View
| DOI
A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.
2009 | Published | Journal Article | IST-REx-ID: 2067
Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster
B. Vicoso, B. Charlesworth, Genetics 181 (2009) 1699–1701.
View
| DOI
B. Vicoso, B. Charlesworth, Genetics 181 (2009) 1699–1701.
2009 | Published | Journal Article | IST-REx-ID: 2068
The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?
B. Vicoso, B. Charlesworth, Journal of Molecular Evolution 68 (2009) 576–583.
View
| DOI
B. Vicoso, B. Charlesworth, Journal of Molecular Evolution 68 (2009) 576–583.
2009 | Published | Journal Article | IST-REx-ID: 2069
Effective population size and the faster-X effect: An extended model
B. Vicoso, B. Charlesworth, Evolution 63 (2009) 2413–2426.
View
| DOI
B. Vicoso, B. Charlesworth, Evolution 63 (2009) 2413–2426.
2009 | Published | Journal Article | IST-REx-ID: 2070
Progress and prospects toward our understanding of the evolution of dosage compensation
B. Vicoso, D. Bachtrog, Chromosome Research 17 (2009) 585–602.
View
| DOI
B. Vicoso, D. Bachtrog, Chromosome Research 17 (2009) 585–602.
2009 | Published | Conference Paper | IST-REx-ID: 2094
Capture and modeling of non-linear heterogeneous soft tissue
B. Bickel, M. Bac̈Her, M. Otaduy, W. Matusik, H. Pfister, M. Groß, in:, ACM, 2009.
View
| DOI
B. Bickel, M. Bac̈Her, M. Otaduy, W. Matusik, H. Pfister, M. Groß, in:, ACM, 2009.
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
2009 | Published | Conference Paper | IST-REx-ID: 2136
Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data
R. Vedrinskiǐ, V. Kraǐzman, M. Lemeshko, E. Nazarenko, A. Novakovich, L. Reznichenko, V. Fokin, V. Shuvaeva, in:, Springer, 2009, pp. 1394–1398.
View
| DOI
R. Vedrinskiǐ, V. Kraǐzman, M. Lemeshko, E. Nazarenko, A. Novakovich, L. Reznichenko, V. Fokin, V. Shuvaeva, in:, Springer, 2009, pp. 1394–1398.
2009 | Published | Journal Article | IST-REx-ID: 2137 |
Rotational structure of weakly bound molecular ions
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
View
| DOI
| Download (ext.)
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
2009 | Published | Journal Article | IST-REx-ID: 2149 |
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).