- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena: Regular model checking for LTL(MSO). STTT 14(2): 223-241 (2012) |
| 2008 | ||
| j2 | | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso: Monotonic and Downward Closed Games. J. Log. Comput. 18(1): 153-169 (2008) |
| 2006 | ||
| j1 | | 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) |
| c7 | | |
| 2005 | ||
| c6 | | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44 |
| 2004 | ||
| c5 | | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena: Regular Model Checking for LTL(MSO). CAV 2004: 348-360 |
| 2003 | ||
| c4 | | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso: Algorithmic Improvements in Regular Model Checking. CAV 2003: 236-248 |
| c3 | | |
| 2002 | ||
| c2 | | Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso: Regular Tree Model Checking. CAV 2002: 555-568 |
| c1 | | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso: Regular Model Checking Made Simple and Efficient. CONCUR 2002: 116-130 |
| 1 | Parosh Aziz Abdulla | |
| 2 | Ahmed Bouajjani | |
| 3 | Bengt Jonsson | |
| 4 | Axel Legay | |
| 5 | Pritha Mahata | |
| 6 | Marcus Nilsson | |
| 7 | Ahmed Rezine | |
| 8 | Mayank Saksena | |
| 9 | Tayssir Touili |
Data released under the ODC-BY 1.0 license — See also our legal information page