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.

2536 Publications


2010 | Conference Paper | IST-REx-ID: 4390
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773   OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology, vol. 30, no. 4, BioOne, 2010, pp. 658–63, doi:10.1651/09-3192.1 .
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho, Lara, and Carl-Philipp J. Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.” Trends in Cell Biology, vol. 20, no. 10, Cell Press, 2010, pp. 586–92, doi:10.1016/j.tcb.2010.06.009.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
Bendich, Paul, et al. The Robustness of Level Sets. Vol. 6346, Springer, 2010, pp. 1–10, doi:10.1007/978-3-642-15775-2_1.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed