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.

11732 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 6144
A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 6145
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” Cell Metabolism, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 1983
M. Loose and P. Schwille, “Biomimetic membrane systems to study cellular organization,” Journal of Structural Biology, vol. 168, no. 1. Academic Press, pp. 143–151, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1984
A. Dinarina et al., “Chromatin shapes the mitotic spindle,” Cell, vol. 138, no. 3. Cell Press, pp. 502–513, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2067
B. Vicoso and B. Charlesworth, “Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster,” Genetics, vol. 181, no. 4. Genetics Society of America, pp. 1699–1701, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2068
B. Vicoso and B. Charlesworth, “The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?,” Journal of Molecular Evolution, vol. 68, no. 5. Springer, pp. 576–583, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2069
B. Vicoso and B. Charlesworth, “Effective population size and the faster-X effect: An extended model,” Evolution, vol. 63, no. 9. Wiley-Blackwell, pp. 2413–2426, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2070
B. Vicoso and D. Bachtrog, “Progress and prospects toward our understanding of the evolution of dosage compensation,” Chromosome Research, vol. 17, no. 5. Springer, pp. 585–602, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1038 | OA
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
E. Haller et al., “Realization of an excited, strongly correlated quantum gas Phase,” Science, vol. 325, no. 5945. American Association for the Advancement of Science, pp. 1224–1227, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
J. G. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11. IOP Publishing Ltd., 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
J. G. Danzl et al., “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” Faraday Discussions, vol. 142. Royal Society of Chemistry, pp. 283–295, 2009.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 3197 | OA
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3199
S. Vicente, V. Kolmogorov, and C. Rother, “Joint optimization of segmentation and appearance models,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed