_id,doi,title
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
2315,10.1142/9789814449243_0063,Disordered Bose-Einstein condensates with interaction
2319,10.1007/978-3-0348-0531-5_3, Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
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
2404,10.1215/00127094-2019477,A positive density analogue of the Lieb-Thirring inequality
2405,10.1007/s00220-012-1604-y,Symmetry of bipolaron bound states for small Coulomb repulsion
2406,10.1140/epjst/e2013-01759-5,Condensation of interacting bosons in a random potential
2408,10.1007/s00220-013-1736-8,The excitation spectrum for weakly interacting Bosons in a trap
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 
2413,10.1002/9783527671632.ch08,Neuronal oscillations scale up and scale down the brain dynamics 
6768,10.5201/ipol.2013.53,A finite difference scheme for the stack filter simulating the MCM
7306,10.1038/nmat3737,"A stable cathode for the aprotic Li–O2 battery"
7307,10.1038/nchem.1646,"Charging a Li–O2 battery using a redox mediator"
7595,10.1093/abbs/gmt039,"Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development"
7596,10.1105/tpc.113.114322,Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling