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
M. Yokoi et al., “Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2,” Science, vol. 273. American Association for the Advancement of Science, pp. 645–647, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 2572
H. Hashimoto et al., “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, vol. 371, no. 4. Wiley-Blackwell, pp. 567–577, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 2573
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, and N. Mizuno, “Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum,” Developmental Brain Research, vol. 95, no. 1. Elsevier, pp. 107–117, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 2574
R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, and P. Somogyi, “ Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus,” European Journal of Neuroscience, vol. 8, no. 7. Wiley-Blackwell, pp. 1488–1500, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 2725
L. Erdös, “Rayleigh-type isoperimetric inequality with a homogeneous magnetic field,” Calculus of Variations and Partial Differential Equations, vol. 4, no. 3. Springer, pp. 283–292, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 2726
L. Erdös, “Gaussian decay of the magnetic eigenfunctions,” Geometric and Functional Analysis, vol. 6, no. 2. Birkhäuser, pp. 231–248, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 11761
M. H. Henzinger and D. P. Williamson, “On the number of small cuts in a graph,” Information Processing Letters, vol. 59, no. 1. Elsevier, pp. 41–44, 1996.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 1942
L. A. Sazanov, P. Burrows, and P. J. Nixon, “Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts,” presented at the IPC: International Photosynthesis Congress, 1996, vol. 2, pp. 705–708.
View
 

1996 | Published | Journal Article | IST-REx-ID: 1951
L. A. Sazanov, P. Burrows, and P. Nixon, “Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids,” Biochemical Society Transactions, vol. 24, no. 3. Portland Press, pp. 739–743, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 1952
T. Bizouarn, L. A. Sazanov, S. Aubourg, and J. Jackson, “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, vol. 1273, no. 1. Elsevier, pp. 4–12, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View | DOI | Download None (ext.)
 

1996 | Published | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Book (Editor) | IST-REx-ID: 4612
R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, vol. 1066. Berlin ; Heidelberg: Springer, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 6161 | OA
M. de Bono and J. Hodgkin, “Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences,” Genetics, vol. 144, no. 2. Genetics Society of America, pp. 587–595, 1996.
[Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 11804
M. H. Henzinger and J. A. Telle, “Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning,” in 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, 1996, vol. 1097, pp. 16–27.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11910
M. H. Henzinger and M. Thorup, “Improved sampling with applications to dynamic graph algorithms,” in 23rd International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 1996, vol. 1099, pp. 290–299.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
M. H. Henzinger, V. King, and T. Warnow, “Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology,” in 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Atlanta, GA, United States, 1996, pp. 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 3462
T. Melcher, J. Geiger, P. M. Jonas, and H. Monyer, “Analysis of molecular determinants in native AMPA receptors,” Neurochemistry International, vol. 28, no. 2. Elsevier, pp. 141–144, 1996.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed