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.
9087 Publications
2009 | Journal Article | IST-REx-ID: 3775 | 
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3835
Bloem, R., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2009). Synthesizing robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. https://doi.org/10.1109/FMCAD.2009.5351139
View
| DOI
2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, J., Schumann, K., Weber, M., Lämmermann, T., Pflicke, H., Piel, M., … Sixt, M. K. (2009). Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1992
View
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, J., Gerstl, R., Mannigel, I., Niedung, K., Frommhold, D., Panthel, K., … Walzog, B. (2009). A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2009-02-206169
View
| DOI