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.
71 Publications
1996 | Published | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” Journal of the ACM. ACM, 1996. https://doi.org/10.1145/227595.227602.
View
| DOI
| Download None (ext.)
1996 | Published | Journal Article | IST-REx-ID: 4611 | 
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering. IEEE, 1996. https://doi.org/10.1109/32.489079.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Published | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931.
View
| DOI
1996 | Published | Journal Article | IST-REx-ID: 11761
Henzinger, Monika H, and David P. Williamson. “On the Number of Small Cuts in a Graph.” Information Processing Letters. Elsevier, 1996. https://doi.org/10.1016/0020-0190(96)00079-8.
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger, Monika H, and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” In 5th Scandinavian Workshop on Algorithm Theory, 1097:16–27. Springer Nature, 1996. https://doi.org/10.1007/3-540-61422-2_117.
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger, Monika H, and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” In 23rd International Colloquium on Automata, Languages, and Programming, 1099:290–99. Springer Nature, 1996. https://doi.org/10.1007/3-540-61440-0_136.
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11927 |
Henzinger, Monika H, Valerie King, and Tandy Warnow. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” In 7th Annual ACM-SIAM Symposium on Discrete Algorithms, 333–40. Society for Industrial and Applied Mathematics, 1996.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Published | Journal Article | IST-REx-ID: 6161 |
Bono, Mario de, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics. Genetics Society of America, 1996.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Published | Conference Paper | IST-REx-ID: 1942
Sazanov, Leonid A, P Burrows, and P J Nixon. “Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts,” 2:705–8. Kluwer, 1996.
View
1996 | Published | Journal Article | IST-REx-ID: 1951
Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” Biochemical Society Transactions. Portland Press, 1996. https://doi.org/10.1042/bst0240739.
View
| DOI
| PubMed | Europe PMC
1996 | Published | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, Leonid A Sazanov, Sébastien Aubourg, and Julie Jackson. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 1996. https://doi.org/10.1016/0005-2728(95)00125-5.
View
| DOI
| PubMed | Europe PMC