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.
9087 Publications
1992 | Journal Article | IST-REx-ID: 4517
Sooner Is Safer Than Later
T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
1992 | Conference Paper | IST-REx-ID: 4593
Logics and models of real time: A survey
R. Alur, T.A. Henzinger, in:, REX Workshop on Real Time: Theory in Practice, Springer, 1992, pp. 74–106.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, REX Workshop on Real Time: Theory in Practice, Springer, 1992, pp. 74–106.
1992 | Conference Paper | IST-REx-ID: 4594
Back to the future: Towards a theory of timed regular languages
R. Alur, T.A. Henzinger, in:, Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, pp. 177–186.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, pp. 177–186.
1991 | Journal Article | IST-REx-ID: 1946
Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide
S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.
1991 | Journal Article | IST-REx-ID: 2483
Molecular cloning and characterization of the rat NMDA receptor
K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 353 (1991) 31–37.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 353 (1991) 31–37.
1991 | Journal Article | IST-REx-ID: 2482
Sequence and expression of a metabotropic glutamate receptor
M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991) 760–765.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991) 760–765.
1991 | Journal Article | IST-REx-ID: 2529
Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat
Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain Research 85 (1991) 75–84.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain Research 85 (1991) 75–84.
1991 | Book Chapter | IST-REx-ID: 2530
Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.
1991 | Book Chapter | IST-REx-ID: 3566
A hyperplane incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.
View
| Download None (ext.)
H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.
1991 | Book Chapter | IST-REx-ID: 3567
Lines in space – A collection of results
H. Edelsbrunner, in:, Discrete & Computational Geometry: Papers from the Dimacs Special Year, Springer, 1991, pp. 77–93.
View
| Download None (ext.)
H. Edelsbrunner, in:, Discrete & Computational Geometry: Papers from the Dimacs Special Year, Springer, 1991, pp. 77–93.
1991 | Journal Article | IST-REx-ID: 4052 | 
A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
1991 | Journal Article | IST-REx-ID: 4056 |
A lower bound on the number of unit distances between the vertices of a convex polygon
H. Edelsbrunner, P. Hajnal, Journal of Combinatorial Theory Series A 56 (1991) 312–316.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, P. Hajnal, Journal of Combinatorial Theory Series A 56 (1991) 312–316.
1991 | Conference Paper | IST-REx-ID: 4054
On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, in:, Springer, 1991, pp. 108–123.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, R. Seidel, M. Sharir, in:, Springer, 1991, pp. 108–123.
1991 | Conference Paper | IST-REx-ID: 4058
Computing a face in an arrangement of line segments
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, in:, Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 1991, pp. 441–448.
View
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, in:, Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 1991, pp. 441–448.
1991 | Conference Paper | IST-REx-ID: 4055
A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, in:, 32nd Annual Symposium of Foundations of Computer Science, IEEE, 1991, pp. 414–423.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, T. Tan, in:, 32nd Annual Symposium of Foundations of Computer Science, IEEE, 1991, pp. 414–423.
1991 | Journal Article | IST-REx-ID: 4051
An O(n log^2 h) time algorithm for the three-dimensional convex hull problem
H. Edelsbrunner, W. Shi, SIAM Journal on Computing 20 (1991) 259–269.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, W. Shi, SIAM Journal on Computing 20 (1991) 259–269.
1991 | Journal Article | IST-REx-ID: 4057 |
Corrigendum
H. Edelsbrunner, Journal of Computer and System Sciences 42 (1991) 249–251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Journal of Computer and System Sciences 42 (1991) 249–251.
1991 | Journal Article | IST-REx-ID: 3468
ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability
P.M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, W. Vogel, Pflügers Archiv : European Journal of Physiology 418 (1991) 68–73.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, W. Vogel, Pflügers Archiv : European Journal of Physiology 418 (1991) 68–73.
1991 | Journal Article | IST-REx-ID: 3646
The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci
J. Szymura, N.H. Barton, Evolution 45 (1991) 237–261.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Szymura, N.H. Barton, Evolution 45 (1991) 237–261.
1991 | Journal Article | IST-REx-ID: 3647
Natural and sexual selection on many loci
N.H. Barton, M. Turelli, Genetics 127 (1991) 229–255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, M. Turelli, Genetics 127 (1991) 229–255.
1991 | Journal Article | IST-REx-ID: 3648
The probability of fixation of a new karyotype in a continuous population
N.H. Barton, S. Rouhani, Evolution 45 (1991) 499–517.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, S. Rouhani, Evolution 45 (1991) 499–517.
1991 | Conference Paper | IST-REx-ID: 4059
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, in:, 18th International Colloquium on Automata, Languages and Programming, Springer, 1991, pp. 661–673.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, in:, 18th International Colloquium on Automata, Languages and Programming, Springer, 1991, pp. 661–673.
1991 | Journal Article | IST-REx-ID: 4061 |
Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, Discrete & Computational Geometry 6 (1991) 407–422.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, Discrete & Computational Geometry 6 (1991) 407–422.
1991 | Journal Article | IST-REx-ID: 4062 |
Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, Discrete & Computational Geometry 6 (1991) 435–442.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, Discrete & Computational Geometry 6 (1991) 435–442.
1991 | Conference Paper | IST-REx-ID: 4508
Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–366.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–366.
1991 | Thesis | IST-REx-ID: 4516
The temporal specification and verification of real-time systems
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
View
| Download None (ext.)
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
1991 | Journal Article | IST-REx-ID: 4592
Time for logic
R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
View
| Download None (ext.)
R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
1991 | Conference Paper | IST-REx-ID: 4621
The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.
View
| DOI
| Download None (ext.)
R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.
1990 | Journal Article | IST-REx-ID: 2480 |
Cloning and expression of a rat neuromedin K receptor cDNA
R. Shigemoto, Y. Yokota, K. Tsuchida, S. Nakanishi, Journal of Biological Chemistry 265 (1990) 623–628.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Shigemoto, Y. Yokota, K. Tsuchida, S. Nakanishi, Journal of Biological Chemistry 265 (1990) 623–628.
1990 | Journal Article | IST-REx-ID: 2481 |
Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors
K. Tsuchida, R. Shigemoto, Y. Yokota, S. Nakanishi, European Journal of Biochemistry 193 (1990) 751–757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Tsuchida, R. Shigemoto, Y. Yokota, S. Nakanishi, European Journal of Biochemistry 193 (1990) 751–757.
1990 | Journal Article | IST-REx-ID: 2528
Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells
T. Sugimoto, Y. Tanabe, R. Shigemoto, M. Iwai, T. Takumi, H. Ohkubo, S. Nakanishi, Journal of Membrane Biology 113 (1990) 39–47.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Sugimoto, Y. Tanabe, R. Shigemoto, M. Iwai, T. Takumi, H. Ohkubo, S. Nakanishi, Journal of Membrane Biology 113 (1990) 39–47.
1990 | Journal Article | IST-REx-ID: 2721
Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier
L. Erdös, D. Tuyen, Journal of Statistical Physics 59 (1990) 1589–1602.
View
| DOI
| Download None (ext.)
L. Erdös, D. Tuyen, Journal of Statistical Physics 59 (1990) 1589–1602.
1990 | Journal Article | IST-REx-ID: 3650 |
Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones
J. Mallet, N.H. Barton, G. Lamas, J. Santisteban, M. Muedas, H. Eeley, Genetics 124 (1990) 921–936.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Mallet, N.H. Barton, G. Lamas, J. Santisteban, M. Muedas, H. Eeley, Genetics 124 (1990) 921–936.
1990 | Journal Article | IST-REx-ID: 3649
Dynamics of polygenic characters under selection
M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
View
| DOI
| Download None (ext.)
M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
1990 | Journal Article | IST-REx-ID: 3651 |
Pleiotropic models of quantitative variation
N.H. Barton, Genetics 124 (1990) 773–782.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetics 124 (1990) 773–782.
1990 | Conference Paper | IST-REx-ID: 4067
A hyperplane Incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Proceedings of the International Symposium on Algorithms, Springer, 1990, pp. 419–428.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, M. Sharir, in:, Proceedings of the International Symposium on Algorithms, Springer, 1990, pp. 419–428.
1990 | Journal Article | IST-REx-ID: 4066
The complexity of many cells in arrangements of planes and related problems
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 197–216.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 197–216.
1990 | Journal Article | IST-REx-ID: 4072
The complexity and construction of many faces in arrangements of lines and of segments
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 161–196.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 161–196.
1990 | Conference Paper | IST-REx-ID: 4073
Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–251.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–251.
1990 | Journal Article | IST-REx-ID: 4070
Ranking intervals under visibility constraints
H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International Journal of Computer Mathematics 34 (1990) 129–144.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International Journal of Computer Mathematics 34 (1990) 129–144.
1990 | Conference Paper | IST-REx-ID: 4071
An O(n^2log n) time algorithm for the MinMax angle triangulation
H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 44–52.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 44–52.
1990 | Journal Article | IST-REx-ID: 4068
The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2
H. Edelsbrunner, M. Sharir, Discrete & Computational Geometry 5 (1990) 35–42.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, M. Sharir, Discrete & Computational Geometry 5 (1990) 35–42.
1990 | Journal Article | IST-REx-ID: 4069
An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, Combinatorica 10 (1990) 251–260.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, Combinatorica 10 (1990) 251–260.
1990 | Journal Article | IST-REx-ID: 3467 |
A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments
M. Bräu, F. Dreyer, P.M. Jonas, H. Repp, W. Vogel, Journal of Physiology 420 (1990) 365–385.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Bräu, F. Dreyer, P.M. Jonas, H. Repp, W. Vogel, Journal of Physiology 420 (1990) 365–385.
1990 | Book Chapter | IST-REx-ID: 3565
Probing convex polytopes
D. Dobkin, H. Edelsbrunner, C. Yap, in:, I. Cox, G. Wilfong (Eds.), Autonomous Robot Vehicles, Springer, 1990, pp. 328–341.
View
| DOI
| Download None (ext.)
D. Dobkin, H. Edelsbrunner, C. Yap, in:, I. Cox, G. Wilfong (Eds.), Autonomous Robot Vehicles, Springer, 1990, pp. 328–341.
1990 | Journal Article | IST-REx-ID: 4064
Computing least median of squares regression lines and guided topological sweep
H. Edelsbrunner, D. Souvaine, Journal of the American Statistical Association 85 (1990) 115–119.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, D. Souvaine, Journal of the American Statistical Association 85 (1990) 115–119.
1990 | Journal Article | IST-REx-ID: 4063
Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 9 (1990) 66–104.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 9 (1990) 66–104.
1990 | Journal Article | IST-REx-ID: 4060 |
Tetrahedrizing point sets in three dimensions
H. Edelsbrunner, F. Preparata, D. West, Journal of Symbolic Computation 10 (1990) 335–347.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, F. Preparata, D. West, Journal of Symbolic Computation 10 (1990) 335–347.
1990 | Journal Article | IST-REx-ID: 4065
Covering convex sets with non-overlapping polygons
H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.
1990 | Journal Article | IST-REx-ID: 4074
Combinatorial complexity bounds for arrangements of curves and spheres
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
View
| DOI
| Download None (ext.)
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
1990 | Conference Paper | IST-REx-ID: 4078
Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–127.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–127.
1990 | Conference Paper | IST-REx-ID: 4076
Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–210.
View
| DOI
| Download None (ext.)
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–210.
1990 | Conference Paper | IST-REx-ID: 4077
Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 112–115.
View
| DOI
| Download None (ext.)
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 112–115.
1990 | Journal Article | IST-REx-ID: 4075
Searching for empty convex polygons
D. Dobkin, H. Edelsbrunner, M. Overmars, Algorithmica 5 (1990) 561–571.
View
| DOI
| Download None (ext.)
D. Dobkin, H. Edelsbrunner, M. Overmars, Algorithmica 5 (1990) 561–571.
1990 | Book Chapter | IST-REx-ID: 4311
Population structure and processes in evolution
N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.
View
| DOI
| Download None (ext.)
N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.
1990 | Journal Article | IST-REx-ID: 4310
The language of the genes
N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
View
| DOI
| Download None (ext.)
N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
1990 | Conference Paper | IST-REx-ID: 4510
An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
1990 | Conference Paper | IST-REx-ID: 4522
Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
1990 | Conference Paper | IST-REx-ID: 4597
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
1989 | Journal Article | IST-REx-ID: 2479
Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
1989 | Journal Article | IST-REx-ID: 2525 |
Molecular characterization of a functional cDNA for rat substance P receptor
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.
1989 | Journal Article | IST-REx-ID: 2526
Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat
T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 479 (1989) 157–161.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 479 (1989) 157–161.
1989 | Journal Article | IST-REx-ID: 2527
Effect of endothelin on gastric mucosal blood flow in rat
Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S., Miwa Y., Akagami N., Katsu K., Yamauchi D., Japanese Journal of Gastroenterology 86 (1989) 2627.
View
| DOI
| Download None (ext.)
Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S., Miwa Y., Akagami N., Katsu K., Yamauchi D., Japanese Journal of Gastroenterology 86 (1989) 2627.
1989 | Journal Article | IST-REx-ID: 3652 |
Inference from clines stabilized by frequency-dependent selection
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
1989 | Journal Article | IST-REx-ID: 3653
Strong natural selection in a warning color hybrid zone
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
1989 | Journal Article | IST-REx-ID: 3654
Adaptation, speciation and hybrid zones
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
1989 | Journal Article | IST-REx-ID: 4088 |
Implicitly representing arrangements of lines or segments
H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, J. Snoeyink, E. Welzl, Discrete & Computational Geometry 4 (1989) 433–466.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, J. Snoeyink, E. Welzl, Discrete & Computational Geometry 4 (1989) 433–466.
1989 | Journal Article | IST-REx-ID: 4082 |
Topologically sweeping an arrangement
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.
1989 | Journal Article | IST-REx-ID: 4089 |
On arrangements of Jordan arcs with three intersections per pair
H. Edelsbrunner, L. Guibas, J. Hershberger, J. Pach, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Discrete & Computational Geometry 4 (1989) 523–539.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, J. Hershberger, J. Pach, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Discrete & Computational Geometry 4 (1989) 523–539.
1989 | Journal Article | IST-REx-ID: 4083 |
Partitioning space for range queries
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.
1989 | Journal Article | IST-REx-ID: 4084 |
Testing the necklace condition for shortest tours and optimal factors in the plane
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
1989 | Conference Paper | IST-REx-ID: 4087
Tetrahedrizing point sets in three dimensions
H. Edelsbrunner, F. Preparata, D. West, in:, International Symposium on Symbolic and Algebraic Computation, Springer, 1989, pp. 315–331.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, F. Preparata, D. West, in:, International Symposium on Symbolic and Algebraic Computation, Springer, 1989, pp. 315–331.
1989 | Conference Paper | IST-REx-ID: 4085
An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.
1989 | Journal Article | IST-REx-ID: 4086 |
The upper envelope of piecewise linear functions: Tight bounds on the number of faces
H. Edelsbrunner, Discrete & Computational Geometry 4 (1989) 337–343.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Discrete & Computational Geometry 4 (1989) 337–343.
1989 | Journal Article | IST-REx-ID: 4309
A comparison of three methods for estimating average levels of gene flow
M. Slatkin, N.H. Barton, Evolution; International Journal of Organic Evolution 43 (1989) 1349–1368.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Slatkin, N.H. Barton, Evolution; International Journal of Organic Evolution 43 (1989) 1349–1368.
1989 | Journal Article | IST-REx-ID: 3466 |
Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.
1989 | Journal Article | IST-REx-ID: 3465
Temperature dependence of gating current in myelinated nerve fibers
P.M. Jonas, Journal of Membrane Biology 112 (1989) 277–289.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, Journal of Membrane Biology 112 (1989) 277–289.
1989 | Conference Paper | IST-REx-ID: 3549
Spatial triangulations with dihedral angle conditions
H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication Enginneers, 1989, pp. 83–89.
View
| Download None (ext.)
H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication Enginneers, 1989, pp. 83–89.
1989 | Journal Article | IST-REx-ID: 4081 |
The upper envelope of piecewise linear functions: Algorithms and applications
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 4 (1989) 311–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 4 (1989) 311–336.
1989 | Journal Article | IST-REx-ID: 4080
Circles through two points that always enclose many points
H. Edelsbrunner, N. Hasan, R. Seidel, X. Shen, Geometriae Dedicata 32 (1989) 1–12.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, N. Hasan, R. Seidel, X. Shen, Geometriae Dedicata 32 (1989) 1–12.
1989 | Journal Article | IST-REx-ID: 4079
On the number of furthest neighbor pairs in a point set
H. Edelsbrunner, S. Skiena, American Mathematical Monthly 96 (1989) 614–618.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, S. Skiena, American Mathematical Monthly 96 (1989) 614–618.
1989 | Conference Paper | IST-REx-ID: 4092
A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, in:, 16th International Colloquium on Automata, Languages, and Programming, Springer, 1989, pp. 179–193.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, in:, 16th International Colloquium on Automata, Languages, and Programming, Springer, 1989, pp. 179–193.
1989 | Journal Article | IST-REx-ID: 4093
The complexity of cutting complexes
B. Chazelle, H. Edelsbrunner, L. Guibas, Discrete & Computational Geometry 4 (1989) 139–181.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, Discrete & Computational Geometry 4 (1989) 139–181.
1989 | Journal Article | IST-REx-ID: 4314
The divergence of a polygenic system under stabilising selection, mutation and drift
N.H. Barton, Genetical Research 54 (1989) 59–78.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetical Research 54 (1989) 59–78.
1989 | Journal Article | IST-REx-ID: 4312
Evolutionary quantitative genetics: how little do we know?
N.H. Barton, M. Turelli, Annual Review of Genetics 23 (1989) 337–370.
View
| DOI
| Download None (ext.)
N.H. Barton, M. Turelli, Annual Review of Genetics 23 (1989) 337–370.
1989 | Book Chapter | IST-REx-ID: 4313
Founder effect speciation
N.H. Barton, in:, D. Otte, J. Endler (Eds.), Speciation and Its Consequences, Sinauer Press, 1989.
View
| Download None (ext.)
N.H. Barton, in:, D. Otte, J. Endler (Eds.), Speciation and Its Consequences, Sinauer Press, 1989.
1989 | Conference Paper | IST-REx-ID: 4596
A really temporal logic
R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.
1988 | Journal Article | IST-REx-ID: 1941
Mathematical model of photosynthesis regulation accounts for the effects of changes in external conditions and observed oscillations
L.A. Sazanov, V.A. Karavaev, A.K. Kukushkin, Russian Journal of Physical Chemistry B 52 (1988) 3351–3354.
View
L.A. Sazanov, V.A. Karavaev, A.K. Kukushkin, Russian Journal of Physical Chemistry B 52 (1988) 3351–3354.
1988 | Journal Article | IST-REx-ID: 2523
Direct projections from the subthalamic nucleus of Luys to the spinal cord in the Japanese monkey
N. Mizuno, T. Ueyama, K. Itoh, T. Satoda, T. Tashiro, R. Shigemoto, Neuroscience Letters 89 (1988) 13–18.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N. Mizuno, T. Ueyama, K. Itoh, T. Satoda, T. Tashiro, R. Shigemoto, Neuroscience Letters 89 (1988) 13–18.
1988 | Journal Article | IST-REx-ID: 2522
Direct projections of non-pyramidal neurons of Ammon's horn to the supramammillary region in the cat
T. Ino, K. Itoh, H. Kamiya, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 460 (1988) 173–177.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Ino, K. Itoh, H. Kamiya, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 460 (1988) 173–177.
1988 | Journal Article | IST-REx-ID: 2524
Metabolism of glutamate and ammonia in astrocyte an immunocytochemical study
T. Kaneko, R. Shigemoto, N. Mizuno, Brain Research 457 (1988) 160–164.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, R. Shigemoto, N. Mizuno, Brain Research 457 (1988) 160–164.
1988 | Journal Article | IST-REx-ID: 3655 |
Interracial rDNA variation in the grasshopper Podisma Pedestris
J. Dallas, N.H. Barton, G. Dover, Molecular Biology and Evolution 5 (1988) 660–674.
View
| DOI
| Download None (ext.)
J. Dallas, N.H. Barton, G. Dover, Molecular Biology and Evolution 5 (1988) 660–674.
1988 | Book Review | IST-REx-ID: 4318
No barriers to speciation
N.H. Barton, S. Jones, J. Mallet, Nature 336 (1988) 13–14.
View
| DOI
| Download None (ext.)
N.H. Barton, S. Jones, J. Mallet, Nature 336 (1988) 13–14.
1988 | Conference Paper | IST-REx-ID: 4097
Arrangements of curves in the plane - topology, combinatorics, and algorithms
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 214–229.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 214–229.
1988 | Journal Article | IST-REx-ID: 4090 |
Minimum polygonal separation
H. Edelsbrunner, F. Preparata, Information and Computation 77 (1988) 218–232.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, F. Preparata, Information and Computation 77 (1988) 218–232.
1988 | Conference Paper | IST-REx-ID: 4096
Geometric structures in computational geometry
H. Edelsbrunner, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 201–213.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 201–213.
1988 | Journal Article | IST-REx-ID: 4091
Probing convex polygons with X-Rays
H. Edelsbrunner, S. Skiena, SIAM Journal on Computing 17 (1988) 870–882.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, S. Skiena, SIAM Journal on Computing 17 (1988) 870–882.
1988 | Book Chapter | IST-REx-ID: 4317
Speciation
N.H. Barton, in:, A. Myers, P. Giller (Eds.), Analytical Biogeography: An Integrated Approach to the Study of Animal and Plant Distributions, 1st ed., Springer, 1988, pp. 185–218.
View
| DOI
| Download None (ext.)
N.H. Barton, in:, A. Myers, P. Giller (Eds.), Analytical Biogeography: An Integrated Approach to the Study of Animal and Plant Distributions, 1st ed., Springer, 1988, pp. 185–218.
1988 | Book Review | IST-REx-ID: 4315
What do we know about speciation?
J. Coyne, N.H. Barton, Nature 331 (1988) 485–486.
View
| DOI
| Download None (ext.)
J. Coyne, N.H. Barton, Nature 331 (1988) 485–486.
1988 | Book Review | IST-REx-ID: 4316
Molecular evolutionary genetics
N.H. Barton, S. Jones, Nature 332 (1988) 597–597.
View
| DOI
| Download None (ext.)
N.H. Barton, S. Jones, Nature 332 (1988) 597–597.