_id,doi,title
6740,10.1109/allerton.2014.7028535,How to achieve the capacity of asymmetric channels
7038,,Playful Math - An introduction to mathematical games
7071,10.1038/ncomms5203,"Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate"
7598,10.1016/j.celrep.2014.10.047,Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5
772,10.1145/2591796.2591836,Are lock-free concurrent algorithms practically wait-free?
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
5418,10.15479/AT:IST-2014-176-v1-1,Games with a weak adversary
5419,10.15479/AT:IST-2014-187-v1-1,Improved algorithms for reachability and shortest path on low tree-width graphs
5420,10.15479/AT:IST-2014-191-v1-1,The value 1 problem for concurrent mean-payoff games