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
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

earlier version | 2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Probabilistic automata on infinite words: Decidability and undecidability results
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
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, 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
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, 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
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, 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
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View | DOI | Download None (ext.)
 

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

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

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
 

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
 

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
 

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
 

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
 

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
 

2009 | Published | Journal Article | IST-REx-ID: 1038 | OA
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
 

2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
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
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
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
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
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
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3199
Joint optimization of segmentation and appearance models
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed