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.

6016 Publications


1993 | Journal Article | IST-REx-ID: 2542
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain,” Neuroscience Letters, vol. 163, no. 1, pp. 53–57, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2543
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, and S. Nagata, “ Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide,” Neuron, vol. 11, no. 2, pp. 333–342, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Y. Hayashi et al., “Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb,” Nature, vol. 366, no. 6456, pp. 687–690, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons,” Brain Research, vol. 631, no. 2, pp. 297–303, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments and related problems,” SIAM Journal on Computing, vol. 22, no. 6, pp. 1286–1302, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
H. Edelsbrunner and T. Tan, “An upper bound for conforming Delaunay triangulations,” Discrete & Computational Geometry, vol. 10, no. 1, pp. 197–213, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2, pp. 418–429, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3, pp. 527–551, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” Discrete & Computational Geometry, vol. 10, no. 1, pp. 47–65, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete & Computational Geometry, vol. 10, no. 1, pp. 183–196, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362, pp. 305–311, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
 

1993 | Book Review | IST-REx-ID: 4302
N. H. Barton, “Review of "The causes of molecular evolution" by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
N. H. Barton, “The probability of fixation of a favoured allele in a subdivided population,” Genetical Research, vol. 62, no. 2, pp. 149–158, 1993.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 60–76.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1, pp. 35–77, 1993.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” presented at the RTSS: Real-Time Systems Symposium, 1993, pp. 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” presented at the STOC: Symposium on the Theory of Computing, 1993, pp. 592–601.
View | DOI
 

Search

Filter Publications