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.
2009 Publications
1995 | Conference Paper | IST-REx-ID: 4448
A note on abstract-interpretation strategies for hybrid automata
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
1995 | Conference Paper | IST-REx-ID: 4587
Local liveness for compositional modeling of fair reactive systems
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
1995 | Journal Article | IST-REx-ID: 6162
Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
1994 | Conference Paper | IST-REx-ID: 11857
Fully dynamic cycle-equivalence in graphs
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
View
| DOI
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
1994 | Journal Article | IST-REx-ID: 2488
Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
1994 | Journal Article | IST-REx-ID: 2490
Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
1994 | Journal Article | IST-REx-ID: 2554
Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
1994 | Journal Article | IST-REx-ID: 2713
Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
View
| DOI
| Download None (ext.)
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
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
| Download None (ext.)
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
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
| Download None (ext.)
N.H. Barton, Genetical Research 64 (1994) 199–208.
1994 | Journal Article | IST-REx-ID: 6167
Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
View
| DOI
| PubMed | Europe PMC
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
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
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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: 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
| Download None (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Brain Research 631 (1993) 297–303.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
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
| Download None (ext.)
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.
1993 | Journal Article | IST-REx-ID: 4303 |
The probability of fixation of a favoured allele in a subdivided population
N.H. Barton, Genetics Research 62 (1993) 149–158.
View
| DOI
| Download None (ext.)
N.H. Barton, Genetics Research 62 (1993) 149–158.