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.

5630 Publications


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
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, T., Barton, N. H., & 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, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
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. https://doi.org/10.1016/0925-7721(92)90009-H
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. https://doi.org/10.1145/147508.147511
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed