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 NH. The probability of fixation of a favoured allele in a subdivided population. Genetical Research. 1993;62(2):149-158. doi:10.1017/S0016672300031748
View | DOI
 

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

1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima Y, Iwakabe H, Akazawa C, et al. 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. 1993;268(16):11868-11873.
View
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto H, Ishihara T, Shigemoto R, Mori K, Nagata S. Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide. Neuron. 1993;11(2):333-342. doi:10.1016/0896-6273(93)90188-W
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Siemen D, ed. Nonselective Cation Channels: Pharmacology, Physiology and Biophysics. Vol 66. Birkhäuser; 1993:61-76.
View
 

1993 | Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 1993;10(1):47-65. doi:10.1007/BF02573962
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton NH. Why species and subspecies? Current Biology. 1993;3(11):797-799. doi:10.1016/0960-9822(93)90036-N
View | DOI
 

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

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: ACM; 1993:592-601. doi:10.1145/167088.167242
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, et al. Distribution of the glucose transporters in human brain tumors. Cancer Research. 1992;52(14):3972-3979.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. 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. 1992;322(1):121-135. doi:10.1002/cne.903220110
View | DOI
 

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

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

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

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 3581
Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. 1992;1(6):305-323. doi:10.1016/0925-7721(92)90009-H
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed