_id,title
4253,Coalescence in a Random Background
4372,Monitoring Temporal Properties of Continuous Signals
4424,Program verification by lazy abstraction
4445,A typed assembly language for real-time programs
4458,Abstractions from proofs
4459,Race checking by context inference
4461,Extreme model checking
4525,Event-driven programming with logical execution times
4555,Trading memory for randomness
4556,Stack size analysis for interrupt-driven programs
4558,Quantitative stochastic parity games
2623,Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
2625,Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons
2626,Differential expression patterns of mGluR1α in monkey nigral dopamine neurons
2627,Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry
2628,The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
2629,High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus
2630,Expression of metabotropic glutamate receptor group I in rat gustatory papillae
2631,"Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells"
2632,Cell type-dependent expression of HCN1 in the main olfactory bulb