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

6113 Publications


1991 | Journal Article | IST-REx-ID: 4062
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
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, T. A., Manna, Z., & Pnueli, A. (1991). Temporal proof methodologies for real-time systems (pp. 353–366). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/99583.99629
View | DOI | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, T. A. (1991). The Temporal Specification and Verification of Real-time Systems . Stanford University.
View | Download (ext.)
 

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

1990 | 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
View | DOI
 

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
 

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
 

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 (ext.)
 

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
 

1990 | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness (pp. 390–401). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1990.113764
View | DOI | Download (ext.)
 

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
 

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.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 3651 | OA
Barton, N. H. (1990). Pleiotropic models of quantitative variation. Genetics. Genetics Society of America.
View | Download (ext.)
 

1990 | 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
View | DOI | Download (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
 

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
 

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
 

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
 

1990 | Conference Paper | IST-REx-ID: 4067
Edelsbrunner, H., & Sharir, M. (1990). A hyperplane Incidence problem with applications to counting distances (Vol. 450, pp. 419–428). Presented at the SIGAL:  Special Interest Group on Algorithms, International Symposium on Algorithms  , Springer. https://doi.org/10.1007/3-540-52921-7_91
View | DOI
 

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
 

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
 

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
 

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 (pp. 44–52). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/98524.98535
View | DOI
 

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
 

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 (pp. 242–251). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FSCS.1990.89543
View | DOI
 

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
 

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
 

1990 | Conference Paper | IST-REx-ID: 4076
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1990). Euclidean minimum spanning trees and bichromatic closest pairs (pp. 203–210). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/98524.98567
View | DOI
 

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 (pp. 112–115). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/98524.98548
View | DOI
 

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 (pp. 116–127). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/98524.98551
View | DOI
 

1990 | Book Review | 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
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton, N. H., & Clark, A. (1990). Population structure. In K. Wöhrmann & S. Jain (Eds.), Population biology: ecological and evolutionary viewpoints (pp. 115–174). Springer.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time (pp. 717–730). Presented at the JCIT: Jerusalem Conference on Information Technology, IEEE.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties (pp. 281–296). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/93385.93429
View | DOI | Download (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
 

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.
View
 

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
 

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
 

1989 | Journal Article | IST-REx-ID: 3465
Jonas, P. M. (1989). Temperature dependence of gating current in myelinated nerve fibers. Journal of Membrane Biology. Springer. https://doi.org/10.1007/BF01870958
View | DOI
 

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.
View | Download (ext.)
 

1989 | Conference Paper | IST-REx-ID: 3549
Edelsbrunner, H. (1989). Spatial triangulations with dihedral angle conditions (pp. 83–89). Presented at the International Workshop on Discrete Algorithms and Complexity, Institute of the Electronics, Information and Communication Enginneers.
View
 

1989 | Conference Paper | IST-REx-ID: 4596
Alur, R., & Henzinger, T. A. (1989). A really temporal logic (pp. 164–169). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1989.63473
View | DOI | Download (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.
View | Download (ext.)
 

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
 

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
 

1989 | Journal Article | IST-REx-ID: 4079
Edelsbrunner, H., & Skiena, S. (1989). On the number of furthest neighbor pairs in a point set. American Mathematical Monthly. Mathematical Association of America.
View | Download (ext.)
 

1989 | Journal Article | IST-REx-ID: 4080
Edelsbrunner, H., Hasan, N., Seidel, R., & Shen, X. (1989). Circles through two points that always enclose many points. Geometriae Dedicata. Kluwer. https://doi.org/10.1007/BF00181432
View | DOI
 

1989 | Journal Article | IST-REx-ID: 4081
Edelsbrunner, H., Guibas, L., & Sharir, M. (1989). The upper envelope of piecewise linear functions: Algorithms and applications. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187733
View | DOI
 

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
View | DOI
 

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
View | DOI
 

Search

Filter Publications