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.
9112 Publications
1995 | 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 | 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 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.
View
| DOI
| Download None (ext.)
1995 | 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.)
1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34.
View
| DOI
| Download None (ext.)
1995 | 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. 9(2), 155–167.
View
| DOI
| PubMed | Europe PMC
1994 | 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 | 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 | 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