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.
9828 Publications
1991 | Published | Thesis | IST-REx-ID: 4516
Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.
View
| Download None (ext.)
1991 | Published | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
View
| Download None (ext.)
1991 | Published | Conference Paper | IST-REx-ID: 4621
Alur, R., Feder, T., & Henzinger, T. A. (1991). The benefits of relaxing punctuality. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing (pp. 139–152). Montreal, Canada: ACM. https://doi.org/10.1145/227595.227602
View
| DOI
| Download None (ext.)
1991 | Published | Journal Article | IST-REx-ID: 3468
Jonas, P. M., Koh, D., Kampe, K., Hermsteiner, M., & Vogel, W. (1991). ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflügers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/BF00370453
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Published | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, H., & Sharir, M. (1991). A hyperplane incidence problem with applications to counting distances. In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift (Vol. 4, pp. 253–263). American Mathematical Society.
View
| Download None (ext.)
1991 | Published | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, H. (1991). Lines in space – A collection of results. In Discrete & Computational Geometry: Papers from the Dimacs Special Year (Vol. 6, pp. 77–93). Springer.
View
| Download None (ext.)
1991 | Published | Journal Article | IST-REx-ID: 3646
Szymura, J., & Barton, N. H. (1991). The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1991.tb04400.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Published | Journal Article | IST-REx-ID: 3647
Barton, N. H., & Turelli, M. (1991). Natural and sexual selection on many loci. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/127.1.229
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Published | Journal Article | IST-REx-ID: 3648
Barton, N. H., & Rouhani, S. (1991). The probability of fixation of a new karyotype in a continuous population. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1991.tb04326.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1990 | Published | Journal Article | IST-REx-ID: 2480 | 
Shigemoto, R., Yokota, Y., Tsuchida, K., & Nakanishi, S. (1990). Cloning and expression of a rat neuromedin K receptor cDNA. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/s0021-9258(19)40095-1
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 | Published | Journal Article | IST-REx-ID: 2481 |
Tsuchida, K., Shigemoto, R., Yokota, Y., & Nakanishi, S. (1990). Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors. European Journal of Biochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1432-1033.1990.tb19396.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 | Published | Journal Article | IST-REx-ID: 2528
Sugimoto, T., Tanabe, Y., Shigemoto, R., Iwai, M., Takumi, T., Ohkubo, H., & Nakanishi, S. (1990). Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells. Journal of Membrane Biology. Springer. https://doi.org/10.1007/BF01869604
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1990 | Published | Journal Article | IST-REx-ID: 2721
Erdös, L., & Tuyen, D. (1990). Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier. Journal of Statistical Physics. Springer. https://doi.org/10.1007/BF01334766
View
| DOI
| Download None (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4060 |
Edelsbrunner, H., Preparata, F., & West, D. (1990). Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/S0747-7171(08)80068-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4063
Edelsbrunner, H., & Mücke, E. (1990). Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/77635.77639
View
| DOI
| Download None (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4064
Edelsbrunner, H., & Souvaine, D. (1990). Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. American Statistical Association. https://doi.org/10.1080/01621459.1990.10475313
View
| DOI
| Download None (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4065
Edelsbrunner, H., Robison, A., & Shen, X. (1990). Covering convex sets with non-overlapping polygons. Discrete Mathematics. Elsevier. https://doi.org/10.1016/0012-365X(90)90147-A
View
| DOI
| Download None (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4066
Edelsbrunner, H., Guibas, L., & Sharir, M. (1990). The complexity of many cells in arrangements of planes and related problems. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187785
View
| DOI
| Download None (ext.)
1990 | Published | Conference Paper | IST-REx-ID: 4067
Edelsbrunner, H., & Sharir, M. (1990). A hyperplane Incidence problem with applications to counting distances. In Proceedings of the International Symposium on Algorithms (Vol. 450, pp. 419–428). Tokyo, Japan: Springer. https://doi.org/10.1007/3-540-52921-7_91
View
| DOI
| Download None (ext.)
1990 | Published | Journal Article | IST-REx-ID: 4068
Edelsbrunner, H., & Sharir, M. (1990). The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187778
View
| DOI
| Download None (ext.)