_id,doi,title
7699,10.1016/j.conb.2014.06.006,Harnessing vocal patterns for social communication
770,10.1145/2592798.2592808,StackTrack: An automated transactional approach to concurrent memory reclamation
771,10.1145/2611462.2611499,Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems
772,10.1145/2591796.2591836,Are lock-free concurrent algorithms practically wait-free?
773,10.1007/978-3-662-45174-8_5,Communication-efficient randomized consensus
774,10.1145/2611462.2611502,Brief announcement: Are lock-free concurrent algorithms practically wait-free?
7743,10.1002/9781118912591.ch6,Influence of the environment on the genetic architecture of traits involved in sexual selection within wild populations
7744,10.1016/j.tig.2014.02.003,Explaining additional genetic variation in complex traits
775,10.1109/ICDCS.2014.43,"The levelarray: A fast, practical long-lived renaming algorithm"
468,10.1371/journal.pone.0107518,Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
475,10.4204/EPTCS.146.11,First cycle games
535,10.1007/s00453-013-9843-7,Polynomial-time algorithms for energy games with special weight structures
537,10.1002/ece3.1150,Fitness consequences of maternal and grandmaternal effects
5411,10.15479/AT:IST-2014-148-v2-1,Compositional specifications for IOCO testing
5412,10.15479/AT:IST-2014-153-v1-1,CEGAR for qualitative analysis of probabilistic systems
5413,10.15479/AT:IST-2014-153-v2-2,CEGAR for qualitative analysis of probabilistic systems
5414,10.15479/AT:IST-2014-153-v3-1,CEGAR for qualitative analysis of probabilistic systems
5415,10.15479/AT:IST-2014-170-v1-1,Nested weighted automata
5416,10.15479/AT:IST-2014-171-v1-1,Model measuring for hybrid systems
5417,10.15479/AT:IST-2014-172-v1-1,From model checking to model measuring