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.
6978 Publications
1995 |Published| Thesis | IST-REx-ID: 4428 | 
Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
[Published Version]
View
| Download Published Version (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4450
Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4448
Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4447
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). New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4497
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
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4499
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4498
Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 453–462). Milwaukee, WI, United States of America: IEEE. https://doi.org/10.1109/SFCS.1995.492576
View
| DOI
1995 |Published| Conference Paper | IST-REx-ID: 4502 |
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM. https://doi.org/10.1145/225058.225162
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4500
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
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4518
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
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4587
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
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 4613
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 6162
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
View
| DOI
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 1949 |
Sazanov, L. A., & Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)00370-X
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 1953 |
Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., & Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)01109-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2488
Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90215-1
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2489
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
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2490
Sugimoto, Y., Shigemoto, R., Namba, T., Negishi, M., Mizuno, N., Narumiya, S., & Ichikawa, A. (1994). Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90483-9
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. (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
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2549
Nakaya, Y., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903470208
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC