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