_id,doi,title
7739,10.1111/mec.13452,Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
7741,10.1098/rspb.2015.0689,Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
7742,10.1038/ng.3401,Population genetic differentiation of height and body mass index across Europe
776,10.1145/2688500.2688523,The SprayList: A scalable relaxed priority queue
473,10.5802/jep.18,Derivation of nonlinear gibbs measures from many-body quantum mechanics
477,10.1242/jcs.167999,The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
523,10.1016/j.ic.2015.03.010,Looking at mean-payoff and total-payoff through windows
524,10.1016/j.ic.2015.03.009,Qualitative analysis of concurrent mean payoff games
532,10.1016/j.cell.2015.09.037,EIN2-directed translational regulation of ethylene signaling in arabidopsis
5429,10.15479/AT:IST-2015-318-v1-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5430,10.15479/AT:IST-2015-319-v1-1,Faster algorithms for quantitative verification in constant treewidth graphs
5431,10.15479/AT:IST-2015-322-v1-1,The patience of concurrent stochastic games with safety and reachability objectives
5432,10.15479/AT:IST-2015-323-v1-1,The complexity of evolutionary games on graphs
5434,,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
5435,10.15479/AT:IST-2015-318-v2-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5436,10.15479/AT:IST-2015-170-v2-2,Nested weighted automata
5437,10.15479/AT:IST-2015-330-v2-1,Faster algorithms for quantitative verification in constant treewidth graphs
5438,10.15479/AT:IST-2015-334-v1-1,Edit distance for pushdown automata
5439,10.15479/AT:IST-2015-335-v1-1,The target discounted-sum problem
5440,10.15479/AT:IST-2015-323-v2-2,The complexity of evolutionary games on graphs