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.

5484 Publications

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:1260
View | DOI

1998 | Journal Article | IST-REx-ID: 4492
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 1998;57(1):94-124. doi:10.1006/jcss.1998.1581
View | DOI

1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: Vol 1384. Springer; 1998:330-344. doi: 10.1007/BFb0054181
View | DOI

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

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


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed