ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2012 | Journal Article | IST-REx-ID: 9142 |

Detailed investigation of the self-aggregation of convection in cloud-resolving simulations
C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.

View | DOI | Download Published Version (ext.)

2012 | Journal Article | IST-REx-ID: 922 |

Mechanical instabilities of biological tubes
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).

View | DOI | Download Preprint (ext.) | arXiv

2012 | Conference Paper | IST-REx-ID: 1384 |

Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.

View | DOI | Download Preprint (ext.)

2012 | Journal Article | IST-REx-ID: 1471 |

Prym varieties of spectral covers
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.

View | DOI | Download (ext.)

2012 | Journal Article | IST-REx-ID: 1472 |

Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.

View | DOI | Download (ext.)