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.
9101 Publications
1990 | 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 | 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 | 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 | 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 | 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. doi:doi.org/10.1016/S0021-9258(19)84619-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
| PubMed | Europe PMC
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):2627. doi:10.11405/nisshoshi1964.86.2627
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 3652 |
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 | 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 | 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 | Journal Article | IST-REx-ID: 4088 |
Edelsbrunner H, Guibas L, Hershberger J, et al. Implicitly representing arrangements of lines or segments. Discrete & Computational Geometry. 1989;4(1):433-466. doi:10.1007/BF02187742
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4089 |
Edelsbrunner H, Guibas L, Hershberger J, et al. On arrangements of Jordan arcs with three intersections per pair. Discrete & Computational Geometry. 1989;4(1):523-539. doi:10.1007/BF02187745
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Conference Paper | IST-REx-ID: 4087
Edelsbrunner H, Preparata F, West D. Tetrahedrizing point sets in three dimensions. In: International Symposium on Symbolic and Algebraic Computation. Vol 358. Springer; 1989:315-331. doi:10.1007/3-540-51084-2_31
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4085
Edelsbrunner H. An acyclicity theorem for cell complexes in d dimension. In: Proceedings of the 5th Annual Symposium on Computational Geometry. ACM; 1989:145-151. doi:10.1145/73833.73850
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 4086 |
Edelsbrunner H. The upper envelope of piecewise linear functions: Tight bounds on the number of faces . Discrete & Computational Geometry. 1989;4(4):337-343. doi:10.1007/BF02187734
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4309
Slatkin M, Barton NH. A comparison of three methods for estimating average levels of gene flow. Evolution; International Journal of Organic Evolution. 1989;43(7):1349-1368. doi:10.1111/j.1558-5646.1989.tb02587.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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. doi:10.1073/pnas.86.18.7238
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC