_id,doi,title
488,10.4230/LIPIcs.FSTTCS.2010.1,Expressiveness of streaming string transducers
489,10.4204/EPTCS.25.7,How do we remember the past in randomised strategies? 
533,10.1007/s10703-010-0102-0,Doomed program points
5388,10.15479/AT:IST-2010-0004,Quantitative synthesis for concurrent programs
5389,10.15479/AT:IST-2010-0003,Simulation distances
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
5391,10.15479/AT:IST-2010-0001,Model checking of linearizability of concurrent list implementations
14983,10.1007/978-3-642-02091-9_18,Adaptive Methods in BCI Research - An Introductory Tutorial
9764,10.1371/journal.pbio.1000429.s003,Heterosis and the drift load
3498,10.1007/s00167-010-1227-9,Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
3604,10.1111/j.1365-294X.2009.04497.x,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3718,10.1016/j.neuropharm.2010.05.013,P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
3719,,Lumpability abstractions of rule-based systems
3772,10.1371/journal.pgen.1000987,Understanding adaptation in large populations
3773,10.1098/rstb.2010.0001,What role does natural selection play in speciation?
3774,10.1111/j.1365-2656.2009.01633.x,Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)
3776,10.1098/rstb.2010.0106,Genetic linkage and natural selection
3777,10.1098/rstb.2009.0320,Mutation and the evolution of recombination
3779,10.1371/journal.pbio.1000429,Cryptic variation between species and the basis of hybrid performance
3782,10.1007/978-3-642-18421-5_4,Topology noise removal for curve  and surface evolution