| 2009 | ||
|---|---|---|
| 3 | Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144 | |
| 2008 | ||
| 2 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62 | |
| 1 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Left-Quadratic Rules When Completing Tree Automata. Electr. Notes Theor. Comput. Sci. 223: 61-70 (2008) | |
| 1 | Yohan Boichut | [1] [2] |
| 2 | Pierre-Cyrille Héam | [1] [2] [3] |
| 3 | Olga Kouchnarenko | [1] [2] [3] |