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.
8920 Publications
1996 |
Published |
Journal Article |
IST-REx-ID: 2571
Yokoi, M., Kobayashi, K., Manabe, T., Takahashi, T., Sakaguchi, I., Katsuura, G., … Nakanishi, S. (1996). Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.273.5275.645
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Journal Article |
IST-REx-ID: 2572
Hashimoto, H., Nogi, H., Mori, K., Ohishi, H., Shigemoto, R., Yamamoto, K., … Baba, A. (1996). Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
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. Elsevier. https://doi.org/10.1016/0165-3806(96)00080-6
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Journal Article |
IST-REx-ID: 2574
Luján, R., Nusser, Z., Roberts, J., Shigemoto, R., & Somogyi, P. (1996). Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1996.tb01611.x
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
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. Springer. https://doi.org/10.1007/BF01254348
View
| DOI
1996 |
Published |
Journal Article |
IST-REx-ID: 2726
Erdös, L. (1996). Gaussian decay of the magnetic eigenfunctions. Geometric and Functional Analysis. Birkhäuser. https://doi.org/10.1007/BF02247886
View
| DOI
1996 |
Published |
Journal Article |
IST-REx-ID: 11761
Henzinger, M. H., & Williamson, D. P. (1996). On the number of small cuts in a graph. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(96)00079-8
View
| DOI
1996 |
Published |
Conference Paper |
IST-REx-ID: 1942
Sazanov, L. A., Burrows, P., & Nixon, P. J. (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 (Vol. 2, pp. 705–708). Presented at the IPC: International Photosynthesis Congress, Kluwer.
View
1996 |
Published |
Journal Article |
IST-REx-ID: 1951
Sazanov, L. A., Burrows, P., & Nixon, P. (1996). Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0240739
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Journal Article |
IST-REx-ID: 1952
Bizouarn, T., Sazanov, L. A., 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. Elsevier. https://doi.org/10.1016/0005-2728(95)00125-5
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Conference (Editor) |
IST-REx-ID: 4585
Henzinger, T. A., & Alur, R. (Eds.). (1996). 8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 |
Published |
Conference Paper |
IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 |
Published |
Journal Article |
IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602
View
| DOI
| Download None (ext.)
1996 |
Published |
Journal Article |
IST-REx-ID: 4611 |
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 |
Published |
Book (Editor) |
IST-REx-ID: 4612
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931
View
| DOI
1996 |
Published |
Journal Article |
IST-REx-ID: 6161 |
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. Genetics Society of America.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |
Published |
Conference Paper |
IST-REx-ID: 11804
Henzinger, M. H., & Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In 5th Scandinavian Workshop on Algorithm Theory (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. https://doi.org/10.1007/3-540-61422-2_117
View
| DOI
1996 |
Published |
Conference Paper |
IST-REx-ID: 11910
Henzinger, M. H., & Thorup, M. (1996). Improved sampling with applications to dynamic graph algorithms. In 23rd International Colloquium on Automata, Languages, and Programming (Vol. 1099, pp. 290–299). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/3-540-61440-0_136
View
| DOI
1996 |
Published |
Conference Paper |
IST-REx-ID: 11927 |
Henzinger, M. H., King, V., & Warnow, T. (1996). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In 7th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 333–340). Atlanta, GA, United States: Society for Industrial and Applied Mathematics.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 |
Published |
Journal Article |
IST-REx-ID: 3462
Melcher, T., Geiger, J., Jonas, P. M., & Monyer, H. (1996). Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. Elsevier. https://doi.org/10.1016/0197-0186(95)00077-1
View
| DOI
| PubMed | Europe PMC