_id,doi,title
4389,10.1109/ACSD.2010.26,Robustness of sequential circuits
4390,10.1007/978-3-642-14295-6_41,Model checking of linearizability of concurrent list implementations
4392,10.1007/978-3-642-13754-9_3,Quantitative Simulation Games
4393,10.1007/978-3-642-15375-4_18,Simulation distances
4396,10.1007/978-3-642-12029-9_19,Shape refinement through explicit heap analysis
4569,10.1007/978-3-642-02658-4_14,Better quality in synthesis through quantitative objectives
5392,10.15479/AT:IST-2009-0004,Probabilistic automata on infinite words: Decidability and undecidability results
5393,10.15479/AT:IST-2009-0003,Gist: A solver for probabilistic games
5394,10.15479/AT:IST-2009-0002,Improved lower bounds for request-response and finitary Streett games
5395,10.15479/AT:IST-2009-0001,Qualitative analysis of partially-observable Markov decision processes
9453,10.1126/science.1172417,Genome-wide demethylation of Arabidopsis endosperm
3675,10.1101/sqb.2009.74.030,Why sex and recombination? 
3775,10.1016/j.jtbi.2009.03.019,On the application of statistical physics to evolutionary biology
3780,10.1111/j.1420-9101.2009.01770.x,The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
3837,10.1145/1629335.1629346,On relational interfaces
3841,10.1007/978-3-642-04420-5_2,Formalisms for specifying Markovian population models
3843,10.1109/HiBi.2009.23,Fast adaptive uniformization of the chemical master equation
3844,10.1109/RTSS.2009.9,"Distributed, modular HTL"
3870,10.1145/1614431.1614432,Finitary winning in omega-regular games
3871,10.1007/978-3-642-04081-8_17,Probabilistic weighted automata