Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”https://doi.org/10.1007/3-540-60472-3_14__In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995.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, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”https://doi.org/10.1007/3-540-60630-0_3__In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995.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, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.”https://doi.org/10.1007/3-540-60084-1_93__In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995.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, Thomas A. “Hybrid Automata with Finite Bisimulations.”https://doi.org/10.1007/3-540-60084-1_85__In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995.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, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.”https://doi.org/10.1007/3-540-60045-0_49__In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995.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

Bono, Mario de, 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.”https://doi.org/10.1101/gad.9.2.155__Genes and Development. CSH Press, 1995.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, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.”https://doi.org/10.1002/cne.903470112__Journal of Comparative Neurology. Wiley-Blackwell, 1994.https://doi.org/10.1002/cne.903470112 .
LibreCat: https://research-explorer.ista.ac.at/record/2489
DOI: 10.1002/cne.903470112
PMID: 7798379

Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.”https://doi.org/10.1007/978-3-0348-7330-7_8__In Experientia Supplementum, 71:71–80. Birkhäuser, 1994.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, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.”https://doi.org/10.1016/0304-3940(94)90469-3__Neuroscience Letters. Elsevier, 1994.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, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGlu Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.”https://doi.org/10.1016/0896-6273(94)90441-3__Neuron. Elsevier, 1994.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, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGlu and MGlu, in Rat Cerebellar Cortex.”https://doi.org/10.1016/0896-6273(94)90459-6__Neuron. Elsevier, 1994.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, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.”https://doi.org/10.1113/jphysiol.1994.sp020287__Journal of Physiology. Wiley-Blackwell, 1994.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, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.”https://doi.org/10.1016/0896-6273(94)90444-8__Neuron. Elsevier, 1994.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, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.”https://doi.org/10.1007/BF02574381__Discrete &; Computational Geometry. Springer, 1994.https://doi.org/10.1007/BF02574381 .
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.”https://doi.org/10.1016/s0021-9258(17)42186-7__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.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, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.”https://doi.org/10.1007/3-540-58468-4_177__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:431–54. Springer, 1994.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, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”https://doi.org/10.1007/3-540-58468-4_173__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:351–72. Springer, 1994.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, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.”https://doi.org/10.1007/3-540-58179-0_39__In International Conference on Computer Aided Verification, 818:1–13. Springer, 1994.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, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1007/BFb0033565__In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, 199:331–51. Springer, 1994.https://doi.org/10.1007/BFb0033565 .
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Shigemoto, Ryuichi, Yoshifumi Nakaya, Sakashi Nomura, Reiko Ogawa Meguro, Hitoshi Ohishi, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.”https://doi.org/10.1016/0304-3940(93)90311-8__Neuroscience Letters. Elsevier, 1993.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