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.

5751 Publications


1993 | Journal Article | IST-REx-ID: 4045
Diameter, width, closest line pair, and parametric searching
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 10 (1993) 183–196.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945 View
 

1992 | Journal Article | IST-REx-ID: 2484
A family of metabotropic glutamate receptors
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, S. Nakanishi, Neuron 8 (1992) 169–179.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 2486 View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 2532
Distribution of the glucose transporters in human brain tumors
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
View
 

1992 | Journal Article | IST-REx-ID: 2533
Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
View
 

1992 | Journal Article | IST-REx-ID: 2534
Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide
T. Ishihara, R. Shigemoto, K. Mori, K. Takahashi, S. Nagata, Neuron 8 (1992) 811–819.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 2722
Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers
L. Erdös, D. Tuyen, Communications in Mathematical Physics 143 (1992) 451–466.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 4305
A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus)
T. Hatfield, N.H. Barton, J. Searle, Evolution; International Journal of Organic Evolution 46 (1992) 1129–1145.
View | Download (ext.)
 

1992 | Book Review | IST-REx-ID: 4306
Genetics and geography
N.H. Barton, N. Goldman, Nature 357 (1992) 440–441.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
The genetic consequences of dispersal
N.H. Barton, in:, N. Stenseth, W. Lidicker (Eds.), Animal Dispersal: Small Mammals as a Model, Chapman Hall, 1992, pp. 37–60.
View
 

1992 | Journal Article | IST-REx-ID: 4308
On the spread of new gene combinations in the third phase of Wright's shifting balance
N.H. Barton, Evolution; International Journal of Organic Evolution 46 (1992) 551–557.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
What good are digital clocks?
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1992, pp. 545–558.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, IEEE, 1992, pp. 394–406.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice, Springer, 1992, pp. 226–251.
View | DOI
 

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

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

1992 | Conference Paper | IST-REx-ID: 4594
Back to the future: Towards a theory of timed regular languages
R. Alur, T.A. Henzinger, in:, IEEE, 1992, pp. 177–186.
View | DOI | Download (ext.)
 

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

1992 | Journal Article | IST-REx-ID: 3470 View | Download (ext.)
 

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

1992 | Journal Article | IST-REx-ID: 3472
A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve
D. Koh, P.M. Jonas, M. Bräu, W. Vogel, Journal of Membrane Biology 130 (1992) 149–162.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Computational Geometry: Theory and Applications 1 (1992) 305–323.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645 View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4043
An O(n^2 log n) time algorithm for the MinMax angle triangulation
H. Edelsbrunner, T. Tan, R. Waupotitsch, SIAM Journal on Scientific Computing 13 (1992) 994–1008.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
An optimal algorithm for intersecting line segments in the plane
B. Chazelle, H. Edelsbrunner, Journal of the ACM 39 (1992) 1–54.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4047
Arrangements of curves in the plane - topology, combinatorics, and algorithms
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, Theoretical Computer Science 92 (1992) 319–336.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Optimal time bounds for some proximity problems in the plane
A. Aggarwal, H. Edelsbrunner, P. Raghavan, P. Tiwari, Information Processing Letters 42 (1992) 55–60.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4049
Edge insertion for optimal triangulations
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, in:, Springer, 1992, pp. 46–60.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
Guest editor's foreword
H. Edelsbrunner, Discrete & Computational Geometry 8 (1992) 217–217.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
The number of edges of many faces in a line segment arrangement
B. Aronov, H. Edelsbrunner, L. Guibas, M. Sharir, Combinatorica 12 (1992) 261–274.
View | DOI
 

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
 

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
 

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
 

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
 

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

1991 | Conference Paper | IST-REx-ID: 4508
Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, ACM, 1991, pp. 353–366.
View | DOI | Download (ext.)
 

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

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

1991 | Conference Paper | IST-REx-ID: 4621
The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, in:, ACM, 1991, pp. 139–152.
View
 

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, Pflugers Archiv : European Journal of Physiology 418 (1991) 68–73.
View | DOI
 

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

1991 | Book Chapter | IST-REx-ID: 3567
Lines in space – A collection of results
H. Edelsbrunner, in:, Discrete & Computational Geometry, Springer, 1991, pp. 77–93.
View | Download (ext.)
 
 

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

Search

Filter Publications