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.
3986 Publications
2013 | Technical Report | IST-REx-ID: 5402 |

T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |

K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |

K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5405 |

K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406 |

K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |

J. Porsche, Technical requirements and features. IST Austria, 2013.
View
| Files available
2013 | Technical Report | IST-REx-ID: 5408 |

K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5409 |

K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5410 |

U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Book Chapter | IST-REx-ID: 5747 |

C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI