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.
2928 Publications
2011 | Technical Report | IST-REx-ID: 5382 |

K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5387 |

K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3356 |

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |

K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, USA, 2011, pp. 2089–2096.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |

K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |

C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |

P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6496 |

H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier BV, pp. 2336–2340, 2011.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC