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.

6032 Publications


1996 | Book Review | IST-REx-ID: 2571
M. Yokoi et al., “Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2,” Science, vol. 273, no. 5275. American Association for the Advancement of Science, pp. 645–647, 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: 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: 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, pp. 1488–1500, 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 | Journal Article | IST-REx-ID: 4025
N. Akkiraju and H. Edelsbrunner, “Triangulating the surface of a molecule,” Discrete Applied Mathematics, vol. 71, no. 1–3, pp. 5–22, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4026
H. Edelsbrunner and N. Shah, “Incremental topological flipping works for regular triangulations,” Algorithmica, vol. 15, no. 3, pp. 223–241, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4027
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Stolfi, “Lines in space: Combinatorics and algorithms,” Algorithmica, vol. 15, no. 5, pp. 428–447, 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 | 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
 

1996 | Journal Article | IST-REx-ID: 4188
D. Kane et al., “The zebrafish epiboly mutants,” Development, vol. 123, pp. 47–55, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4292
L. Partridge and N. H. Barton, “On measuring the rate of ageing,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375, pp. 1365–1371, 1996.
View | DOI
 

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 Review | IST-REx-ID: 4295
N. H. Barton, “Speciation: more than the sum of its parts,” Current Biology, vol. 6, no. 10. Cell Press, pp. 1244–1246, 1996.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4426
T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in Hybrid Systems III: Verification and Control, vol. 1066, R. Alur, T. A. Henzinger, and E. Sontag, Eds. Springer, 1996, pp. 377–388.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4443
T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” presented at the CONCUR: Concurrency Theory, 1996, vol. 1119, pp. 530–545.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4519
T. A. Henzinger, “The theory of hybrid automata,” presented at the LICS: Logic in Computer Science, 1996, pp. 278–292.
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
 

Search

Filter Publications