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.

5424 Publications


1994 | Conference Paper | IST-REx-ID: 4614
R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” presented at the CONCUR: Concurrency Theory, 1994, vol. 836, pp. 162–177.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4,” Journal of Neuroscience, vol. 13, no. 4, pp. 1372–1378, 1993.
View
 

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: 3446
T. Sziranyi and J. L. Csicsvari, “High-speed character recognition using a dual cellular neural network architecture (CNND),” IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, vol. 40, no. 3, pp. 223–231, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2, pp. 127–136, 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: 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: 4177
D. Lindholm et al., “Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation,” Journal of Cell Biology, vol. 122, no. 2, pp. 443–450, 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 | Journal Article | IST-REx-ID: 2538
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, and S. Nakanishi, “Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization,” Biology of Reproduction, vol. 49, no. 4, pp. 675–680, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2540
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat,” Neuroscience, vol. 53, no. 4, pp. 1009–1018, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2487
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “ Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study,” Journal of Comparative Neurology, vol. 335, no. 2, pp. 252–266, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” Letters in Mathematical Physics, vol. 29, no. 3, pp. 219–240, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1, pp. 57–74, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” Cellular Physiology and Biochemistry, vol. 3, pp. 250–269, 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 | 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 | 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 | Journal Article | IST-REx-ID: 1947
L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2, pp. 225–228, 1993.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed