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.

5703 Publications

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.

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.

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.

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

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

1992 | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. Genetics and geography. Nature. 1992;357:440-441. doi:10.1038/357440a0
View | DOI

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

1992 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 1992;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. Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. 1992;92(2):319-336. doi:10.1016/0304-3975(92)90319-B
View | DOI

1992 | Book Chapter | IST-REx-ID: 4307
Barton NH. The genetic consequences of dispersal. In: Stenseth N, Lidicker W, eds. Animal Dispersal: Small Mammals as a Model. Chapman Hall; 1992:37-60.

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: Vol 623. Springer; 1992:545-558. doi:10.1007/3-540-55719-9_103
View | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed