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.
319 Publications
2012 | Journal Article | IST-REx-ID: 9142 |

Muller CJ, Held IM. 2012. Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. Journal of the Atmospheric Sciences. 69(8), 2551–2565.
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 922 |

Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 1384 |

Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.
View
| DOI
| Download Preprint (ext.)