DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-03409-1_2,4542,KrCh,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,KrCh,Stochastic games with finitary objectives
10.1137/1.9781611973068.23,4544,,Termination criteria for solving concurrent safety and reachability games
10.1007/978-3-642-02930-1_1,4545,KrCh,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,KrCh,Better quality in synthesis through quantitative objectives
10.1007/978-3-642-00768-2_7,4580,,Alpaga: A tool for solving parity games with imperfect information
10.15479/AT:IST-2009-0004,5392,KrCh,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,"KrCh,ToHe",Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,"KrCh,ToHe",Qualitative analysis of partially-observable Markov decision processes
10.1101/gad.1767009,599,,The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
10.1038/nature07820,6144,,Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
10.1016/j.cmet.2009.02.003,6145,,Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling
10.1016/j.jsb.2009.03.016,1983,,Biomimetic membrane systems to study cellular organization
10.1016/j.cell.2009.05.027,1984,,Chromatin shapes the mitotic spindle
10.1534/genetics.108.098004,2067,,Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster
10.1007/s00239-009-9235-4,2068,,The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?
10.1111/j.1558-5646.2009.00719.x,2069,,Effective population size and the faster-X effect: An extended model
10.1007/s10577-009-9053-y,2070,,Progress and prospects toward our understanding of the evolution of dosage compensation
10.1007/s00340-009-3407-1,1038,,Dark resonances for ground-state transfer of molecular quantum gases