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.
1942 Publications
1995 | Journal Article | IST-REx-ID: 3479 | 
Koh, D., Geiger, J., Jonas, P. M., & Sakmann, B. (1995). Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020737
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3481 |
Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3640 |
Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics. Genetics Society of America. http://www.genetics.org/content/140/2/821.long
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4028 |
Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574053
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 4029
Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4297 |
Sites, J., Barton, N. H., & Reed, K. (1995). The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech. In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer. https://doi.org/10.1007/3-540-60630-0_3
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
de Bono, M., Zarkower, D., & Hodgkin, J. (1995). Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. CSH Press. https://doi.org/10.1101/gad.9.2.155
View
| DOI
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2489
Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., & Mizuno, N. (1994). Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903470112
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi, S., Masu, M., Bessho, Y., Nakajima, Y., Hayashi, Y., & Shigemoto, R. (1994). Molecular diversity of glutamate receptors and their physiological functions. In Experientia Supplementum (Vol. 71, pp. 71–80). Birkhäuser. https://doi.org/10.1007/978-3-0348-7330-7_8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, R., Shigemoto, R., Itoh, K., Konishi, A., & Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(94)90469-3
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2555
Shigemoto, R., Abe, T., Nomura, S., Nakanishi, S., & Hirano, T. (1994). Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90441-3
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2557
Ohishi, H., Ogawa Meguro, R., Shigemoto, R., Kaneko, T., Nakanishi, S., & Mizuno, N. (1994). Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90459-6
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3475 |
Koh, D., Jonas, P. M., & Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1994.sp020287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., & Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90444-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3641
Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300032857
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
Dey, T., & Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574381
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner, A., Heisenberg, C.-P. J., Kolbeck, R., Thoenen, H., & Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/s0021-9258(17)42186-7
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, A., Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Proving safety properties of hybrid systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 431–454). Lübeck, Germany: Springer. https://doi.org/10.1007/3-540-58468-4_177
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, T. A., & Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer. https://doi.org/10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer. https://doi.org/10.1007/3-540-58179-0_39
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. https://doi.org/10.1007/BFb0033565
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T., … Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(93)90311-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1993.sp019965
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222031
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser. https://doi.org/10.1007/978-3-0348-7327-7_4
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4045
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573973
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4177 |
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.122.2.443
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4175
Lindholm, D., Dechant, G., Heisenberg, C.-P. J., & Thoenen, H. (1993). Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), International Hybrid Systems Workshop (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated delays in real-time systems. In 5th International Conference on Computer Aided Verification (Vol. 697, pp. 181–193). Elounda, Greece: Springer. https://doi.org/10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2533 |
Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/S0021-9258(18)42219-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2535 |
Sasai, Y., Kageyama, R., Tagawa, Y., Shigemoto, R., & Nakanishi, S. (1992). Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.6.12b.2620
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2532
Nishioka, T., Oda, Y., Seino, Y., Yamamoto, T., Inagaki, N., Yano, H., … Kikuchi, H. (1992). Distribution of the glucose transporters in human brain tumors. Cancer Research. American Association for Cancer Research.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas, P. M., & Sakmann, B. (1992). Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019294
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3471 |
Colquhoun, D., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019417
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
Aronov, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1992). The number of edges of many faces in a line segment arrangement. Combinatorica. Springer. https://doi.org/10.1007/BF01285815
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1317970
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3645
Sanderson, N., Szymura, J., & Barton, N. H. (1992). Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb02068.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations. In I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics (Vol. 583, pp. 46–60). São Paulo, Brazil: Springer. https://doi.org/10.1007/BFb0023816
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 2482
Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. Nature. Nature Publishing Group. https://doi.org/10.1038/349760a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, H., & Sharir, M. (1991). A hyperplane incidence problem with applications to counting distances. In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift (Vol. 4, pp. 253–263). American Mathematical Society.
View
| Download None (ext.)