_id,doi,title
4368,1567,AMT: a property-based monitoring tool for analog systems
4370,1568,On synthesizing controllers from bounded-response properties
4394,1552,Using First-Order Theorem Provers in the Jahob Data Structure Verification System
4398,1553,Shape Analysis for Composite Data Structures
4399,10.1007/978-3-540-73368-3_4,Algorithms for interface synthesis
4402,1544,Model Checking on Trees with Path Equivalences
4405,10.1186/1752-0509-1-4,Qualitative networks: A symbolic approach to analyze biological signaling networks
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