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.

5760 Publications


1996 | Journal Article | IST-REx-ID: 4611 | OA
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 | Journal Article | IST-REx-ID: 6161 | OA
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
 

1995 | Conference Paper | IST-REx-ID: 11928 | OA
Alberts D, Henzinger MH. 1995. Average case analysis of dynamic graph algorithms. 6th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 312–321.
[Published Version] View | Files available | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 1943 | OA
Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1231(3), 304–312.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2559 | OA
Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1995. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 80(5), 757–765.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications