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.

8923 Publications


1991 | Published | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. Natural and sexual selection on many loci. Genetics. 1991;127(1):229-255. doi:10.1093/genetics/127.1.229
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Published | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. The probability of fixation of a new karyotype in a continuous population. Evolution. 1991;45(3):499-517. doi:10.1111/j.1558-5646.1991.tb04326.x
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

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

1991 | Published | Journal Article | IST-REx-ID: 4052 | OA
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science. 1991;84(1):77-105. doi:10.1016/0304-3975(91)90261-Y
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4054
Edelsbrunner H, Seidel R, Sharir M. On the zone theorem for hyperplane arrangements. In: Vol 555. Springer; 1991:108-123. doi:10.1007/BFb0038185
View | DOI | Download None (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4055
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. In: 32nd Annual Symposium of Foundations of Computer Science. IEEE; 1991:414-423. doi:10.1109/SFCS.1991.185400
View | DOI | Download None (ext.)
 

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

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

1991 | Published | Conference Paper | IST-REx-ID: 4058
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face in an arrangement of line segments. In: Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 1991:441-448.
View | Download None (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. In: 18th International Colloquium on Automata, Languages and Programming. Vol 510. Springer; 1991:661-673. doi:10.1007/3-540-54233-7_172
View | DOI | Download None (ext.)
 

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

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

1991 | Published | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 1991:353-366. doi:10.1145/99583.99629
View | DOI | Download None (ext.)
 

1991 | Published | Thesis | PhD | IST-REx-ID: 4516
Henzinger TA. The temporal specification and verification of real-time systems . 1991.
View | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 2480 | OA
Shigemoto R, Yokota Y, Tsuchida K, Nakanishi S. Cloning and expression of a rat neuromedin K receptor cDNA. Journal of Biological Chemistry. 1990;265(2):623-628. doi:10.1016/s0021-9258(19)40095-1
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2481 | OA
Tsuchida K, Shigemoto R, Yokota Y, Nakanishi S. Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors. European Journal of Biochemistry. 1990;193(3):751-757. doi:10.1111/j.1432-1033.1990.tb19396.x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2528
Sugimoto T, Tanabe Y, Shigemoto R, et al. 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. 1990;113(1):39-47. doi:10.1007/BF01869604
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2721
Erdös L, Tuyen D. Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier. Journal of Statistical Physics. 1990;59(5-6):1589-1602. doi:10.1007/BF01334766
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764
View | DOI | Download None (ext.)
 

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

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed