Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Symbolic analysis of hybrid systems
R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717  

Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

How projections affect the dimension spectrum of fractal measures
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002

On the number of small cuts in a graph
M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.
LibreCat: https://research-explorer.ista.ac.at/record/11761
DOI: 10.1016/0020-0190(96)00079-8

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.
LibreCat: https://research-explorer.ista.ac.at/record/11804
DOI: 10.1007/3-540-61422-2_117

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.
LibreCat: https://research-explorer.ista.ac.at/record/11910
DOI: 10.1007/3-540-61440-0_136

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.
LibreCat: https://research-explorer.ista.ac.at/record/11927

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.
LibreCat: https://research-explorer.ista.ac.at/record/1942

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.
LibreCat: https://research-explorer.ista.ac.at/record/1952
DOI: 10.1016/0005-2728(95)00125-5
PMID: 8573594 

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.
LibreCat: https://research-explorer.ista.ac.at/record/1951
DOI: 10.1042/bst0240739
PMID: 8878837

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.
LibreCat: https://research-explorer.ista.ac.at/record/2492
DOI: 10.1016/0306-4522(96)00316-8
PMID: 8951875

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.
LibreCat: https://research-explorer.ista.ac.at/record/2564
DOI: 10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0
PMID: 8788251 

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.
LibreCat: https://research-explorer.ista.ac.at/record/2566
DOI: 10.1016/0304-3940(96)12489-7
PMID: 8710211 

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.
LibreCat: https://research-explorer.ista.ac.at/record/2565
DOI: 10.1016/0304-3940(95)12299-0
PMID: 8929965 

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.
LibreCat: https://research-explorer.ista.ac.at/record/2562
DOI: 10.1016/0304-3940(95)12248-6
PMID: 8848265

Presynaptic localization of a metabotropic glutamate receptor, mGlua, in the cerebellar cortex: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 199–202.
LibreCat: https://research-explorer.ista.ac.at/record/2568
DOI: 10.1016/0304-3940(96)12519-2
PMID: 8728484

GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat
H. Jia, B. Wang, Z. Rao, J. Shi, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 210 (1996) 49–52.
LibreCat: https://research-explorer.ista.ac.at/record/2569
DOI: 10.1016/0304-3940(96)12654-9
PMID: 8762189

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.
LibreCat: https://research-explorer.ista.ac.at/record/2567
DOI: 10.1016/0006-8993(96)00064-9
PMID: 8782883 

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.
LibreCat: https://research-explorer.ista.ac.at/record/2572
DOI: 10.1002/(SICI)1096-9861(19960805)371:4&lt;567::AID-CNE6&gt;3.3.CO;2-M
PMID: 8841910