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
T. A. Henzinger and S. Sastry, HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1, pp. 94–124, 1998.
View | DOI
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed