Please note that IST 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.

5716 Publications


1996 | Journal Article | IST-REx-ID: 4611
Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Springer, 619p.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1231(3), 304–312.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78. 127–132.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. 1995. Auxin transport. Plant Hormones: Biosynthesis, Signal Transduction, Action! 451–484.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. 1995. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 360(4), 555–570.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 674(2), 336–340.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 318(2), 209–217.
View
 

1995 | Journal Article | IST-REx-ID: 2559
Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1995. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 80(5), 757–765.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2560
Lü Y, Jin S, Xu T, Qin B, Li J, Ding Y, Shigemoto R, Mizuno N. 1995. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 198(2), 139–142.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 202(1–2), 85–88.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2563
Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 23(4), 415–418.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 170(3), 629–668.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. 1995. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. Single-channel recording. 357–373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. 1995. Fast application of agonists to isolated membrane patches. Single-channel recording. 231–243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas PM, Burnashev N. 1995. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 15(5), 987–990.
View | DOI
 

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. 1995. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 49(6), 1224–1238.
View
 

1995 | Journal Article | IST-REx-ID: 3637
Maccallum C, Nürnberger B, Barton NH. 1995. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 260(1359), 257–264.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3638
Barton NH, Wilson I. 1995. Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 349(1327), 49–59.
View | DOI
 

Search

Filter Publications