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 LA, Burrows P, Nixon P. 1996. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 24(3), 739–743.

View | DOI | PubMed | Europe PMC

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

Bizouarn T, Sazanov LA, Aubourg S, Jackson J. 1996. 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. 1273(1), 4–12.

View | DOI | PubMed | Europe PMC

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

Kopke P. 1996. The Theory of Rectangular Hybrid Automata. Cornell University.

View

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

Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388.

View | DOI | Download None (ext.)

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

Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.

View | DOI | Download None (ext.)

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

Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.

View | DOI | Download None (ext.)

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

Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.

View | DOI | Download None (ext.)

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

Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 278–292.

View | DOI | Download None (ext.)

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

Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.

View | DOI | Download None (ext.)

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

Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.

View | DOI | Download None (ext.)

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

Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.

View | DOI | Download None (ext.)

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

Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.

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

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

Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.

View | DOI

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

de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.

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

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

Melcher T, Geiger J, Jonas PM, Monyer H. 1996. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 28(2), 141–144.

View | DOI | PubMed | Europe PMC

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

Edelsbrunner H, Fu P, Quian J. 1996. Geometric modeling in CAVE. Proceedings of the ACM Symposium on Virtual Reality Software and Technology. VRST: Symposium on Virtual Reality Software and Technology, 35-41 and-193–194.

View | DOI

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

Barton NH, Mallet J. 1996. Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 351(1341), 785–795.

View | DOI | PubMed | Europe PMC

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

Charlesworth B, Barton NH. 1996. Recombination load associated with selection for increased recombination. Genetical Research. 67(1), 27–41.

View | DOI | PubMed | Europe PMC

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

Dogterom M, Felix M, Guet CC, Leibler S. 1996. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 133(1), 125–140.

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

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

Akkiraju N, Edelsbrunner H, Fu P, Qian J. 1996. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 16(4), 58–61.

View | DOI