_id,doi,title
508,10.1093/molbev/mst119,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
509,10.1105/tpc.113.114058,The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis
511,10.1105/tpc.113.114421,Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
516,10.1038/msb.2013.40,"A map of cell type‐specific auxin responses"
5399,10.15479/AT:IST-2013-104-v1-1,TTP: Tool for Tumor Progression
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
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