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.

8923 Publications


1996 | Published | Conference Paper | IST-REx-ID: 1942
L. A. Sazanov, 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,” presented at the IPC: International Photosynthesis Congress, 1996, vol. 2, pp. 705–708.
View
 

1996 | Published | Journal Article | IST-REx-ID: 1951
L. A. Sazanov, P. Burrows, and P. Nixon, “Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids,” Biochemical Society Transactions, vol. 24, no. 3. Portland Press, pp. 739–743, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 1952
T. Bizouarn, L. A. Sazanov, S. Aubourg, and J. 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, vol. 1273, no. 1. Elsevier, pp. 4–12, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View | DOI | Download None (ext.)
 

1996 | Published | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Book (Editor) | IST-REx-ID: 4612
R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, vol. 1066. Berlin ; Heidelberg: Springer, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 6161 | OA
M. de Bono 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, pp. 587–595, 1996.
[Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 11804
M. H. Henzinger and J. A. Telle, “Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning,” in 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, 1996, vol. 1097, pp. 16–27.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11910
M. H. Henzinger and M. Thorup, “Improved sampling with applications to dynamic graph algorithms,” in 23rd International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 1996, vol. 1099, pp. 290–299.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
M. H. Henzinger, V. King, and T. Warnow, “Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology,” in 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Atlanta, GA, United States, 1996, pp. 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 3462
T. Melcher, J. Geiger, P. M. Jonas, and H. Monyer, “Analysis of molecular determinants in native AMPA receptors,” Neurochemistry International, vol. 28, no. 2. Elsevier, pp. 141–144, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 3553
H. Edelsbrunner, P. Fu, and J. Quian, “Geometric modeling in CAVE,” in Proceedings of the ACM Symposium on Virtual Reality Software and Technology, Hong Kong, 1996, pp. 35-41 and-193–194.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 3634
N. H. Barton and J. 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, pp. 785–795, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3635
B. Charlesworth and N. H. Barton, “Recombination load associated with selection for increased recombination,” Genetical Research, vol. 67, no. 1. Cambridge University Press, pp. 27–41, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3756 | OA
M. Dogterom, M. Felix, C. C. Guet, and S. Leibler, “Influence of M-phase chromatin on the anisotropy of microtubule asters,” Journal of Cell Biology, vol. 133, no. 1. Rockefeller University Press, pp. 125–140, 1996.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 4024
N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4. IEEE, pp. 58–61, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4025 | OA
N. Akkiraju and H. Edelsbrunner, “Triangulating the surface of a molecule,” Discrete Applied Mathematics, vol. 71, no. 1–3. Elsevier, pp. 5–22, 1996.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4026
H. Edelsbrunner and N. Shah, “Incremental topological flipping works for regular triangulations,” Algorithmica, vol. 15, no. 3. Springer, pp. 223–241, 1996.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed