_id,doi,title
2182,10.1145/2429069.2429085,Quantitative abstraction refinement
2204,10.1103/PhysRevLett.110.155301,Quantum phases of quadrupolar fermi gases in optical lattices
2205,10.1080/00268976.2013.813595,Manipulation of molecules with electromagnetic fields
2206,10.1103/PhysRevB.88.014426,Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
2207,10.1038/ncomms3230,Dissipative binding of atoms by non-conservative forces
2209,10.1109/ISVD.2013.11,Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
2210,,Reconstructing polygons from embedded straight skeletons
2237,10.1007/978-3-642-45221-5_13,Tree interpolation in Vampire
2238,10.1007/978-3-642-45221-5_17,Multi-objective discounted reward verification in graphs and MDPs
2243,10.4230/LIPIcs.CSL.2013.563,Elementary modal logics over transitive structures
2244,10.1007/978-3-319-03841-4_41,Untangling two systems of noncrossing curves
2247,10.1371/journal.pone.0080814,Forgiver triumphs in alternating prisoner's dilemma 
2256,,Linked (Open) Data - Bibliographische Daten im Semantic Web
2258,10.1007/978-3-642-40041-4_31,Digital signatures with minimal overhead from indifferentiable random invertible functions
2259,10.1007/978-3-642-40041-4_4,"Learning with rounding, revisited: New reduction properties and applications"
2260,10.1007/978-3-642-38980-1_33,Efficient signatures of knowledge and DAA in the standard model
2264,10.1242/dev.085621,Neural development is dependent on the function of specificity protein 2 in cell cycle progression
2269,DOI: 10.1111/cgf.12061,Analytic Visibility on the GPU
2270,,Optimal Coalition Structures in Cooperative Graph Games
2272,,Inference algorithms for pattern-based CRFs on sequence data