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.

2030 Publications


1995 | Published | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85
View | DOI
 

1995 | Published | 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.)
 

1994 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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.)
 

1994 | Published | Journal Article | IST-REx-ID: 3475 | OA
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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 4179 | OA
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 | Published | 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 | Published | 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.)
 

1993 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View | DOI | Download None (ext.)
 

1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: 5th International Conference on Computer Aided Verification. Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed