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.
5698 Publications
2010 | Published | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 2010;13(4):485-494. doi:10.1111/j.1461-0248.2010.01442.x
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4157 | 
Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi:10.1038/emboj.2010.182
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, et al. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 2010;107(43):18729-18734. doi:10.1073/pnas.1009695107
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 2010;20(17):R780-R785. doi:10.1016/j.cub.2010.07.007
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Heterosis and the drift load. 2010. doi:10.1371/journal.pbio.1000429.s003
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 2010;328(5980):916-919. doi:10.1126/science.1186366
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 2409 |
Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets. Algorithms for Molecular Biology. 2010;5(1). doi:10.1186/1748-7188-5-37
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3833
Jonas PM, Hefft S. GABA release at terminals of CCK-interneurons: Synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. 2010;31(7):1194-1195. doi:10.1111/j.1460-9568.2010.07189.x
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic Bound Computation for loops. In: Clarke EM, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning. Vol 6355. LNCS. Berlin, Heidelberg: Springer Nature; 2010:103-118. doi:10.1007/978-3-642-17511-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. Hardness results for homology localization. In: Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2010:1594-1604. doi:10.1137/1.9781611973075.129
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4243 |
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
[Published Version]
View
| Files available
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
[Published Version]
View
| Files available
| DOI
2010 | Published | Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J, eds. Handbuch Bibliothek 2.0. Vol 41. De Gruyter; 2010. doi:10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4369 |
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4378 |
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
[Submitted Version]
View
| Files available
| DOI