ISTA Research Explorer

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

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.

[Preprint] View | DOI | Download Preprint (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.)

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: 171 |

Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.

View | DOI | Download (ext.)

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

Developmental pattern formation: Insights from physics and biology
A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.

View | DOI