Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.

Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.

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

Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M. 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. 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. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.

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.

H 2 cooling of primordial gas triggered by UV irradiation
Z. Haiman, M.J. Rees, A. Loeb, The Astrophysical Journal 467 (1996).

Cosmological formation of low-mass objects
Z. Haiman, A.A. Thoul, A. Loeb, The Astrophysical Journal 464 (1996).

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.

Metabotropic glutamate receptors mGlu and mGlu are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826.

Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGlu, in the rat brain: An immunohistochemical study with a monoclonal antibody
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.

Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.

Immunohistochemical localization of a metabotropic glutamate receptor, mGlu, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons
J. Li, H. Ohishi, T. Kaneko, R. Shigemoto, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 204 (1996) 9–12.

Presynaptic localization of a metabotropic glutamate receptor, mGlu, in the rhinencephalic areas: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, A. Neki, S. Nomura, R. Shigemoto, M. Takada, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 61–64.

Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat
J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Brain Research 719 (1996) 207–212.