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.)
2012 | Journal Article | IST-REx-ID: 1471 |

Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1472 |

De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 10387 |

Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 | Journal Article | IST-REx-ID: 10388 |

Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 | Conference Paper | IST-REx-ID: 2048 |

Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography. Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428, 213–232.
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2049 |

Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient authentication protocol based on ring-LPN. Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549, 346–365.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2073
Zhou Q, Zhu H, Huang Q, Zhao L, Zhang G, Roy S, Vicoso B, Xuan Z, Ruan J, Zhang Y, Zhao R, Ye C, Zhang X, Wang J, Wang W, Bachtrog D. 2012. Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. 13(1).
View
| DOI