_id,doi,title
2290,10.1073/pnas.1309057110,ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
2291,10.1109/CSF.2013.15,Cryptographically enforced RBAC
2292,10.1007/978-3-642-40313-2,Mathematical Foundations of Computer Science 2013
2293,10.1109/ICCV.2013.107,Learning to rank using privileged information
2294,10.1109/ICCV.2013.139,Drosophila Embryo Stage Annotation using Label Propagation
2295,10.4230/LIPIcs.CSL.2013.165,What is decidable about partially observable Markov decision processes with omega-regular objectives
2297,10.1007/s11537-013-1264-5,Hot topics in cold gases: A mathematical physics perspective
2298,10.1007/978-3-642-38856-9_10,Local shape analysis for overlaid data structures
2299,10.1007/s10009-011-0207-9,Synthesis of AMBA AHB from formal specification: A case study
2300,10.1103/PhysRevB.88.064401,Realization of stripes and slabs in two and three dimensions
2301,10.1145/2491956.2462184,P: Safe asynchronous event-driven programming
2303,10.1007/s11515-013-1279-6,Dissection of gene function at clonal level using mosaic analysis with double markers
2304,10.1016/j.endm.2013.07.008,Van der Corput sequences and linear permutations
2305,10.1109/LICS.2013.39,Trading performance for stability in Markov decision processes
2306,10.1515/9783110278736,(Open) Linked Data in Bibliotheken
2327,10.1007/978-3-642-40184-8_20,From model checking to model measuring
2328,10.1007/978-3-642-40184-8_18,Aspect-oriented linearizability proofs
2329,10.1007/978-3-642-40184-8_35,Hyperplane separation technique for multidimensional mean-payoff games
2410,10.1128/genomeA.00216-13,Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
2412,10.1186/1471-2148-13-54,Probabilistic models for CRISPR spacer content evolution