_id,doi,title
4377,1557,It's Doomed; We Can Prove It
4383,10.1007/978-3-642-02658-4_26,Software transactional memory on relaxed memory models
4385,1533,Preventing versus curing: avoiding conflicts in transactional memories
4391,1548,Automated Analysis of Java Methods for Confidentiality
4403,10.1007/978-3-642-04027-6_9,Algorithmic analysis of array-accessing programs
4453,10.1007/978-3-642-02658-4_27,Sliding-window abstraction for infinite Markov chains
4535,10.1007/978-3-642-03845-7_12,Approximation of event probabilities in noisy cellular processes
4540,10.1109/LICS.2009.16,Expressiveness and closure properties for quantitative languages
4542,10.1007/978-3-642-03409-1_2,Alternating weighted automata
4543,10.1007/978-3-642-03816-7_4,Stochastic games with finitary objectives
4544,10.1137/1.9781611973068.23,Termination criteria for solving concurrent safety and reachability games
4545,10.1007/978-3-642-02930-1_1,A survey of stochastic games with limsup and liminf objectives
2497,10.1111/j.1471-4159.2007.05152.x,Increased social interaction in mice deficient of the striatal medium spiny neuron-specific phosphodiesterase 10A2
2674,, Ultrastructural insights of postsynaptic glutamate receptor organization 
2675,10.1152/jn.00556.2007,Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus
2676,10.1371/journal.pone.0001945,Right isomerism of the brain in inversus viscerum mutant mice
2677,10.1113/jphysiol.2008.155242,The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum
2678,10.1523/JNEUROSCI.2137-08.2008,"Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1"
2679,10.1523/JNEUROSCI.1551-08.2008,"Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats"
2681,10.1073/pnas.0807461105,Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors