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
2003 | Journal Article | IST-REx-ID: 2992
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, and B. Scheres, “Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function,” Plant Cell, vol. 15, no. 3. American Society of Plant Biologists, pp. 612–625, 2003.View | DOI