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.

8924 Publications


1991 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Thesis | PhD | IST-REx-ID: 4516
Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.
View | Download None (ext.)
 

1991 | Published | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
View | Download None (ext.)
 

1991 | Published | 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.)
 

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

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

1990 | Published | Book Chapter | IST-REx-ID: 3565
Dobkin, D., Edelsbrunner, H., & Yap, C. (1990). Probing convex polytopes. In I. Cox & G. Wilfong (Eds.), Autonomous Robot Vehicles (pp. 328–341). Springer. https://doi.org/10.1007/978-1-4613-8997-2_25
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 3649
Turelli, M., & Barton, N. H. (1990). Dynamics of polygenic characters under selection. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/0040-5809(90)90002-D
View | DOI | Download None (ext.)
 

1990 | Published | 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
 

1990 | Published | Journal Article | IST-REx-ID: 3651 | OA
Barton, N. H. (1990). Pleiotropic models of quantitative variation. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/124.3.773
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed