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, Ryuichi, et al. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters, vol. 163, no. 1, Elsevier, 1993, pp. 53–57, doi:10.1016/0304-3940(93)90227-C.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, et al. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron, vol. 11, no. 2, Elsevier, 1993, pp. 333–42, doi:10.1016/0896-6273(93)90188-W.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, et al. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature, vol. 366, no. 6456, Nature Publishing Group, 1993, pp. 687–90, doi:10.1038/366687a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko, Takeshi, et al. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” Brain Research, vol. 631, no. 2, Elsevier, 1993, pp. 297–303, doi:10.1016/0006-8993(93)91548-7.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing, vol. 22, no. 6, SIAM, 1993, pp. 1286–302, doi:10.1137/0222077 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, Herbert, and Tiow Tan. “An Upper Bound for Conforming Delaunay Triangulations.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 197–213, doi:10.1007/BF02573974.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, et al. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing, vol. 22, no. 2, SIAM, 1993, pp. 418–29, doi:10.1137/0222031.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” SIAM Journal on Computing, vol. 22, no. 3, SIAM, 1993, pp. 527–51, doi:10.1137/0222036 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, Marshall, et al. “Edge Insertion for Optimal Triangulations.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 47–65, doi:10.1007/BF02573962.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge, Linda, and Nicholas H. Barton. “Optimality, Mutation and the Evolution of Ageing.” Nature, vol. 362, Nature Publishing Group, 1993, pp. 305–11, doi:10.1038/362305a0.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, Nicholas H., and Katherine Gale. “Genetic Analysis of Hybrid Zones.” Hybrid Zones and the Evolutionary Process, edited by Richard Harrison, Oxford University Press, 1993, pp. 13–45.
View
 

1993 | Book Review | IST-REx-ID: 4302
Barton, Nicholas H. “Review of "The Causes of Molecular Evolution" by J.H. Gillespie.” Genetical Research, vol. 62, no. 1, Cambridge University Press, 1993, pp. 77–85, doi:10.1017/S001667230003158X .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton, Nicholas H. “The Probability of Fixation of a Favoured Allele in a Subdivided Population.” Genetical Research, vol. 62, no. 2, Cambridge University Press, 1993, pp. 149–58, doi:10.1017/S0016672300031748.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton, Nicholas H. “Why Species and Subspecies?” Current Biology, vol. 3, no. 11, Cell Press, 1993, pp. 797–99, doi:10.1016/0960-9822(93)90036-N.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. Automatic Symbolic Verification of Embedded Systems. IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. Parametric Real-Time Reasoning. ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View | DOI
 

Search

Filter Publications