_id,doi,title
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
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
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 
6768,10.5201/ipol.2013.53,A finite difference scheme for the stack filter simulating the MCM
476,10.3389/fnbeh.2013.00217,Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions
500,10.1186/1471-2148-13-222,Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
501,10.1644/12-MAMM-A-169.1,A new species of tapir from the Amazon
507,10.1105/tpc.113.114264,Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis