T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179.
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1,” Genes and Development, vol. 9, no. 2. CSH Press, pp. 155–167, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791

C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/2489
DOI: 10.1002/cne.903470112
PMID: 7798379

S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” in Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80.
LibreCat: https://research-explorer.ista.ac.at/record/2545
DOI: 10.1007/978-3-0348-7330-7_8
PMID: 8032174

R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2. Elsevier, pp. 135–138, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/2552
DOI: 10.1016/0304-3940(94)90469-3
PMID: 8177489

R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies inactivating mGlu metabotropic glutamate receptor block long-term depression in cultured Purkinje cells,” Neuron, vol. 12, no. 6. Elsevier, pp. 1245–1255, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/2555
DOI: 10.1016/0896-6273(94)90441-3
PMID: 7912091 

H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGlu and mGlu, in rat cerebellar cortex,” Neuron, vol. 13, no. 1. Elsevier, pp. 55–66, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/2557
DOI: 10.1016/0896-6273(94)90459-6
PMID: 8043281

D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” Journal of Physiology, vol. 479. Wiley-Blackwell, pp. 183–197, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/3475
DOI: 10.1113/jphysiol.1994.sp020287
PMID: 7799220 

P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression,” Neuron, vol. 12, no. 6. Elsevier, pp. 1281–1289, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete &; Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

A. Leingärtner, C.-P. J. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 828–830, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, 1994, vol. 863, pp. 431–454.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Gernany, 1994, vol. 863, pp. 351–372.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in International Conference on Computer Aided Verification, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

R. Shigemoto et al., “Immunocytochemical localization of rat substance P receptor in the striatum,” Neuroscience Letters, vol. 153, no. 2. Elsevier, pp. 157–160, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/2541
DOI: 10.1016/0304-3940(93)90311-8
PMID: 8392153 

P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/3474
DOI: 10.1113/jphysiol.1993.sp019965
PMID: 7908327

H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2. SIAM, pp. 418–429, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4041
DOI: 10.1137/0222031