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.
6285 Publications
1994 | Journal Article | IST-REx-ID: 4033
Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
1994 | Journal Article | IST-REx-ID: 4037
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
View
| DOI
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
1994 | Journal Article | IST-REx-ID: 4038
Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
1994 | Journal Article | IST-REx-ID: 4039
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
View
| DOI
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
1994 | Journal Article | IST-REx-ID: 4179
Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
View
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
1994 | Journal Article | IST-REx-ID: 4202
NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
View
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
1994 | Journal Article | IST-REx-ID: 4299
Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1994) 89–98.
View
| DOI
L. Partridge, N.H. Barton, Genetica 91 (1994) 89–98.
1994 | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1994, pp. 431–454.
View
| DOI
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1994, pp. 431–454.
1994 | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, Springer, 1994, pp. 351–372.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Springer, 1994, pp. 351–372.
1994 | Journal Article | IST-REx-ID: 4501
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View
| DOI
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
1994 | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View
| DOI
| Download (ext.)
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
1994 | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
View
| DOI
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
1994 | Book Chapter | IST-REx-ID: 4590
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
View
| Download (ext.)
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
1994 | Journal Article | IST-REx-ID: 4591
A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
View
| DOI
| Download (ext.)
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
1994 | Book Chapter | IST-REx-ID: 3453
Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse
E. Von Kitzing, P.M. Jonas, B. Sakmann, in:, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, D. Ottoson (Eds.), Molecular and Cellular Mechanisms of Neurotransmitter Release, Raven Press, 1994, pp. 235–260.
View
| DOI
E. Von Kitzing, P.M. Jonas, B. Sakmann, in:, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, D. Ottoson (Eds.), Molecular and Cellular Mechanisms of Neurotransmitter Release, Raven Press, 1994, pp. 235–260.
1994 | Journal Article | IST-REx-ID: 3460
Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
View
| DOI
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
1994 | Journal Article | IST-REx-ID: 3475 |

Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
View
| DOI
| Download (ext.)
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
1994 | Journal Article | IST-REx-ID: 3476
Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
View
| Download (ext.)
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
1994 | Journal Article | IST-REx-ID: 3477
Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
View
| DOI
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
1994 | Conference Paper | IST-REx-ID: 3550
Modeling with simplicial complexes (topology, geometry and algorithms)
H. Edelsbrunner, in:, Unknown, 1994, pp. 36–44.
View
| Download (ext.)
H. Edelsbrunner, in:, Unknown, 1994, pp. 36–44.
1994 | Journal Article | IST-REx-ID: 3641
The reduction in fixation probability caused by substitutions at linked loci
N.H. Barton, Genetical Research 64 (1994) 199–208.
View
| DOI
N.H. Barton, Genetical Research 64 (1994) 199–208.
1994 | Journal Article | IST-REx-ID: 3642
Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
View
| Download (ext.)
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
1993 | Journal Article | IST-REx-ID: 2487
Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 335 (1993) 252–266.
View
| DOI
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 335 (1993) 252–266.
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
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.
1993 | Journal Article | IST-REx-ID: 2537
Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.
View
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.
1993 | Journal Article | IST-REx-ID: 2538
Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.
View
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.
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
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.
1993 | Journal Article | IST-REx-ID: 2540
Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 53 (1993) 1009–1018.
View
| DOI
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 53 (1993) 1009–1018.
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
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.
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
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, N. Mizuno, Neuroscience Letters 163 (1993) 53–57.
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
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, S. Nagata, Neuron 11 (1993) 333–342.
1993 | Journal Article | IST-REx-ID: 2544
Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb
Y. Hayashi, A. Momiyama, T. Takahashi, H. Ohishi, R. Ogawa Meguro, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 366 (1993) 687–690.
View
| DOI
Y. Hayashi, A. Momiyama, T. Takahashi, H. Ohishi, R. Ogawa Meguro, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 366 (1993) 687–690.
1993 | Journal Article | IST-REx-ID: 2546
Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Brain Research 631 (1993) 297–303.
View
| DOI
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Brain Research 631 (1993) 297–303.
1993 | Journal Article | IST-REx-ID: 2723
Ground-state density of the Pauli operator in the large field limit
L. Erdös, Letters in Mathematical Physics 29 (1993) 219–240.
View
| DOI
L. Erdös, Letters in Mathematical Physics 29 (1993) 219–240.
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
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
1993 | Journal Article | IST-REx-ID: 1948
Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria
L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993).
View
L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993).
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
J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov, C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.
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
R. Alur, T.A. Henzinger, P. Ho, in:, IEEE, 1993, pp. 2–11.
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
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.
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
R. Alur, T.A. Henzinger, M. Vardi, in:, ACM, 1993, pp. 592–601.
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
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Springer, 1993, pp. 181–193.
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
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302.
1993 | Journal Article | IST-REx-ID: 4040
An upper bound for conforming Delaunay triangulations
H. Edelsbrunner, T. Tan, Discrete & Computational Geometry 10 (1993) 197–213.
View
| DOI
H. Edelsbrunner, T. Tan, Discrete & Computational Geometry 10 (1993) 197–213.
1993 | Journal Article | IST-REx-ID: 4041
On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.
View
| DOI
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.
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
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.
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
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, Discrete & Computational Geometry 10 (1993) 47–65.
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
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 10 (1993) 183–196.
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.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
View
| DOI
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
1993 | Journal Article | IST-REx-ID: 4177
Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
View
| DOI
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
1993 | Journal Article | IST-REx-ID: 4300
Optimality, mutation and the evolution of ageing
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.
View
| DOI
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.
1993 | Book Chapter | IST-REx-ID: 4301
Genetic analysis of hybrid zones
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.
View
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.
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
N.H. Barton, Genetical Research 62 (1993) 77–85.
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
N.H. Barton, Genetical Research 62 (1993) 149–158.
1993 | Book Review | IST-REx-ID: 4304
Why species and subspecies?
N.H. Barton, Current Biology 3 (1993) 797–799.
View
| DOI
N.H. Barton, Current Biology 3 (1993) 797–799.
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
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 60–76.
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
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
1993 | Journal Article | IST-REx-ID: 3446
High-speed character recognition using a dual cellular neural network architecture (CNND)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
View
| DOI
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
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.)
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.
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
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
1993 | Journal Article | IST-REx-ID: 3473
Properties of Shaker-homologous potassium channels expressed in the mammalian brain.
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.
View
| DOI
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.
1993 | Journal Article | IST-REx-ID: 3474 |

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.)
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
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.)
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
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
H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
1993 | Journal Article | IST-REx-ID: 3643
Group selection and the 'shifting balance'
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
View
| DOI
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
1993 | Journal Article | IST-REx-ID: 3644
Adaptation and the 'shifting balance'
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
View
| DOI
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
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
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, S. Nakanishi, Neuron 8 (1992) 169–179.
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
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.
1992 | Journal Article | IST-REx-ID: 2486
Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
View
| DOI
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
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
R. Shigemoto, H. Ohishi, S. Nakanishi, N. Mizuno, Neuroscience Letters 144 (1992) 229–232.
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
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
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
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
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
T. Ishihara, R. Shigemoto, K. Mori, K. Takahashi, S. Nagata, Neuron 8 (1992) 811–819.
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
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
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
L. Erdös, Acta Mathematica Hungarica 59 (1992) 11–24.
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
L. Erdös, D. Tuyen, Communications in Mathematical Physics 143 (1992) 451–466.
1992 | Journal Article | IST-REx-ID: 1945
Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms
L.A. Sazanov, S. Zaǐtsev, Biokhimiya 57 (1992) 1443–1460.
View
L.A. Sazanov, S. Zaǐtsev, Biokhimiya 57 (1992) 1443–1460.
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
H. Edelsbrunner, T. Tan, R. Waupotitsch, SIAM Journal on Scientific Computing 13 (1992) 994–1008.
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
B. Chazelle, H. Edelsbrunner, Journal of the ACM 39 (1992) 1–54.
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
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, Theoretical Computer Science 92 (1992) 319–336.
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
A. Aggarwal, H. Edelsbrunner, P. Raghavan, P. Tiwari, Information Processing Letters 42 (1992) 55–60.
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
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, in:, Springer, 1992, pp. 46–60.
1992 | Journal Article | IST-REx-ID: 4050
Guest editor's foreword
H. Edelsbrunner, Discrete & Computational Geometry 8 (1992) 217–217.
View
| DOI
H. Edelsbrunner, Discrete & Computational Geometry 8 (1992) 217–217.
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
B. Aronov, H. Edelsbrunner, L. Guibas, M. Sharir, Combinatorica 12 (1992) 261–274.
1992 | Journal Article | IST-REx-ID: 4195
Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons
C.-P.J. Heisenberg, H. Thoenen, D. Lindholm, Neuroreport 3 (1992) 685–688.
View
C.-P.J. Heisenberg, H. Thoenen, D. Lindholm, Neuroreport 3 (1992) 685–688.
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.)
T. Hatfield, N.H. Barton, J. Searle, Evolution; International Journal of Organic Evolution 46 (1992) 1129–1145.
1992 | Book Review | IST-REx-ID: 4306
Genetics and geography
N.H. Barton, N. Goldman, Nature 357 (1992) 440–441.
View
| DOI
N.H. Barton, N. Goldman, Nature 357 (1992) 440–441.
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
N.H. Barton, in:, N. Stenseth, W. Lidicker (Eds.), Animal Dispersal: Small Mammals as a Model, Chapman Hall, 1992, pp. 37–60.
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.)
N.H. Barton, Evolution; International Journal of Organic Evolution 46 (1992) 551–557.
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
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1992, pp. 545–558.
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
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, IEEE, 1992, pp. 394–406.
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
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice, Springer, 1992, pp. 226–251.
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.)
T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
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
R. Alur, T.A. Henzinger, in:, 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:, IEEE, 1992, pp. 177–186.
View
| DOI
| Download (ext.)
R. Alur, T.A. Henzinger, in:, IEEE, 1992, pp. 177–186.
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
N. Burnashev, A. Khodorova, P.M. Jonas, P. Helm, W. Wisden, H. Monyer, P. Seeburg, B. Sakmann, Science 256 (1992) 1566–1570.
1992 | Journal Article | IST-REx-ID: 3470
Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.
View
| Download (ext.)
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.
1992 | Journal Article | IST-REx-ID: 3471 |

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.)
D. Colquhoun, P.M. Jonas, B. Sakmann, Journal of Physiology 458 (1992) 261–287.
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
D. Koh, P.M. Jonas, M. Bräu, W. Vogel, Journal of Membrane Biology 130 (1992) 149–162.
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
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Computational Geometry: Theory and Applications 1 (1992) 305–323.
1992 | Journal Article | IST-REx-ID: 3645
Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata
N. Sanderson, J. Szymura, N.H. Barton, Evolution 46 (1992) 595–607.
View
| Download (ext.)
N. Sanderson, J. Szymura, N.H. Barton, Evolution 46 (1992) 595–607.