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.
2013 | Book Chapter | IST-REx-ID: 5747 |
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 6128 |
E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12, 2013.View | Files available | DOI | PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6133 |
A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35, pp. E3301–E3310, 2013.View | Files available | DOI | PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2718 |
N. H. Barton and T. Paixao, “Can quantitative and population genetics help us understand evolutionary computation?,” in Proceedings of the 15th annual conference on Genetic and evolutionary computation, Amsterdam, Netherlands, 2013, pp. 1573–1580.View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2808 |
K. Landberg et al., “The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain,” Plant Physiology, vol. 162, no. 3, pp. 1406–1419, 2013.View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC