| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Nash Equilibria in Concurrent Games with Büchi Objectives | Bouyer, Patricia et al. | 2011 |
| 2 | Shrinking Timed Automata | Sankur, Ocan et al. | 2011 |
| 3 | Computing Rational Radical Sums in Uniform TC^0 | Hunter, Paul et al. | 2010 |
| 4 | On Termination for Faulty Channel Machines | Bouyer, Patricia et al. | 2008 |
| Number of result pages: | 1 |
| Number of documents: | 4 |
