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
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version] View | Files available | DOI
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel, M., Meyer, K., Bernecky, C., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature07820
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 6145
Cohen, M., Reale, V., Olofsson, B., Knights, A., Evans, P., & de Bono, M. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2009.02.003
View | DOI | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 1983
Loose, M., & Schwille, P. (2009). Biomimetic membrane systems to study cellular organization. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2009.03.016
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1984
Dinarina, A., Pugieux, C., Corral, M., Loose, M., Spatz, J., Karsenti, É., & Nédélec, F. (2009). Chromatin shapes the mitotic spindle. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.05.027
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2067
Vicoso, B., & Charlesworth, B. (2009). Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.098004
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2068
Vicoso, B., & Charlesworth, B. (2009). The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-009-9235-4
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2069
Vicoso, B., & Charlesworth, B. (2009). Effective population size and the faster-X effect: An extended model. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2009.00719.x
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2070
Vicoso, B., & Bachtrog, D. (2009). Progress and prospects toward our understanding of the evolution of dosage compensation. Chromosome Research. Springer. https://doi.org/10.1007/s10577-009-9053-y
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1038 | OA
Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., & Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1175850
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3199
Vicente, S., Kolmogorov, V., & Rother, C. (2009). Joint optimization of segmentation and appearance models (pp. 755–762). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed