_id,doi,title
4417,10.1007/978-3-540-71322-7_13,Abstract counterexample-based refinement for powerset domains
4446,10.1145/1286821.1286824,"The embedded machine: Predictable, portable real-time code"
4511,10.1007/978-3-540-73208-2_2,Quantitative generalizations of languages
4514,10.1007/978-3-540-69507-3_7,"Games, time, and probability: Graph models for system design and analysis"
4529,10.1038/nbt1356,Executable cell biology
4530,10.1007/978-3-540-74915-8,CSL: Computer Science Logic 
4531,10.1371/journal.pcbi.0030092,Predictive modeling of signaling crosstalk during C. elegans vulval development
4537,10.1007/978-3-540-71209-1_21,Assume-guarantee synthesis
4547,10.2168/LMCS-3(3:4)2007,Algorithms for omega-regular games with imperfect information
2657,10.1111/j.1460-9568.2006.04669.x,Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum
2659,10.1016/j.neures.2006.01.004," Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons"
2660,10.1038/nn1732,Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
2661,10.1016/j.neuron.2006.04.014,Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
2662,10.1523/JNEUROSCI.4178-05.2006,Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells
2663,10.1111/j.1460-9568.2006.05191.x,A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
2664,10.1007/s00441-006-0266-5,Metabotropic glutamate receptors
2745,10.1007/s00205-005-0388-z,Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
2746,10.1007/3-540-34273-7_18,Towards the quantum Brownian motion
2747,10.1002/cpa.20123,Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
2791,10.1038/nature05089,Finite lifetime of turbulence in shear flows