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.

47 Publications

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.
View | DOI | PubMed | Europe PMC

1995 | Conference Paper | IST-REx-ID: 4502 | OA
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.
View | DOI | Download Published Version (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.
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.
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.
View | DOI | Download None (ext.)

Filters and Search Terms



Filter Publications