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.
1608 Publications
1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi: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. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 1995;9(2):155-167. doi: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. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160. doi: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. Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. Vol 71. Birkhäuser; 1994:71-80. doi: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. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138. doi: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. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 1994;12(6):1245-1255. doi: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. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 1994;13(1):55-66. doi: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 PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197. doi:10.1113/jphysiol.1994.sp020287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi: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. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830. doi:10.1016/s0021-9258(17)42186-7
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. 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. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: International Conference on Computer Aided Verification. Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, et al. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 1993;153(2):157-160. doi:10.1016/0304-3940(93)90311-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 1993;472:615-663. doi: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. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 1993;22(2):418-429. doi:10.1137/0222031
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Siemen D, ed. Nonselective Cation Channels: Pharmacology, Physiology and Biophysics. Vol 66. Birkhäuser; 1993:61-76. doi: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. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 1993;10(1):183-196. doi:10.1007/BF02573973
View
| DOI
| Download None (ext.)