_id,doi,title
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
5421,10.15479/AT:IST-2014-190-v2-2,The complexity of evolution on graphs
5422,,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
5423,10.15479/AT:IST-2014-300-v1-1,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
5424,10.15479/AT:IST-2014-305-v1-1,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
5426,10.15479/AT:IST-2014-305-v2-1,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
5427,10.15479/AT:IST-2014-314-v1-1,Optimal tree-decomposition balancing and reachability on low treewidth graphs
5428,10.15479/AT:IST-2014-315-v1-1,Quantitative fair simulation games
6178,10.1007/978-1-4939-1164-6_15,UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
1507,,"Random matrices, log-gases and Hölder regularity"
1516,10.1142/9789814618144_0007,On the BCS gap equation for superfluid fermionic gases
1375,10.1016/j.tcs.2014.06.031,Approximating the minimum cycle mean
1392,10.1007/978-3-642-54013-4_10,A logic-based framework for verifying consensus algorithms
1393,10.1145/2593882.2593900,Probabilistic programming
1395,,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
1402,,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
1403,,Forces driving epithelial spreading in zebrafish epiboly
1404,,Evolution of a fungal pathogen towards individual versus social immunity in ants
9458,10.1016/j.cell.2014.01.029,Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes