DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2010-0002,5390,KrCh,"Topological, automata-theoretic and logical characterization of finitary languages"
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
10.1126/science.1186366,9452,DaZi,Genome-wide evolutionary analysis of eukaryotic DNA methylation
10.1073/pnas.1009695107,9485,DaZi,Local DNA hypomethylation activates genes in rice endosperm
10.1016/j.cub.2010.07.007,9489,DaZi,Evolution of eukaryotic DNA methylation and the pursuit of safer sex
10.1371/journal.pbio.1000429.s003,9764,NiBa,Heterosis and the drift load
10.1101/sqb.2009.74.030,3675,NiBa,Why sex and recombination? 
10.1016/j.jtbi.2009.03.019,3775,NiBa,On the application of statistical physics to evolutionary biology
10.1111/j.1420-9101.2009.01770.x,3780,NiBa,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
10.1145/1629335.1629346,3837,ToHe,On relational interfaces
10.1007/978-3-642-04420-5_2,3841,ToHe,Formalisms for specifying Markovian population models
10.1109/HiBi.2009.23,3843,"ToHe,CaGu",Fast adaptive uniformization of the chemical master equation
10.1109/RTSS.2009.9,3844,ToHe,"Distributed, modular HTL"
10.1145/1614431.1614432,3870,KrCh,Finitary winning in omega-regular games
10.1007/978-3-642-04081-8_17,3871,KrCh,Probabilistic weighted automata
10.1007/978-3-642-10470-1_4,3968,HeEd,The persistent Morse complex segmentation of a 3-manifold
10.1086/605958,4136,NiBa,Species' range: Adaptation in space and time
10.1534/genetics.108.099309,4231,NiBa,Statistical mechanics and the evolution of polygenic quantitative traits
10.1111/j.1558-5646.2009.00622.x,4242,NiBa,The evolution of strong reproductive isolation
10.1007/978-3-642-03409-1_2,4542,KrCh,Alternating weighted automata