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.
58 Publications
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger TA, Kopke P, Puri A, Varaiya P. 1998. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 57(1), 94–124.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts D, Henzinger MH. 1998. Average-case analysis of dynamic graph algorithms. Algorithmica. 20, 31–60.
View
| Files available
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. 1998. Parametric and kinetic minimum spanning trees. Proceedings of the 39th Annual Symposium on Foundations of Computer Science. Annual IEEE Symposium on Foundations of Computer Science, 596–605.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11926
Goel A, Henzinger MH, Plotkin S. 1998. An online throughput-competitive algorithm for multicast routing and admission control. 9th Annual ACM SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 97–106.
View
| Files available
1998 | Published | 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 | Published | Journal Article | IST-REx-ID: 1449 |
Hausel T. 1998. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998(503), 169–192.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 1450 |
Hausel T. 1998. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 2(5), 1011–1040.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | 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
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1955 |
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 None (ext.)
| PubMed | Europe PMC
1998 | Published | 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
| Download None (ext.)
| PubMed | Europe PMC