| |
| 2008 | ||
|---|---|---|
| 3 | EE | Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi: Reconstructing words from a fixed palindromic length sequence. IFIP TCS 2008: 101-114 |
| 2 | EE | Sébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Asp. Comput. 20(6): 563-595 (2008) |
| 2007 | ||
| 1 | EE | Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200 |
| 1 | Srecko Brlek | [3] |
| 2 | Andrea Frosini | [3] |
| 3 | Jean-Pierre Gallois | [1] [2] |
| 4 | Alexandre Blondin Massé | [3] |
| 5 | Marc Pouzet | [1] |
| 6 | Simone Rinaldi | [3] |