 | 2008 |
| 5 |  | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL
CoRR abs/0804.2435: (2008) |
| 4 |  | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL.
Logical Methods in Computer Science 4(2): (2008) |
| 2007 |
| 3 |  | Thomas Brihaye,
François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
Timed Concurrent Game Structures.
CONCUR 2007: 445-459 |
| 2 |  | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL.
FoSSaCS 2007: 243-257 |
| 2006 |
| 1 |  | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
Model-Checking Timed.
FORMATS 2006: 245-259 |