_id,doi,title
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
590,10.1364/QIM.2013.W6.23,Polarization dependent focusing
591,10.1364/OE.21.015538,Adjustable and robust methods for polarization-dependent focusing
5920,10.1016/j.jsc.2012.06.006,Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
595,10.1038/emboj.2013.36,Struggling to let go: A non-coding RNA directs its own extension and destruction
6128,10.1371/journal.pgen.1004011,"Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans"
6130,10.1093/nar/gkt805,Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
6132,,"Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans"
6133,10.1073/pnas.1217428110,In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
6135,10.1016/j.tig.2013.01.010,Worms under stress: C. elegans stress response and its relevance to complex human disease and aging
6370,10.1021/jp400648q,"Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations"
6440,10.15479/AT:IST-2013-124-v1-1,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
1442,10.4007/annals.2013.177.3.8,Positivity for Kac polynomials and DT-invariants of quivers
1443,,Global topology of the Hitchin system