_id,doi,title
5404,10.15479/AT:IST-2013-127-v1-1,The complexity of ergodic games
5405,10.15479/AT:IST-2013-128-v1-1,Perfect-information stochastic mean-payoff parity games
5406,10.15479/AT:IST-2013-130-v1-1,Distributed synthesis for LTL Fragments
5407,,Technical requirements and features
5408,10.15479/AT:IST-2013-141-v1-1,The complexity of partial-observation stochastic parity games with finite-memory strategies
5409,10.15479/AT:IST-2013-144-v1-1,Edit distance for timed automata
5410,10.15479/AT:IST-2013-146-v1-1,Automatic generation of alternative starting positions for traditional board games
5747,10.1007/978-3-642-39799-8_11,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
6440,10.15479/AT:IST-2013-124-v1-1,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
1374,10.4230/LIPIcs.CSL.2013.181,Infinite-state games with finitary conditions
1376,10.1109/FMCAD.2013.6679386,Distributed synthesis for LTL fragments
1385,10.1109/FMCAD.2013.6679394,Synthesizing multiple boolean functions using interpolation on a single proof
1387,10.1007/978-3-642-39212-2_11,Nondeterminism in the presence of a diverse or unknown future
1405,10.15479/at:ista:1405,Analysis of dynamic message passing programs
1406,,Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
10396,10.1515/bmt-2013-4181,Stimfit: A fast visualization and analysis environment for cellular neurophysiology
9749,10.1371/journal.pone.0080814.s001,Forgiver triumphs in alternating prisoner's dilemma 
9751,10.5061/dryad.b1q2n,Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
9754,10.5061/dryad.r3r60,Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
450,10.1098/rspb.2012.2058,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations