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.

8919 Publications


1994 | Published | Journal Article | IST-REx-ID: 3476 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Conference Paper | IST-REx-ID: 3550
Modeling with simplicial complexes (topology, geometry and algorithms)
H. Edelsbrunner, in:, Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View
 

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

1994 | Published | Journal Article | IST-REx-ID: 3642 | OA
Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 4032
Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
View | DOI | Download None (ext.)
 

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

1994 | Published | Journal Article | IST-REx-ID: 4037 | OA
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
View | DOI | Download None (ext.)
 

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

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

1994 | Published | Journal Article | IST-REx-ID: 4179 | OA
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 | DOI | Download None (ext.)
 

1994 | Published | 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 | DOI | Download None (ext.)
 

1994 | Published | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
View | DOI | Download None (ext.)
 

1994 | Published | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 4501 | OA
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View | DOI | Download None (ext.)
 

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

1993 | Published | 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 | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2536 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2537 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2538 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed