_id,doi,title
5400,10.15479/AT:IST-2013-109-v1-1,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
5401,,Initiatives and projects related to RD
5402,10.15479/AT:IST-2013-123-v1-1,How free is your linearizable concurrent data structure?
5403,10.15479/AT:IST-2013-126-v1-1,Qualitative analysis of concurrent mean-payoff games
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
9459,10.1016/j.cell.2013.02.033,The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin