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.

6077 Publications


1992 | Book Chapter | IST-REx-ID: 4593
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In Real Time: Theory in Practice (Vol. 600, pp. 74–106). Springer. https://doi.org/10.1007/BFb0031984
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, R., & Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages (pp. 177–186). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1992.267774
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös, L. (1992). On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica, 59(1–2), 11–24. https://doi.org/10.1007/BF00052086
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös, L., & Tuyen, D. (1992). Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics, 143(3), 451–466. https://doi.org/10.1007/BF02099260
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, L. A., & Zaǐtsev, S. (1992). Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biokhimiya, 57(10), 1443–1460.
View
 

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, 256(5063), 1566–1570. https://doi.org/10.1126/science.1317970
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, P. M., & Sakmann, B. (1992). Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology, 455, 143–171.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun, D., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology, 458, 261–287. https://doi.org/10.1113/jphysiol.1992.sp019417
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, D., Jonas, P. M., Bräu, M., & Vogel, W. (1992). A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology, 130, 149–162. https://doi.org/10.1007/BF00231893
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
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, 1(6), 305–323. https://doi.org/10.1016/0925-7721(92)90009-H
View | DOI
 

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, 46(3), 595–607.
View | Download (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, 3(8), 685–688.
View
 

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, 349(6312), 760–765. https://doi.org/10.1038/349760a0
View | DOI
 

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, 353(6348), 31–37. https://doi.org/10.1038/354031a0
View | DOI
 

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, 85(1), 75–84. https://doi.org/10.1007/BF00229988
View | DOI
 

1991 | Journal Article | 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. Recent Progress in Hormone Research, 46(1), 59–83.
View
 

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, 20(2), 259–269. https://doi.org/10.1137/0220016
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4052
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, 84(1), 77–105. https://doi.org/10.1016/0304-3975(91)90261-Y
View | DOI
 

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
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner, H., & Tan, T. (1991). A quadratic time algorithm for the minmax length triangulation (pp. 414–423). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1991.185400
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4056
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, 56(2), 312–316. https://doi.org/10.1016/0097-3165(91)90042-F
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner, H. (1991). Corrigendum. Journal of Computer and System Sciences, 42(2), 249–251. https://doi.org/10.1016/0022-0000(91)90013-U
View | DOI
 

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 (pp. 441–448). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

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 (Vol. 510, pp. 661–673). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-54233-7_172
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1991). Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry, 6(1), 407–422. https://doi.org/10.1007/BF02574698
View | DOI
 

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, 6(1), 435–442. 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.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News, 22(3), 6–12.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, R., Feder, T., & Henzinger, T. A. (1991). The benefits of relaxing punctuality (pp. 139–152). Presented at the PODC: Principles of Distributed Computing, ACM.
View
 

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, 291(1), 84–86. https://doi.org/10.1016/0014-5793(91)81109-L
View | DOI
 

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. Pflugers Archiv : European Journal of Physiology, 418(1–2), 68–73. https://doi.org/10.1007/BF00370453
View | DOI
 

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

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, H. (1991). Lines in space – A collection of results. In Discrete & Computational Geometry (Vol. 6, pp. 77–93). Springer.
View | Download (ext.)
 

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, 45(2), 237–261.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3647
Barton, N. H., & Turelli, M. (1991). Natural and sexual selection on many loci. Genetics, 127(1), 229–255.
View | Download (ext.)
 

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, 45(3), 499–517.
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, 265(2), 623–628.
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, 193(3), 751–757. 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, 113(1), 39–47. https://doi.org/10.1007/BF01869604
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner, H., Preparata, F., & West, D. (1990). Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation, 10(3–4), 335–347. 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, 9(1), 66–104. 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, 85(409), 115–119. 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, 81(2), 153–164. 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, 5(1), 197–216. 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, 5(1), 35–42. 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, 10(3), 251–260. 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, 34(3–4), 129–144. 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
 

Search

Filter Publications