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, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time. In Proceedings of the 5th Jerusalem Conference on Information Technology (pp. 717–730). Jerusalem, Israel: IEEE. https://doi.org/10.1109/JCIT.1990.128356
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties. In Proceedings of the 9th annual ACM symposium on Principles of distributed computing (pp. 281–296). Quebec City, Canada: ACM. https://doi.org/10.1145/93385.93429
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/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. (1989). Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat. Neuroscience. Elsevier. https://doi.org/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., Fujiwara, T., Tsuchida, K., Shigemoto, R., … Nakanishi, S. (1989). Molecular characterization of a functional cDNA for rat substance P receptor. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/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., Kaneko, T., Shigemoto, R., Akiguchi, I., & Mizuno, N. (1989). Direct projections from Ammon’s horn to the rostral raphe regions in the brainstem of the cat. Brain Research. Elsevier. https://doi.org/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., Yamagata H., Kurihara T., Takata S., … Yamauchi D. (1989). Effect of endothelin on gastric mucosal blood flow in rat. Japanese Journal of Gastroenterology. Japanese Society of Gastroenterology. https://doi.org/10.11405/nisshoshi1964.86.2627
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 3652 |
Mallet, J., & Barton, N. H. (1989). Inference from clines stabilized by frequency-dependent selection. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/122.4.967
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 | Journal Article | IST-REx-ID: 3653
Mallet, J., & Barton, N. H. (1989). Strong natural selection in a warning color hybrid zone. Evolution. Wiley-Blackwell. https://doi.org/10.2307/2409217
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 | Journal Article | IST-REx-ID: 3654
Barton, N. H., & Hewitt, G. (1989). Adaptation, speciation and hybrid zones. Nature. Nature Publishing Group. https://doi.org/10.1038/341497a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 | Journal Article | IST-REx-ID: 4088 |
Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., Sharir, M., Snoeyink, J., & Welzl, E. (1989). Implicitly representing arrangements of lines or segments. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187742
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4082 |
Edelsbrunner, H., & Guibas, L. (1989). Topologically sweeping an arrangement. Journal of Computer and System Sciences. Elsevier. https://doi.org/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., Pach, J., Pollack, R., Seidel, R., … Snoeyink, J. (1989). On arrangements of Jordan arcs with three intersections per pair. Discrete & Computational Geometry. Springer. https://doi.org/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. (1989). Partitioning space for range queries. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0218025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4084 |
Edelsbrunner, H., Rote, G., & Welzl, E. (1989). Testing the necklace condition for shortest tours and optimal factors in the plane. Theoretical Computer Science. Elsevier. https://doi.org/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. (1989). Tetrahedrizing point sets in three dimensions. In International Symposium on Symbolic and Algebraic Computation (Vol. 358, pp. 315–331). Rome, Italy: Springer. https://doi.org/10.1007/3-540-51084-2_31
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4085
Edelsbrunner, H. (1989). An acyclicity theorem for cell complexes in d dimension. In Proceedings of the 5th annual symposium on Computational geometry (pp. 145–151). Saarbruchen, Germany: ACM. https://doi.org/10.1145/73833.73850
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 4086 |
Edelsbrunner, H. (1989). The upper envelope of piecewise linear functions: Tight bounds on the number of faces . Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187734
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4309
Slatkin, M., & Barton, N. H. (1989). A comparison of three methods for estimating average levels of gene flow. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1989.tb02587.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 | Journal Article | IST-REx-ID: 3466 |
Jonas, P. M., Bräu, M., Hermsteiner, M., & Vogel, W. (1989). Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.86.18.7238
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC