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.
9207 Publications
2010 |Published| Journal Article | IST-REx-ID: 3904 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View
| DOI
| Download None (ext.)
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
2010 |Published| Journal Article | IST-REx-ID: 3956
Breaching multiple barriers: leukocyte motility through venular walls and the interstitium
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
View
| DOI
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
2010 |Published| Journal Article | IST-REx-ID: 4157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
2010 |Published| 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 |Published| 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 |Published| Book Chapter | IST-REx-ID: 4339 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 4378 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 4379 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 4381 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 4382 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 4380 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
2010 |Published| Conference Paper | IST-REx-ID: 4389 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 |Published| Book Chapter | IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2010 |Published| Conference Paper | IST-REx-ID: 4395
Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
View
| DOI
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
2010 |Published| Journal Article | IST-REx-ID: 3867 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
2010 |Published| Journal Article | IST-REx-ID: 474
A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
View
| DOI
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
2010 |Published| Conference Paper | IST-REx-ID: 488 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version]
View
| Files available
| DOI
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.