en
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.
5483 Publications
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 
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
1998 | Journal Article | IST-REx-ID: 2586
Watanabe, D., Inokawa, H., Hashimoto, K., Suzuki, N., Kano, M., Shigemoto, R., … Nakanishi, S. (1998). Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell, 95(1), 17–27. https://doi.org/10.1016/S0092-8674(00)81779-1
View
| DOI