| 2008 |
|---|
| 9 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Julien d'Orso:
Monotonic and Downward Closed Games.
J. Log. Comput. 18(1): 153-169 (2008) |
| 2006 |
|---|
| 8 | EE | Julien d'Orso,
Tayssir Touili:
Regular Hedge Model Checking.
IFIP TCS 2006: 213-230 |
| 7 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Tree regular model checking: A simulation-based approach.
J. Log. Algebr. Program. 69(1-2): 93-121 (2006) |
| 2005 |
|---|
| 6 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers.
TACAS 2005: 30-44 |
| 2004 |
|---|
| 5 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso,
Mayank Saksena:
Regular Model Checking for LTL(MSO).
CAV 2004: 348-360 |
| 2003 |
|---|
| 4 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Algorithmic Improvements in Regular Model Checking.
CAV 2003: 236-248 |
| 3 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Julien d'Orso:
Deciding Monotonic Games.
CSL 2003: 1-14 |
| 2002 |
|---|
| 2 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Pritha Mahata,
Julien d'Orso:
Regular Tree Model Checking.
CAV 2002: 555-568 |
| 1 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Regular Model Checking Made Simple and Efficient.
CONCUR 2002: 116-130 |
