Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6978 Publications


1997 |Published| Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 331–345.
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. 1997. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1(1–2), 86–109.
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 1997. Partial-order reduction in symbolic state-space exploration. 9th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1254, 340–351.
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. 1997. Alternating-time temporal logic. Proceedings of the 38th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 100–109.
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. 1997. Computing accumulated delays in real-time systems. Formal Methods in System Design. 11(2), 137–156.
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. Proceedings of the 36th IEEE Conference on Decision and Control. CDC: Decision and Control, 702–707.
View | DOI
 

1996 |Published| Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. 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. IPC: International Photosynthesis Congress, Photosynthesis: from light to biosphere, vol. 2, 705–708.
View
 

1996 |Published| Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, Aubourg S, Jackson J. 1996. 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. Biochimica et Biophysica Acta - Bioenergetics. 1273(1), 4–12.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 1951
Sazanov LA, Burrows P, Nixon P. 1996. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 24(3), 739–743.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1996. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 75(3), 815–826.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2564
Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. 1996. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 364(2), 290–310.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2566
Kinoshita A, Ohishi H, Neki A, Nomura S, Shigemoto R, Takada M, Nakanishi S, Mizuno N. 1996. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 207(1), 61–64.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2565
Li J, Ohishi H, Kaneko T, Shigemoto R, Neki A, Nakanishi S, Mizuno N. 1996. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 204(1–2), 9–12.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2562
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1996. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 202(3), 197–200.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2568
Kinoshita A, Ohishi H, Nomura S, Shigemoto R, Nakanishi S, Mizuno N. 1996. Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. 207(3), 199–202.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2569
Jia H, Wang B, Rao Z, Shi J, Shigemoto R, Kaneko T, Mizuno N. 1996. GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. 210(1), 49–52.
View | DOI | PubMed | Europe PMC
 

1996 |Published| Journal Article | IST-REx-ID: 2567
Li J, Ding Y, Shigemoto R, Mizuno N. 1996. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 719(1–2), 207–212.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

supervisor%3D38DB5788-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications