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.

9114 Publications


1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner, H. (1992). Guest editor’s foreword. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02293046
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg, C.-P. J., Thoenen, H., & Lindholm, D. (1992). Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/00001756-199208000-00008
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, T., Barton, N. H., & Searle, J. (1992). A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb00624.x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 4308
Barton, N. H. (1992). On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.
View | Download None (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth & W. Lidicker (Eds.), Animal dispersal: small mammals as a model (pp. 37–60). Chapman Hall. https://doi.org/10.1007/978-94-011-2338-9_3
View | DOI | Download None (ext.)
 

1992 | Book Review | IST-REx-ID: 4306
Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature. Nature Publishing Group. https://doi.org/10.1038/357440a0
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1317970
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 3581 | OA
Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1992). Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/0925-7721(92)90009-H
[Published Version] View | DOI | Download Published Version (ext.)
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, N., Szymura, J., & Barton, N. H. (1992). Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb02068.x
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations. In I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics (Vol. 583, pp. 46–60). São Paulo, Brazil: Springer. https://doi.org/10.1007/BFb0023816
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4047 | OA
Edelsbrunner, H., Guibas, L., Pach, J., Pollack, R., Seidel, R., & Sharir, M. (1992). Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(92)90319-B
[Published Version] View | DOI | Download Published Version (ext.)
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle, B., & Edelsbrunner, H. (1992). An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. ACM. https://doi.org/10.1145/147508.147511
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1992). An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/0913058
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, A., Edelsbrunner, H., Raghavan, P., & Tiwari, P. (1992). Optimal time bounds for some proximity problems in the plane. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90133-G
View | DOI | Download None (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems. In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (pp. 394–406). Santa Cruz, CA, United States of America: IEEE. https://doi.org/10.1109/LICS.1992.185551
View | DOI | Download None (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103
View | DOI | Download None (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90005-G
View | DOI | Download None (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4593
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In REX Workshop on Real Time: Theory in Practice (Vol. 600, pp. 74–106). Mook, The Netherlands: Springer. https://doi.org/10.1007/BFb0031984
View | DOI | Download None (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, R., & Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages. In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (pp. 177–186). Pittsburgh, PA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1992.267774
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, S., Sazanov, L. A., Koshkin, A., Sud’Ina, G., & Varfolomeev, S. (1991). Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(91)81109-L
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, K., Masu, M., Ishii, T., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1991). Molecular cloning and characterization of the rat NMDA receptor. Nature. Nature Publishing Group. https://doi.org/10.1038/354031a0
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. Nature. Nature Publishing Group. https://doi.org/10.1038/349760a0
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui, Y., Itoh, K., Kaneko, T., Shigemoto, R., & Mizuno, N. (1991). Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental Brain Research. Springer. https://doi.org/10.1007/BF00229988
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Book Chapter | IST-REx-ID: 2530
Nakanishi, S., Ohkubo, H., Kakizuka, A., Yokota, Y., Shigemoto, R., Sasai, Y., & Takumi, T. (1991). Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In Recent Progress in Hormone Research (Vol. 46, pp. 59–83). The Endocrine Society. https://doi.org/10.1016/b978-0-12-571146-3.50007-9
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | 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 | 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 | Journal Article | IST-REx-ID: 4052 | OA
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1991). A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(91)90261-Y
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Journal Article | IST-REx-ID: 4056 | OA
Edelsbrunner, H., & Hajnal, P. (1991). A lower bound on the number of unit distances between the vertices of a convex polygon. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/0097-3165(91)90042-F
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, H., Seidel, R., & Sharir, M. (1991). On the zone theorem for hyperplane arrangements (Vol. 555, pp. 108–123). Presented at the New Results and New Trends in Computer Science , Springer. https://doi.org/10.1007/BFb0038185
View | DOI | Download None (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Snoeyink, J. (1991). Computing a face in an arrangement of line segments. In Proceedings of the 2nd annual ACM-SIAM symposium on Discrete algorithms (pp. 441–448). San Francisco, CA, United States of America: SIAM.
View | Download None (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner, H., & Tan, T. (1991). A quadratic time algorithm for the minmax length triangulation. In 32nd Annual Symposium of Foundations of Computer Science (pp. 414–423). San Juan, PR, United States of America: IEEE. https://doi.org/10.1109/SFCS.1991.185400
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner, H., & Shi, W. (1991). An O(n log^2 h) time algorithm for the three-dimensional convex hull problem. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0220016
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 4057 | OA
Edelsbrunner, H. (1991). Corrigendum. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/0022-0000(91)90013-U
[Published Version] View | DOI | Download Published Version (ext.)
 

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

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., & Snoeyink, J. (1991). Ray shooting in polygons using geodesic triangulations. In 18th International Colloquium on Automata, Languages and Programming (Vol. 510, pp. 661–673). Madrid, Spain: Springer. https://doi.org/10.1007/3-540-54233-7_172
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 4061 | OA
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1991). Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574698
[Published Version] View | DOI | Download Published Version (ext.)
 

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
 

Search

Filter Publications