Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2991 Publications
2013 | Report | IST-REx-ID: 5407 |

Porsche J. 2013. Technical requirements and features, IST Austria,p.
View
| Files available
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5405 |

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

Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |

Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
View
| Files available
| DOI
2013 | Book Chapter | IST-REx-ID: 5747 |

Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 6440 |

Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |

Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control, 163–172.
View
| Files available
| DOI