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. 32nd Annual Symposium of Foundations of Computer Science. FOCS: Foundations of Computer Science, 414–423.
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. 56(2), 312–316.
[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. 42(2), 249–251.
[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. Proceedings of the 2nd annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 441–448.
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. 18th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 510, 661–673.
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. 6(1), 407–422.
[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. 6(1), 435–442.
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. 1991. Temporal proof methodologies for real-time systems. Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 353–366.
View | DOI | Download None (ext.)
 

1991 | Published | Thesis | PhD | IST-REx-ID: 4516
Henzinger TA. 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 TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
View | Download None (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality. Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 139–152.
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. 349(6312), 760–765.
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. 353(6348), 31–37.
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. 85(1), 75–84.
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, 59–83.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 3467 | OA
Bräu M, Dreyer F, Jonas PM, 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. 420, 365–385.
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: Autonomous Robot Vehicles. , 328–341.
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 3649
Turelli M, Barton NH. 1990. Dynamics of polygenic characters under selection. Theoretical Population Biology. 38(1), 1–57.
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 3650 | OA
Mallet J, Barton NH, 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. 124(4), 921–936.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 3651 | OA
Barton NH. 1990. Pleiotropic models of quantitative variation. Genetics. 124(3), 773–782.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed