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.
7036 Publications
1991 |Published| Journal Article | IST-REx-ID: 4056 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| 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: 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: 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: 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: 4057 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 3468
Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflügers Archiv : European Journal of Physiology. 1991;418(1-2):68-73. doi:10.1007/BF00370453
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 1991;45(2):237-261. doi:10.1111/j.1558-5646.1991.tb04400.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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| 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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | IST-REx-ID: 4516
Henzinger TA. The temporal specification and verification of real-time systems . 1991.
View
| Download None (ext.)
1991 |Published| Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
View
| Download None (ext.)
1991 |Published| Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1991:139-152. doi:10.1145/227595.227602
View
| DOI
| Download None (ext.)
1990 |Published| Journal Article | IST-REx-ID: 2480 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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