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.

5439 Publications


1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, T. A., & Sastry, S. (1998). HSCC: Hybrid Systems—Computation and Control. HSCC: Hybrid Systems - Computation and Control (Vol. 1386). Springer. https://doi.org/1260
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4606
Alur, R., Henzinger, T. A., & Rajamani, S. (1998). Symbolic exploration of transition hierarchies (Vol. 1384, pp. 330–344). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/ 10.1007/BFb0054181
View | DOI
 

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. https://doi.org/10.1515/crll.1998.096
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
Sazanov, L. A., 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. https://doi.org/10.1073/pnas.95.3.1319
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed