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. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 1996;24(3):739-743. doi:10.1042/bst0240739

View | DOI | PubMed | Europe PMC

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

Bizouarn T, Sazanov LA, Aubourg S, Jackson J. 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. 1996;1273(1):4-12. doi:10.1016/0005-2728(95)00125-5

View | DOI | PubMed | Europe PMC

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

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

View

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

Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961

View | DOI | Download None (ext.)

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

Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Vol 1165. Springer; 1996:265-282. doi:10.1007/BFb0027241

View | DOI | Download None (ext.)

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

Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74

View | DOI | Download None (ext.)

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

Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73

View | DOI | Download None (ext.)

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

Henzinger TA. The theory of hybrid automata. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342

View | DOI | Download None (ext.)

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

Henzinger TA, Alur R, eds. 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 R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320

View | DOI | Download None (ext.)

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

Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. Journal of the ACM. 1996;43(1):116-146. doi:10.1145/227595.227602

View | DOI | Download None (ext.)

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

Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi:10.1109/32.489079

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

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

Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931

View | DOI

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

de Bono M, Hodgkin J. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 1996;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. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 1996;28(2):141-144. doi:10.1016/0197-0186(95)00077-1

View | DOI | PubMed | Europe PMC

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

Edelsbrunner H, Fu P, Quian J. Geometric modeling in CAVE. In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology. ACM; 1996:35-41 and-193-194. doi:10.1145/3304181.3304190

View | DOI

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

Barton NH, Mallet J. Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1996;351(1341):785-795. doi:10.1098/rstb.1996.0073

View | DOI | PubMed | Europe PMC

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

Charlesworth B, Barton NH. Recombination load associated with selection for increased recombination. Genetical Research. 1996;67(1):27-41. doi:10.1017/S0016672300033450

View | DOI | PubMed | Europe PMC

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

Dogterom M, Felix M, Guet CC, Leibler S. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 1996;133(1):125-140. 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 N, Edelsbrunner H, Fu P, Qian J. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 1996;16(4):58-61. doi:10.1109/38.511855

View | DOI