Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2776 Publications

2010 | Journal Article | IST-REx-ID: 4134
Bridle, J., Polechova, J., Kawata, M., & Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters, 13(4), 485–494. https://doi.org/10.1111/j.1461-0248.2010.01442.x
View | DOI
 
2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, E., & Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal, 29(16), 2753–2768. https://doi.org/10.1038/emboj.2010.182
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 4243 | OA
Barton, N. H., Etheridge, A., & Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability, 15(7), 162–216. https://doi.org/10.1214/EJP.v15-741
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer. https://doi.org/10.1007/978-3-642-16612-9_32
View | DOI
 

Search

Display / Sort

Citation Style: APA

Export / Embed