| |
| 2008 | ||
|---|---|---|
| 2 | EE | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62 |
| 1 | EE | 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 | Olga Kouchnarenko | [1] [2] |