DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
10.1111/j.1558-5646.2010.01019.x,474,NiBa,A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
10.4230/LIPIcs.FSTTCS.2010.1,488,ToHe,Expressiveness of streaming string transducers
10.4204/EPTCS.25.7,489,KrCh,How do we remember the past in randomised strategies?
10.1007/s10703-010-0102-0,533,ToHe,Doomed program points
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
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.1534/genetics.110.123240,3303,NiBa,The rate of fitness-valley crossing in sexual populations
10.1111/j.1365-294X.2009.04497.x,3604,NiBa,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
10.1016/j.neuropharm.2010.05.013,3718,PeJo,P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
null,3719,"ToHe,CaGu",Lumpability abstractions of rule-based systems
10.1371/journal.pgen.1000987,3772,NiBa,Understanding adaptation in large populations
10.1098/rstb.2010.0001,3773,NiBa,What role does natural selection play in speciation?