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).https://doi.org/10.1007/3-540-60472-3_14__New Brunswick, NJ, United States of America: Springer.https://doi.org/10.1007/3-540-60472-3_14 
LibreCat: https://research-explorer.ista.ac.at/record/4447
DOI: 10.1007/3-540-60472-3_14

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 
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3

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 
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

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 
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

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 
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

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 
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791

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 
LibreCat: https://research-explorer.ista.ac.at/record/2489
DOI: 10.1002/cne.903470112
PMID: 7798379

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 
LibreCat: https://research-explorer.ista.ac.at/record/2545
DOI: 10.1007/978-3-0348-7330-7_8
PMID: 8032174

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 
LibreCat: https://research-explorer.ista.ac.at/record/2552
DOI: 10.1016/0304-3940(94)90469-3
PMID: 8177489

Shigemoto, R., Abe, T., Nomura, S., Nakanishi, S., &; Hirano, T. (1994). Antibodies inactivating mGlu metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(94)90441-3 
LibreCat: https://research-explorer.ista.ac.at/record/2555
DOI: 10.1016/0896-6273(94)90441-3
PMID: 7912091 

Ohishi, H., Ogawa Meguro, R., Shigemoto, R., Kaneko, T., Nakanishi, S., &; Mizuno, N. (1994). Immunohistochemical localization of metabotropic glutamate receptors, mGlu and mGlu, in rat cerebellar cortex. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(94)90459-6 
LibreCat: https://research-explorer.ista.ac.at/record/2557
DOI: 10.1016/0896-6273(94)90459-6
PMID: 8043281

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 
LibreCat: https://research-explorer.ista.ac.at/record/3475
DOI: 10.1113/jphysiol.1994.sp020287
PMID: 7799220 

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 
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

Dey, T., &; Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02574381 
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

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 
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

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 
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

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 
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

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 
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A.,https://doi.org/10.1007/BFb0033565__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 
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T.,https://doi.org/10.1016/0304-3940(93)90311-8__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 
LibreCat: https://research-explorer.ista.ac.at/record/2541
DOI: 10.1016/0304-3940(93)90311-8
PMID: 8392153