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.

9104 Publications


1991 | Journal Article | IST-REx-ID: 4062 | OA
Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Wenger, R. (1991). Points and triangles in the plane and halving planes in space. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574700
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, T. A., Manna, Z., & Pnueli, A. (1991). Temporal proof methodologies for real-time systems. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 353–366). Orlando, FL, United States of America: ACM. https://doi.org/10.1145/99583.99629
View | DOI | Download None (ext.)
 

1991 | 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 | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
View | Download None (ext.)
 

1991 | 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.)
 

1990 | Journal Article | IST-REx-ID: 2480 | OA
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 | Journal Article | IST-REx-ID: 2481 | OA
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 | 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 | 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 | Journal Article | IST-REx-ID: 3650 | OA
Mallet, J., Barton, N. H., Lamas, G., Santisteban, J., Muedas, M., & Eeley, H. (1990). Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/124.4.921
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Journal Article | IST-REx-ID: 3649
Turelli, M., & Barton, N. H. (1990). Dynamics of polygenic characters under selection. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/0040-5809(90)90002-D
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 3651 | OA
Barton, N. H. (1990). Pleiotropic models of quantitative variation. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/124.3.773
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | 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 | 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 | Journal Article | IST-REx-ID: 4072
Edelsbrunner, H., Guibas, L., & Sharir, M. (1990). The complexity and construction of many faces in arrangements of lines and of segments. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187784
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4073
Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1990). Counting and cutting cycles of lines and rods in space. In 31st Annual Symposium on Foundations of Computer Science (pp. 242–251). St. Louis, MO, United States of America: IEEE. https://doi.org/10.1109/FSCS.1990.89543
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4070
Edelsbrunner, H., Overmars, M., Welzl, E., Hartman, I., & Feldman, J. (1990). Ranking intervals under visibility constraints. International Journal of Computer Mathematics. Taylor & Francis. https://doi.org/10.1080/00207169008803871
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4071
Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1990). An O(n^2log n) time algorithm for the MinMax angle triangulation. In Proceedings of the 6th annual symposium on Computational geometry (pp. 44–52). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98535
View | DOI | Download None (ext.)
 

1990 | 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.)
 

1990 | Journal Article | IST-REx-ID: 4069
Edelsbrunner, H. (1990). An acyclicity theorem for cell complexes in d dimension. Combinatorica. Springer. https://doi.org/10.1007/BF02122779
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 3467 | OA
Bräu, M., Dreyer, F., Jonas, P. M., Repp, H., & Vogel, W. (1990). A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1990.sp017918
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1990 | Book Chapter | IST-REx-ID: 3565
Dobkin, D., Edelsbrunner, H., & Yap, C. (1990). Probing convex polytopes. In I. Cox & G. Wilfong (Eds.), Autonomous Robot Vehicles (pp. 328–341). Springer. https://doi.org/10.1007/978-1-4613-8997-2_25
View | DOI | Download None (ext.)
 

1990 | 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 | 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 | Journal Article | IST-REx-ID: 4060 | OA
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 | 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 | Journal Article | IST-REx-ID: 4074
Clarkson, K., Edelsbrunner, H., Guibas, L., Sharir, M., & Welzl, E. (1990). Combinatorial complexity bounds for arrangements of curves and spheres. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187783
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4078
Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., & Sharir, M. (1990). Slimming down by adding; selecting heavily covered points. In Proceedings of the 6th annual symposium on computational geometry (pp. 116–127). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98551
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4076
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1990). Euclidean minimum spanning trees and bichromatic closest pairs. In Proceedings of the 6th annual symposium on Computational geometry (pp. 203–210). Berkeley, CA, United States: ACM. https://doi.org/10.1145/98524.98567
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4077
Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Wenger, R. (1990). Points and triangles in the plane and halving planes in space. In Proceedings of the 6th annual symposium on Computational geometry (pp. 112–115). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98548
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4075
Dobkin, D., Edelsbrunner, H., & Overmars, M. (1990). Searching for empty convex polygons. Algorithmica. Springer. https://doi.org/10.1007/BF01840404
View | DOI | Download None (ext.)
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton, N. H., & Clark, A. (1990). Population structure and processes in evolution. In K. Wöhrmann & S. Jain (Eds.), Population biology: Ecological and evolutionary viewpoints (pp. 115–174). Springer. https://doi.org/10.1007/978-3-642-74474-7_5
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4310
Barton, N. H., & Jones, S. (1990). The language of the genes. Nature. Nature Publishing Group. https://doi.org/10.1038/346415a0
View | DOI | Download None (ext.)
 

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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

Search

Filter Publications