ISTA Research Explorer

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.

367 Publications

2013 | Published | Conference Paper | IST-REx-ID: 1376

Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386

View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 1385 |

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394

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

2013 | Published | Conference Paper | IST-REx-ID: 1387 |

Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11

[Submitted Version] View | Files available | DOI

2013 | Published | Thesis | PhD | IST-REx-ID: 1405 |

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2013 | Published | Thesis | PhD | IST-REx-ID: 1406

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.

View

2013 | Published | Journal Article | IST-REx-ID: 1442 |

Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2013.177.3.8

View | DOI | Download (ext.)

2013 | Published | Book Chapter | IST-REx-ID: 1443 |

Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of Moduli: Volume II (Vol. 25, pp. 29–70). International Press.

View | Download (ext.)

2013 | Published | Journal Article | IST-REx-ID: 1469

Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2012.10.009

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 1470 |

De Cataldo, M., Hausel, T., & Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. Worldwide Center of Mathematics. https://doi.org/10.5427/jsing.2013.7c

View | DOI | Download (ext.)

2013 | Published | Technical Report | IST-REx-ID: 5399 |

Reiter, J., Bozic, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for Tumor Progression. IST Austria. https://doi.org/10.15479/AT:IST-2013-104-v1-1