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.

5497 Publications


1996 | Conference Paper | IST-REx-ID: 4495
T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” presented at the CONCUR: Concurrency Theory, 1996, vol. 1119, pp. 514–529.
View | DOI
 

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

1996 | 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 | Journal Article | IST-REx-ID: 2565
J. Li et al., “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, vol. 204, no. 1–2, pp. 9–12, 1996.
View | DOI
 

1996 | 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, pp. 567–577, 1996.
View | DOI
 

1996 | 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, pp. 141–144, 1996.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4030
J. Liang, H. Edelsbrunner, and S. Subramaniam, Effects of molecular shape representations on boundary element method for protein electrostatics computations, vol. 70, no. 2, Part 2. Cell Press, 1996, pp. A224–A224.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4186
R. Kelsh et al., “Zebrafish pigmentation mutations and the processes of neural crest development,” Development, vol. 123, pp. 369–389, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4213
M. Furutani Seiki et al., “Neural degeneration mutants in the zebrafish, Danio rerio,” Development, vol. 123, pp. 229–239, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4220
F. Van Eeden et al., “Genetic analysis of fin formation in the zebrafish, Danio rerio,” Development, vol. 123, pp. 255–262, 1996.
View
 

1996 | Book Chapter | IST-REx-ID: 4294
N. H. Barton and I. Wilson, “Genealogies and geography,” in New uses for new phylogenies, Oxford University Press, 1996, pp. 23–56.
View
 

1996 | Book Chapter | IST-REx-ID: 4427
T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–282.
View | DOI
 

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

1996 | Conference (Editor) | IST-REx-ID: 4585
R. Alur and T. A. Henzinger, CAV: Computer Aided Verification, vol. 1102. Springer, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
A. Kinoshita et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat,” Neuroscience Letters, vol. 207, no. 1, pp. 61–64, 1996.
View | DOI
 

1996 | 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, pp. 107–117, 1996.
View | DOI
 

1996 | 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, pp. 283–292, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3634
N. H. Barton and J. Mallet, “Natural selection and random genetic drift as causes of evolution on islands,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 351, no. 1341, pp. 785–795, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4024
N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4, pp. 58–61, 1996.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4031
J. Liang, H. Edelsbrunner, S. Pamidghantam, and S. Subramaniam, Analytical method for molecular shapes: Area, volume, cavities, interface and pockets, vol. 70, no. 2, Part 2. Cell Press, 1996, pp. A377–A377.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed