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.
9113 Publications
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4502 | 
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.” In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science. Elsevier, 1995. https://doi.org/10.1016/0304-3975(94)00202-T.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
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.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155.
View
| DOI
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 11857
Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” In 35th Annual Symposium on Foundations of Computer Science, 744–55. Institute of Electrical and Electronics Engineers, 1994. https://doi.org/10.1109/sfcs.1994.365718.
View
| DOI
1994 | Journal Article | IST-REx-ID: 1949 |
Sazanov, Leonid A, and Julie Jackson. “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, 1994. https://doi.org/10.1016/0014-5793(94)00370-X.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 1953 |
Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “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, 1994. https://doi.org/10.1016/0014-5793(94)01109-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC