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.

5315 Publications


1993 | Journal Article | IST-REx-ID: 2538
Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. 1993. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 49(4), 675–680.
View
 

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

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

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

1993 | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical Research. 61(1), 57–74.
View | DOI
 

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

1993 | Journal Article | IST-REx-ID: 2539
Ishii T, Moriyoshi K, Sugihara H, Sakurada K, Kadotani H, Yokoi M, Akazawa C, Shigemoto R, Mizuno N, Masu M, Nakanishi S. 1993. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 268(4), 2836–2843.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, Ogawa Meguro R, Ohishi H, Kaneko T, Nakanishi S, Mizuno N. 1993. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 153(2), 157–160.
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 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner H. 1993. Geometric algorithms. Handbook of Convex Geometry. 699–735.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 472, 615–663.
View | DOI | Download (ext.)
 

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 | 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: 1948
Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 21(3).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 21(4), 1010–1013.
View
 

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 | Book Chapter | IST-REx-ID: 3451
Jonas PM. 1993. Glutamate receptors in the central nervous system. Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. , Annals of the New York Academy of Sciences , vol. 707. 126–135.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner H. 1993. Computational geometry. Current Trends in Theoretical Computer Science, Essays and Tutorials. 1–48.
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: 4175
Lindholm D, Dechant G, Heisenberg C, Thoenen H. 1993. Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. 5(11), 1455–1464.
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 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: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. CAV: Computer Aided Verification, LNCS, vol. 697. 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima Y, Iwakabe H, Akazawa C, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1993. Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. 268(16), 11868–11873.
View
 

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 | Book Chapter | IST-REx-ID: 3452
Jonas PM. 1993. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. Nonselective cation channels: Pharmacology, Physiology and Biophysics. , EXS, vol. 66. 61–76.
View
 

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 | 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 | 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
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. 1992. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biokhimiya. 57(10), 1443–1460.
View
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, Yamamoto T, Inagaki N, Yano H, Imura H, Shigemoto R, Kikuchi H. 1992. Distribution of the glucose transporters in human brain tumors. Cancer Research. 52(14), 3972–3979.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. 1992. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat. Journal of Comparative Neurology. 322(1), 121–135.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös L, Tuyen D. 1992. Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics. 143(3), 451–466.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh D, Jonas PM, Bräu M, Vogel W. 1992. A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology. 130, 149–162.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield T, Barton NH, Searle J. 1992. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. 46(4), 1129–1145.
View | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. 1992. Timed transition systems. Real Time: Theory in Practice. , LNCS, vol. 600. 226–251.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2533
Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1992. Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. 267(19), 13361–13368.
View
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle B, Edelsbrunner H, Guibas L, Pollack R, Seidel R, Sharir M, Snoeyink J. 1992. Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. 1(6), 305–323.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle B, Edelsbrunner H. 1992. An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. 39(1), 1–54.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov B, Edelsbrunner H, Guibas L, Sharir M. 1992. The number of edges of many faces in a line segment arrangement. Combinatorica. 12(3), 261–274.
View | DOI
 

1992 | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2534
Ishihara T, Shigemoto R, Mori K, Takahashi K, Nagata S. 1992. Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron. 8(4), 811–819.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. 1992. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 46(3), 595–607.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. 1992. Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. 92(2), 319–336.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed