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.
2004 | Book Chapter | IST-REx-ID: 4239
H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the Prebiotic Emergence of Proteins,” in Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.View | DOI
2004 | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.View