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.

6403 Publications


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. Elsevier. 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. Elsevier. 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. Elsevier. 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. Springer. 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. 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.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
View | Download (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. Pflugers Archiv : European Journal of Physiology. Springer. 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. Wiley-Blackwell.
View | Download (ext.)
 

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.
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. Wiley-Blackwell.
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
 

Search

Filter Publications