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.
1933 Publications
1995 | Journal Article | IST-REx-ID: 3639
A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetical Research 65 (1995) 123–144.
1995 | Journal Article | IST-REx-ID: 3479 | 
Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus
D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.
1995 | Journal Article | IST-REx-ID: 3481 |
Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
1995 | Journal Article | IST-REx-ID: 3640 |
Linkage and the limits to natural selection
N.H. Barton, Genetics 140 (1995) 821–841.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetics 140 (1995) 821–841.
1995 | Journal Article | IST-REx-ID: 4028 |
The union of balls and its dual shape
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
1995 | Journal Article | IST-REx-ID: 4029
An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
View
| DOI
| Download None (ext.)
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
1995 | Journal Article | IST-REx-ID: 4297 |
The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
1995 | Conference Paper | IST-REx-ID: 4450
Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
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: 4447
HyTech: The Cornell Hybrid Technology Tool
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
1995 | Conference Paper | IST-REx-ID: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
1995 | Conference Paper | IST-REx-ID: 4500
The expressive power of clocks
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
1995 | Conference Paper | IST-REx-ID: 4518
Hybrid automata with finite bisimulations
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
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 | Journal Article | IST-REx-ID: 2489
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
1994 | Book Chapter | IST-REx-ID: 2545
Molecular diversity of glutamate receptors and their physiological functions
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
1994 | Journal Article | IST-REx-ID: 2552
Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
1994 | Journal Article | IST-REx-ID: 2555
Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
1994 | Journal Article | IST-REx-ID: 2557
Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.