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.
11357 Publications
1995 |
Published |
Conference Paper |
IST-REx-ID: 4447
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4448
Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings 16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4502 |
Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid automata? Proceedings of the 27th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 373–382.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 2713
Erdös L. 1994. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 76(2), 541–566.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 1949 |
Sazanov LA, 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. 344(2–3), 109–116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 1953 |
Efanov A, Koshkin A, Sazanov LA, Borodulina OI, 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. 355(2), 114–116.
[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. 60(1), 199–211.
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. 347(1), 150–160.
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. 62(3), 919–928.
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, 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Conference Paper |
IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical Research, vol. 15, 79–81.
View
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. 347(2), 249–274.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC