Please note that ISTA 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.

8914 Publications


1990 | Published | Conference Paper | IST-REx-ID: 4078
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Slimming down by adding; selecting heavily covered points. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:116-127. doi:10.1145/98524.98551
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 4310
Barton NH, Jones S. The language of the genes. Nature. 1990;346:415-416. doi:10.1038/346415a0
View | DOI | Download None (ext.)
 

1990 | Published | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. Population structure and processes in evolution. In: Wöhrmann K, Jain S, eds. Population Biology: Ecological and Evolutionary Viewpoints. Springer; 1990:115-174. doi:10.1007/978-3-642-74474-7_5
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: Proceedings of the 5th Jerusalem Conference on Information Technology. IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4522
Henzinger TA. Half-order modal logic: How to prove real-time properties. In: Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1990:281-296. doi:10.1145/93385.93429
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764
View | DOI | Download None (ext.)
 

1989 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 2525 | OA
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. doi:doi.org/10.1016/S0021-9258(19)84619-7
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1989 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | 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):2627. doi:10.11405/nisshoshi1964.86.2627
View | DOI | Download None (ext.)
 

1989 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3466 | OA
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. doi:10.1073/pnas.86.18.7238
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1989 | Published | 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 | Download None (ext.)
 

1989 | Published | 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. doi:10.1093/genetics/122.4.967
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3653
Mallet J, Barton NH. Strong natural selection in a warning color hybrid zone. Evolution. 1989;43(2):421-431. doi:10.2307/2409217
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | 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. doi:10.1080/00029890.1989.11972250
View | DOI | Download None (ext.)
 

1989 | Published | 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 | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4081 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4082 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed