Please note that IST 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.
2426 Publications
2011 | Conference Paper | IST-REx-ID: 3360 |

Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3361 |

Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3362 |

Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. Dynamic reactive modules. In: Vol 6901. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2011:404-418. doi:10.1007/978-3-642-23217-6_27
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3363 |

Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3355 |

Halalai R, Henzinger TA, Singh V. Quantitative evaluation of BFT protocols. In: IEEE; 2011:255-264. doi:10.1109/QEST.2011.40
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: quantitative synthesis tool. In: Vol 6605. Springer; 2011:267-271. doi:10.1007/978-3-642-19835-9_24
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3384 |

Tkačik G, Garrigan P, Ratliff C, et al. Natural images from the birthplace of the human eye. PLoS One. 2011;6(6). doi:10.1371/journal.pone.0020409
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3387 |

Kupczok A. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 2011;11(205). doi:10.1186/1471-2148-11-205
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3388 |

Ugelvig LV, Nielsen P, Boomsma J, Nash D. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 2011;11(201). doi:10.1186/1471-2148-11-201
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3390 |

Barton NH, Etheridge A. The relation between reproductive value and genetic contribution. Genetics. 2011;188(4):953-973. doi:10.1534/genetics.111.127555
View
| DOI
| Download Submitted Version (ext.)