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.

6306 Publications


1998 | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. 1998. Alternating refinement relations. CONCUR: Concurrency Theory, LNCS, vol. 1466, 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games. FOCS: Foundations of Computer Science, 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono M, Bargmann CI. 1998. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 94(5), 679–689.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 1449 | OA
Hausel T. 1998. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998(503), 169–192.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1450 | OA
Hausel T. 1998. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 2(5), 1011–1040.
View | DOI | Download (ext.)
 

Search

Filter Publications