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.

5484 Publications


1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, R., & Henzinger, T. A. (1996). CAV: Computer Aided Verification. CAV: Computer Aided Verification (Vol. 1102). Springer. https://doi.org/1075
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … 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. https://doi.org/10.1016/0304-3940(96)12489-7
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2573
Tokuno, H., Takada, M., Kaneko, T., Shigemoto, R., & Mizuno, N. (1996). Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research, 95(1), 107–117. https://doi.org/10.1016/0165-3806(96)00080-6
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2725
Erdös, L. (1996). Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations, 4(3), 283–292. https://doi.org/10.1007/BF01254348
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3634
Barton, N. H., & Mallet, J. (1996). Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 351(1341), 785–795. https://doi.org/10.1098/rstb.1996.0073
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed