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.

5497 Publications


1993 | Journal Article | IST-REx-ID: 4589
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, IEEE, 1993, pp. 2–11.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Activation and inhibition of mitochondrial transhydrogenase by metal ions
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Immunocytochemical localization of rat substance P receptor in the striatum
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546 View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3568
Geometric algorithms
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
View | DOI | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4302
Review of "The causes of molecular evolution" by J.H. Gillespie
N.H. Barton, Genetical Research 62 (1993) 77–85.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948 View
 

1993 | Journal Article | IST-REx-ID: 1950
Proton-translocating transhydrogenase in bacteria
J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov, C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.
View
 

1993 | Journal Article | IST-REx-ID: 2542
Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, N. Mizuno, Neuroscience Letters 163 (1993) 53–57.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Glutamate receptors in the central nervous system
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Computational geometry
H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Computing a face in an arrangement of line segments and related problems
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity
D. Lindholm, G. Dechant, C. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
The probability of fixation of a favoured allele in a subdivided population
N.H. Barton, Genetical Research 62 (1993) 149–158.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Springer, 1993, pp. 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.
View
 

1993 | Journal Article | IST-REx-ID: 2543
Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, S. Nagata, Neuron 11 (1993) 333–342.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3452
AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
View
 

1993 | Journal Article | IST-REx-ID: 4044
Edge insertion for optimal triangulations
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, Discrete & Computational Geometry 10 (1993) 47–65.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Why species and subspecies?
N.H. Barton, Current Biology 3 (1993) 797–799.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 60–76.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, ACM, 1993, pp. 592–601.
View | DOI
 

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

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: 2486 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: 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: 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 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: 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: 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: 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: 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
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed