Impairment of hippocampal mossy fiber LTD in mice lacking mGlu
M. Yokoi, K. Kobayashi, T. Manabe, T. Takahashi, I. Sakaguchi, G. Katsuura, R. Shigemoto, H. Ohishi, S. Nomura, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Science 273 (1996) 645–647.

Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study
H. Hashimoto, H. Nogi, K. Mori, H. Ohishi, R. Shigemoto, K. Yamamoto, T. Matsuda, N. Mizuno, S. Nagata, A. Baba, Journal of Comparative Neurology 371 (1996) 567–577.

Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, N. Mizuno, Developmental Brain Research 95 (1996) 107–117.

 Perisynaptic location of metabotropic glutamate receptors mGlu and mGlu on dendrites and dendritic spines in the rat hippocampus
R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 8 (1996) 1488–1500.

Rayleigh-type isoperimetric inequality with a homogeneous magnetic field
L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.

Gaussian decay of the magnetic eigenfunctions
L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.

On the number of small cuts in a graph
M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.

Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts
L.A. Sazanov, P. Burrows, P.J. Nixon, in:, Kluwer, 1996, pp. 705–708.

Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids
L.A. Sazanov, P. Burrows, P. Nixon, Biochemical Society Transactions 24 (1996) 739–743.

Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme
T. Bizouarn, L.A. Sazanov, S. Aubourg, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1273 (1996) 4–12.

 8th International Conference on Computer Aided Verification
T.A. Henzinger, R. Alur, eds.,  8th International Conference on Computer Aided Verification, Springer, 1996.

Reactive modules
R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.

The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, Journal of the ACM 43 (1996) 116–146.

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.

Hybrid Systems III: Verification and Control
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlinf; Heidelberg, 1996.

Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
M. de Bono, J. Hodgkin, Genetics 144 (1996) 587–595.

Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.

Improved sampling with applications to dynamic graph algorithms
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.

Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.

Analysis of molecular determinants in native AMPA receptors
T. Melcher, J. Geiger, P.M. Jonas, H. Monyer, Neurochemistry International 28 (1996) 141–144.