_id,title
4425,Giotto: A time-triggered language for embedded programming
4460,From pre-historic to post-modern symbolic model checking
4462,Counterexample-guided control
4463,Thread-modular abstraction refinement
4464,Schedule-carrying code
4465,Embedded control systems development with Giotto
4466,On the universal and existential fragments of the mu-calculus
4467,Software verification with BLAST
4468,From control models to real-time code using Giotto
4469,Giotto: A time-triggered language for embedded programming
2613,"Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins"
2614,The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
2615,"Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae"
2616,Differential distribution of group I metabotropic glutamate receptors during rat cortical development
2617,Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
2618,Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum
2619,Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex
2620,Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites
2621,Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
2622,Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development