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


1994 | Journal Article | IST-REx-ID: 4501
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation, 112(2), 273–337. https://doi.org/10.1006/inco.1994.1060
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational power of clocks (Vol. 836, pp. 162–177). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0015008
View | DOI
 

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

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

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, T., & Csicsvari, J. L. (1993). High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 40(3), 223–231. https://doi.org/10.1109/82.222823
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting balance.” Genetical Research, 61(2), 127–136. https://doi.org/10.1017/S0016672300031232
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. https://doi.org/10.1007/BF02573974
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. https://doi.org/10.1007/BF02573973
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology, 122(2), 443–450. https://doi.org/10.1083/jcb.122.2.443
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge, L., & Barton, N. H. (1993). Optimality, mutation and the evolution of ageing. Nature, 362, 305–311. https://doi.org/10.1038/362305a0
View | DOI
 

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. https://doi.org/10.1016/0306-4522(93)90485-X
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. https://doi.org/10.1002/cne.903350209
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. https://doi.org/10.1007/BF00761110
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton, N. H., & Rouhani, S. (1993). Adaptation and the “shifting balance.” Genetical Research, 61(1), 57–74. https://doi.org/10.1017/S0016672300031098
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., & Koenen, M. (1993). Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry, 3, 250–269. https://doi.org/10.1159/000154691
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. https://doi.org/10.1137/0222031
View | DOI
 

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

1993 | Journal Article | IST-REx-ID: 4589
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation, 104(1), 35–77. https://doi.org/10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems (pp. 2–11). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1993.393520
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics, 1144(2), 225–228. https://doi.org/10.1016/0005-2728(93)90177-H
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, T., Moriyoshi, K., Sugihara, H., Sakurada, K., Kadotani, H., Yokoi, 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., … Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters, 153(2), 157–160. https://doi.org/10.1016/0304-3940(93)90311-8
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. https://doi.org/10.1016/0006-8993(93)91548-7
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry (pp. 699–735). North Holland.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas, P. M., 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. https://doi.org/10.1113/jphysiol.1993.sp019965
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. https://doi.org/10.1137/0222036
View | DOI
 

1993 | Book Review | IST-REx-ID: 4302
Barton, N. H. (1993). Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S001667230003158X
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov, L. A., & 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, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov, L. A., & 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. https://doi.org/10.1016/0304-3940(93)90227-C
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas, P. M. (1993). Glutamate receptors in the central nervous system. In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction (Vol. 707, pp. 126–135). New York Academy of Sciences.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, H. (1993). Computational geometry. In Current Trends in Theoretical Computer Science, Essays and Tutorials (pp. 1–48). World Scientific Publishing. https://doi.org/10.1007/978-3-662-04245-8_1
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. https://doi.org/10.1137/0222077
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. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton, N. H. (1993). The probability of fixation of a favoured allele in a subdivided population. Genetical Research, 62(2), 149–158. https://doi.org/10.1017/S0016672300031748
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated delays in real-time systems (Vol. 697, pp. 181–193). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-56922-7_16
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. https://doi.org/10.1016/0896-6273(93)90188-W
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser.
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. https://doi.org/10.1007/BF02573962
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton, N. H. (1993). Why species and subspecies? Current Biology. Cell Press. https://doi.org/10.1016/0960-9822(93)90036-N
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning (pp. 592–601). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/167088.167242
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, L. A., & 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., … 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. https://doi.org/10.1002/cne.903220110
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. https://doi.org/10.1007/BF02099260
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, D., Jonas, P. M., 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. https://doi.org/10.1007/BF00231893
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed