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
Shigemoto R, Nomura S, Ohishi H, Sugihara H, Nakanishi S, Mizuno N. 1993. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain. Neuroscience Letters. 163(1), 53–57.
View | DOI
 

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

1993 | Journal Article | IST-REx-ID: 2544
Hayashi Y, Momiyama A, Takahashi T, Ohishi H, Ogawa Meguro R, Shigemoto R, Mizuno N, Nakanishi S. 1993. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 366(6456), 687–690.
View | DOI
 

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

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

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

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

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

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

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

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

1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. 1993. Genetic analysis of hybrid zones. Hybrid zones and the evolutionary process. 13–45.
View
 

1993 | Book Review | IST-REx-ID: 4302
Barton NH. 1993. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 62(1), 77–85.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton NH. 1993. The probability of fixation of a favoured allele in a subdivided population. Genetical Research. 62(2), 149–158.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton NH. 1993. Why species and subspecies? Current Biology. 3(11), 797–799.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. Hybrid Systems. , LNCS, vol. 736. 60–76.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. RTSS: Real-Time Systems Symposium 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. STOC: Symposium on the Theory of Computing 592–601.
View | DOI
 

Search

Filter Publications