Please note that IST 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.

5315 Publications


1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. Real Time: Theory in Practice. , LNCS, vol. 600. 74–106.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Hori S, Komatsu Y, Shigemoto R, Mizuno N, Nakanishi S. 1992. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 130(4), 1885–1895.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2531
Shigemoto R, Ohishi H, Nakanishi S, Mizuno N. 1992. Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. 144(1–2), 229–232.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös L. 1992. On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica. 59(1–2), 11–24.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, Helm P, Wisden W, Monyer H, Seeburg P, Sakmann B. 1992. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 256(5063), 1566–1570.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3471   OA
Colquhoun D, Jonas PM, Sakmann B. 1992. Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. 458, 261–287.
View | DOI | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1992. Edge insertion for optimal triangulations. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 583. 46–60.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg C, Thoenen H, Lindholm D. 1992. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 3(8), 685–688.
View
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. 1992. Back to the future: Towards a theory of timed regular languages. FOCS: Foundations of Computer Science 177–186.
View | DOI | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. 1991. A hyperplane incidence problem with applications to counting distances. Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. , DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4. 253–263.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. 1991. The probability of fixation of a new karyotype in a continuous population. Evolution. 45(3), 499–517.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4052
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1991. A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science. 84(1), 77–105.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner H. 1991. Corrigendum. Journal of Computer and System Sciences. 42(2), 249–251.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. 1991. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 291(1), 84–86.
View | DOI
 

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

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. 1991. Lines in space – A collection of results. Discrete & Computational Geometry. , DIAMCS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6. 77–93.
View | Download (ext.)
 

1991 | 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. SODA: Symposium on Discrete Algorithms 441–448.
View
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. 1991. Temporal proof methodologies for real-time systems. POPL: Principles of Programming Languages 353–366.
View | DOI | Download (ext.)
 

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

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner H, Seidel R, Sharir M. 1991. On the zone theorem for hyperplane arrangements. New Results and New Trends in Computer Science , LNCS, vol. 555. 108–123.
View | DOI
 

1991 | 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. ICALP: Automata, Languages and Programming, LNCS, vol. 510. 661–673.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1991. Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. 6(1), 407–422.
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. 1991. The Temporal Specification and Verification of Real-time Systems , Stanford University,p.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
View | Download (ext.)
 

1991 | Journal Article | 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. Recent Progress in Hormone Research. 46(1), 59–83.
View
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. 1991. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflugers Archiv : European Journal of Physiology. 418(1–2), 68–73.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. 1991. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 45(2), 237–261.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner H, Tan T. 1991. A quadratic time algorithm for the minmax length triangulation. FOCS: Foundations of Computer Science 414–423.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
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.
View | DOI
 

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

1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. 1991. Natural and sexual selection on many loci. Genetics. 127(1), 229–255.
View | Download (ext.)
 

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

1991 | Journal Article | IST-REx-ID: 4056
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.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality. PODC: Principles of Distributed Computing 139–152.
View
 

1990 | Journal Article | IST-REx-ID: 2481
Tsuchida K, Shigemoto R, Yokota Y, Nakanishi S. 1990. Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors. European Journal of Biochemistry. 193(3), 751–757.
View | DOI
 

1990 | 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.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4064
Edelsbrunner H, Souvaine D. 1990. Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. 85(409), 115–119.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4069
Edelsbrunner H. 1990. An acyclicity theorem for cell complexes in d dimension. Combinatorica. 10(3), 251–260.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4071
Edelsbrunner H, Tan T, Waupotitsch R. 1990. An O(n^2log n) time algorithm for the MinMax angle triangulation. SCG: Symposium on Computational Geometry 44–52.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4076
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1990. Euclidean minimum spanning trees and bichromatic closest pairs. SCG: Symposium on Computational Geometry 203–210.
View | DOI
 

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

1990 | Journal Article | IST-REx-ID: 3651   OA
Barton NH. 1990. Pleiotropic models of quantitative variation. Genetics. 124(3), 773–782.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner H, Preparata F, West D. 1990. Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. 10(3–4), 335–347.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4065
Edelsbrunner H, Robison A, Shen X. 1990. Covering convex sets with non-overlapping polygons. Discrete Mathematics. 81(2), 153–164.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner H, Guibas L, Sharir M. 1990. The complexity and construction of many faces in arrangements of lines and of segments. Discrete & Computational Geometry. 5(1), 161–196.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4077
Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. 1990. Points and triangles in the plane and halving planes in space. SCG: Symposium on Computational Geometry 112–115.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. JCIT: Jerusalem Conference on Information Technology 717–730.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. PODC: Principles of Distributed Computing 281–296.
View | DOI | Download (ext.)
 

1990 | 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 (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed