Please note that IST 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.

6077 Publications


1996 | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” presented at the LICS: Logic in Computer Science, 1996, pp. 207–218.
View | DOI
 

1996 | 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, pp. 116–146, 1996.
View | DOI | Download (ext.)
 

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

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

1996 | 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, pp. 587–595, 1996.
View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2725
L. Erdös, “Rayleigh-type isoperimetric inequality with a homogeneous magnetic field,” Calculus of Variations and Partial Differential Equations, vol. 4, no. 3, pp. 283–292, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2726
L. Erdös, “Gaussian decay of the magnetic eigenfunctions,” Geometric and Functional Analysis, vol. 6, no. 2, pp. 231–248, 1996.
View | DOI
 

1996 | 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 | 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, pp. 739–743, 1996.
View
 

1996 | 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, pp. 4–12, 1996.
View | DOI
 

1996 | 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, pp. 141–144, 1996.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 3553
H. Edelsbrunner, P. Fu, and J. Quian, “Geometric modeling in CAVE,” presented at the VRST: Symposium on Virtual Reality Software and Technology, 1996, pp. 35-41 and-193–194.
View | Download (ext.)
 

1996 | 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, pp. 785–795, 1996.
View | DOI
 

1996 | 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, pp. 27–41, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
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, pp. 125–140, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
T. Whitfield et al., “Mutations affecting development of the zebrafish inner ear and lateral line,” Development, vol. 123, pp. 241–254, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4151
T. Schilling et al., “Jaw and branchial arch mutants in zebrafish I: Branchial arches,” Development, vol. 123, pp. 329–344, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4156
T. Piotrowski et al., “Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation,” Development, vol. 123, pp. 345–356, 1996.
View | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 4154
D. Ransom et al., “Characterization of zebrafish mutants with defects in embryonic hematopoiesis,” Development, vol. 123, pp. 311–319, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4166
J. Odenthal et al., “Mutations affecting the formation of the notochord in the zebrafish, Danio rerio,” Development, vol. 123, pp. 103–115, 1996.
View
 

Search

Filter Publications