Please note that ISTA 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.
111 Publications
2004 | Book Chapter | IST-REx-ID: 4230
de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Springer; 2004:83-87.
View
2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View