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.
2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.View
2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.View
2002 | Journal Article | IST-REx-ID: 1737
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, and P. Falaras, “A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells,” Journal of Photochemistry and Photobiology A: Chemistry, vol. 149, no. 1–3. Elsevier, pp. 191–198, 2002.View | DOI