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.
1612 Publications
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: 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