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.
289 Publications
2010 |
Published |
Journal Article |
IST-REx-ID: 3964
Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. 2010;10(2):127-139. doi:10.1007/s10208-010-9060-6
View
| DOI
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: 4163
Oteíza P, Koeppen M, Krieg M, et al. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 2010;137(20):3459-3468. doi:10.1242/dev.049981
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, et al. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 2010;12(1):47-53. doi:10.1038/ncb2003
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 4221
Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. Movement directionality in collective migration of germ layer progenitors. Current Biology. 2010;20(2):161-169. doi:10.1016/j.cub.2009.11.036
View
| 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 |
Other Publication |
IST-REx-ID: 4340 |
Danowski P. Open Bibliographic Data. Elsevier; 2010.
View
| Files available
| Download None (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 4341
Danowski P. Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. In: IFLA; 2010.
View
| Download (ext.)
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 |
Journal Article |
IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2010;2:454-466. doi:10.1093/gbe/evq031
View
| DOI
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: 4364
Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330
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 |
Journal Article |
IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View
| DOI
| Download (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