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.
9311 Publications
1995 |Published| Conference Paper | IST-REx-ID: 4447
HyTech: The Cornell Hybrid Technology Tool
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
1995 |Published| Conference Paper | IST-REx-ID: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
1995 |Published| Conference Paper | IST-REx-ID: 4499
HyTech: The next generation
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.
1995 |Published| Conference Paper | IST-REx-ID: 4498
Computing simulations on finite and infinite graphs
M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462.
View
| DOI
M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462.
1995 |Published| Conference Paper | IST-REx-ID: 4502 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
1995 |Published| Conference Paper | IST-REx-ID: 4500
The expressive power of clocks
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
1995 |Published| Conference Paper | IST-REx-ID: 4518
Hybrid automata with finite bisimulations
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
1995 |Published| Conference Paper | IST-REx-ID: 4587
Local liveness for compositional modeling of fair reactive systems
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
1995 |Published| Journal Article | IST-REx-ID: 4613
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
1995 |Published| Journal Article | IST-REx-ID: 6162
Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
1994 |Published| Conference Paper | IST-REx-ID: 11857
Fully dynamic cycle-equivalence in graphs
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
View
| DOI
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
1994 |Published| Journal Article | IST-REx-ID: 1949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.
1994 |Published| Journal Article | IST-REx-ID: 1953 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.
1994 |Published| Journal Article | IST-REx-ID: 2488
Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
1994 |Published| Journal Article | IST-REx-ID: 2489
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
1994 |Published| Journal Article | IST-REx-ID: 2490
Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
1994 |Published| Book Chapter | IST-REx-ID: 2545
Molecular diversity of glutamate receptors and their physiological functions
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
1994 |Published| Journal Article | IST-REx-ID: 2549
Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.
1994 |Published| Journal Article | IST-REx-ID: 2550 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
1994 |Published| Journal Article | IST-REx-ID: 2553
Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.