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.
52 Publications
1995 | Published | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View
| DOI
| Download None (ext.)
1995 | Published | Conference Paper | IST-REx-ID: 4502 | 
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Published | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi:10.1007/3-540-60084-1_85.
View
| DOI
| Download None (ext.)
1995 | Published | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View
| DOI
| Download None (ext.)
1995 | Published | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
View
| DOI
| Download None (ext.)
1995 | Published | Journal Article | IST-REx-ID: 11677
Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica, vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:10.1007/bf01189067.
View
| DOI
1995 | Published | Conference Paper | IST-REx-ID: 11684
Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668.
View
| DOI
1995 | Published | Conference Paper | IST-REx-ID: 11805
Henzinger, Monika H., and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” 3rd Annual European Symposium on Algorithms, vol. 979, Springer Nature, 1995, pp. 171–184, doi:10.1007/3-540-60313-1_142.
View
| DOI
1995 | Published | Conference Paper | IST-REx-ID: 11806
Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” 22nd International Colloquium on Automata, Languages and Programming, vol. 944, Springer Nature, 1995, pp. 280–291, doi:10.1007/3-540-60084-1_81.
View
| DOI
1995 | Published | Conference Paper | IST-REx-ID: 11928 |
Alberts, David, and Monika H. Henzinger. “Average Case Analysis of Dynamic Graph Algorithms.” 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–21.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1995 | Published | Journal Article | IST-REx-ID: 6162
de Bono, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67, doi:10.1101/gad.9.2.155.
View
| DOI
| PubMed | Europe PMC
1995 | Published | Journal Article | IST-REx-ID: 1943 |
Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:10.1016/0005-2728(95)00096-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC