ISTA Research Explorer

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.

73 Publications

Search / Filter

1996 | Published | Journal Article | IST-REx-ID: 1951

Sazanov, Leonid A., et al. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” Biochemical Society Transactions, vol. 24, no. 3, Portland Press, 1996, pp. 739–43, doi:10.1042/bst0240739.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 1952

Bizouarn, Tania, et al. “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, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:10.1016/0005-2728(95)00125-5.

View | DOI | PubMed | Europe PMC

1996 | Published | Thesis | IST-REx-ID: 4419

Kopke, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.

View

1996 | Published | Conference Paper | IST-REx-ID: 4426

Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.

View | DOI | Download None (ext.)

1996 | Published | Book Chapter | IST-REx-ID: 4427

Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.

View | DOI | Download None (ext.)

1996 | Published | Conference Paper | IST-REx-ID: 4443

Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.

View | DOI | Download None (ext.)

1996 | Published | Conference Paper | IST-REx-ID: 4495

Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.

View | DOI | Download None (ext.)

1996 | Published | Conference Paper | IST-REx-ID: 4519

Henzinger, Thomas A. “The Theory of Hybrid Automata.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .

View | DOI | Download None (ext.)

1996 | Published | Conference (Editor) | IST-REx-ID: 4585

Henzinger, Thomas A., and Rajeev Alur, editors. 8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.

View | DOI | Download None (ext.)

1996 | Published | Conference Paper | IST-REx-ID: 4588

Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.

View | DOI | Download None (ext.)

1996 | Published | Journal Article | IST-REx-ID: 4610

Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.

View | DOI | Download None (ext.)

1996 | Published | Journal Article | IST-REx-ID: 4611 |

Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.

[Published Version] View | DOI | Download Published Version (ext.)

1996 | Published | Book (Editor) | IST-REx-ID: 4612

Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 6161 |

de Bono, Mario, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics, vol. 144, no. 2, Genetics Society of America, 1996, pp. 587–95.

[Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 3462

Melcher, Thorsten, et al. “Analysis of Molecular Determinants in Native AMPA Receptors.” Neurochemistry International, vol. 28, no. 2, Elsevier, 1996, pp. 141–44, doi:10.1016/0197-0186(95)00077-1.

View | DOI | PubMed | Europe PMC

1996 | Published | Conference Paper | IST-REx-ID: 3553

Edelsbrunner, Herbert, et al. “Geometric Modeling in CAVE.” Proceedings of the ACM Symposium on Virtual Reality Software and Technology, ACM, 1996, pp. 35-41 and-193–94, doi:10.1145/3304181.3304190.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 3634

Barton, Nicholas H., and James Mallet. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 351, no. 1341, Royal Society of London, 1996, pp. 785–95, doi:10.1098/rstb.1996.0073.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 3635

Charlesworth, Brian, and Nicholas H. Barton. “Recombination Load Associated with Selection for Increased Recombination.” Genetical Research, vol. 67, no. 1, Cambridge University Press, 1996, pp. 27–41, doi:10.1017/S0016672300033450.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 3756 |

Dogterom, Marileen, et al. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.” Journal of Cell Biology, vol. 133, no. 1, Rockefeller University Press, 1996, pp. 125–40, doi:doi: 10.1083/jcb.133.1.125 .

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 4024

Akkiraju, Nataraj, et al. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications, vol. 16, no. 4, IEEE, 1996, pp. 58–61, doi:10.1109/38.511855.

View | DOI