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.
9084 Publications
2010 | Journal Article | IST-REx-ID: 4187
A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo
E. Kardash, M. Reichman Fried, J. Maître, B. Boldajipour, E. Papusheva, E. Messerschmidt, C. Heisenberg, E. Raz, Nature Cell Biology 12 (2010) 47–53.
View
| DOI
E. Kardash, M. Reichman Fried, J. Maître, B. Boldajipour, E. Papusheva, E. Messerschmidt, C. Heisenberg, E. Raz, Nature Cell Biology 12 (2010) 47–53.
2010 | Journal Article | IST-REx-ID: 4221
Movement directionality in collective migration of germ layer progenitors
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.
View
| DOI
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.
2010 | Book Chapter | IST-REx-ID: 4339 | 
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
[Published Version]
View
| Files available
| DOI
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
2010 | Journal Article | IST-REx-ID: 4358
Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation
C. Guinane, N. Ben Zakour, M. Tormo Mas, L. Weinert, B. Lowder, R. Cartwright, D. Smyth, C. Smyth, J. Lindsay, K. Gould, A. Witney, J. Hinds, J.P. Bollback, A. Rambaut, J. Penades, J.R. Fitzgerald, Genome Biology and Evolution 2 (2010) 454–466.
View
| DOI
C. Guinane, N. Ben Zakour, M. Tormo Mas, L. Weinert, B. Lowder, R. Cartwright, D. Smyth, C. Smyth, J. Lindsay, K. Gould, A. Witney, J. Hinds, J.P. Bollback, A. Rambaut, J. Penades, J.R. Fitzgerald, Genome Biology and Evolution 2 (2010) 454–466.
2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View
| DOI
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
2010 | Conference Paper | IST-REx-ID: 4378 |
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 | Journal Article | IST-REx-ID: 4379 |
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View
| DOI
| Download (ext.)
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
2010 | Conference Paper | IST-REx-ID: 4381 |
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
2010 | Conference Paper | IST-REx-ID: 4382 |
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
[Submitted Version]
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
2010 | Conference Paper | IST-REx-ID: 4380 |
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.