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.

6112 Publications


1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. Population structure. In: Wöhrmann K, Jain S, eds. Population Biology: Ecological and Evolutionary Viewpoints. Springer; 1990:115-174.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: IEEE; 1990:717-730.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. Half-order modal logic: How to prove real-time properties. In: ACM; 1990:281-296. doi:10.1145/93385.93429
View | DOI | Download (ext.)
 

1989 | Journal Article | IST-REx-ID: 2479
Kaneko T, Itoh K, Shigemoto R, Mizuno N. Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat. Neuroscience. 1989;32(1):79-98. doi:10.1016/0306-4522(89)90109-7
View | DOI
 

1989 | Journal Article | IST-REx-ID: 2525
Yokota Y, Sasai Y, Tanaka K, et al. Molecular characterization of a functional cDNA for rat substance P receptor. Journal of Biological Chemistry. 1989;264(30):17649-17652.
View
 

1989 | Journal Article | IST-REx-ID: 2526
Ino T, Itoh K, Kamiya H, et al. Direct projections from Ammon’s horn to the rostral raphe regions in the brainstem of the cat. Brain Research. 1989;479(1):157-161. doi:10.1016/0006-8993(89)91346-2
View | DOI
 

1989 | Journal Article | IST-REx-ID: 2527
Akimoto M, Shigemoto R, Kawamura M, et al. Effect of endothelin on gastric mucosal blood flow in rat. Japanese Journal of Gastroenterology. 1989;86(11). doi:10.11405/nisshoshi1964.86.2627
View | DOI
 

1989 | Journal Article | IST-REx-ID: 3465
Jonas PM. Temperature dependence of gating current in myelinated nerve fibers. Journal of Membrane Biology. 1989;112(3):277-289. doi:10.1007/BF01870958
View | DOI
 

1989 | Journal Article | IST-REx-ID: 3466
Jonas PM, Bräu M, Hermsteiner M, Vogel W. Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels. PNAS. 1989;86(18):7238-7242.
View | Download (ext.)
 

1989 | Conference Paper | IST-REx-ID: 3549
Edelsbrunner H. Spatial triangulations with dihedral angle conditions. In: Institute of the Electronics, Information and Communication Enginneers; 1989:83-89.
View
 

1989 | Conference Paper | IST-REx-ID: 4596
Alur R, Henzinger TA. A really temporal logic. In: IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473
View | DOI | Download (ext.)
 

1989 | Journal Article | IST-REx-ID: 3652 | OA
Mallet J, Barton NH. Inference from clines stabilized by frequency-dependent selection. Genetics. 1989;122(4):967-976.
View | Download (ext.)
 

1989 | Journal Article | IST-REx-ID: 3653
Mallet J, Barton NH. Strong natural selection in a warning color hybrid zone. Evolution. 1989;43:421-431. doi:10.2307/2409217
View | DOI
 

1989 | Journal Article | IST-REx-ID: 3654
Barton NH, Hewitt G. Adaptation, speciation and hybrid zones. Nature. 1989;341:497-503. doi:10.1038/341497a0
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4079
Edelsbrunner H, Skiena S. On the number of furthest neighbor pairs in a point set. American Mathematical Monthly. 1989;96(7):614-618.
View | Download (ext.)
 

1989 | Journal Article | IST-REx-ID: 4080
Edelsbrunner H, Hasan N, Seidel R, Shen X. Circles through two points that always enclose many points. Geometriae Dedicata. 1989;32(1):1-12. doi:10.1007/BF00181432
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4081
Edelsbrunner H, Guibas L, Sharir M. The upper envelope of piecewise linear functions: Algorithms and applications. Discrete & Computational Geometry. 1989;4(1):311-336. doi:10.1007/BF02187733
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4082
Edelsbrunner H, Guibas L. Topologically sweeping an arrangement. Journal of Computer and System Sciences. 1989;38(1):165-194. doi:10.1016/0022-0000(89)90038-X
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4083
Yao F, Dobkin D, Edelsbrunner H, Paterson M. Partitioning space for range queries. SIAM Journal on Computing. 1989;18(2):371-384. doi:10.1137/0218025
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4084
Edelsbrunner H, Rote G, Welzl E. Testing the necklace condition for shortest tours and optimal factors in the plane. Theoretical Computer Science. 1989;66(2):157-180. doi:10.1016/0304-3975(89)90133-3
View | DOI
 

Search

Filter Publications