| |
| 2008 | ||
|---|---|---|
| 5 | Jean-Christophe Dubacq, Jean-Yves Moyen: Study of the NP-completeness of the compact table problem. JAC 2008: 228-237 | |
| 2006 | ||
| 4 | EE | Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen: On Quasi-Interpretations, Blind Abstractions and Implicit Complexity CoRR abs/cs/0608030: (2006) |
| 2005 | ||
| 3 | EE | Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: Quasi-interpretations and Small Space Bounds. RTA 2005: 150-164 |
| 2001 | ||
| 2 | EE | Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: On Lexicographic Termination Ordering with Space Bound Certifications. Ershov Memorial Conference 2001: 482-493 |
| 2000 | ||
| 1 | EE | Jean-Yves Marion, Jean-Yves Moyen: Efficient First Order Functional Program Interpreter with Time Bound Certifications. LPAR 2000: 25-42 |
| 1 | Patrick Baillot | [4] |
| 2 | Guillaume Bonfante | [2] [3] |
| 3 | Jean-Christophe Dubacq | [5] |
| 4 | Ugo Dal Lago | [4] |
| 5 | Jean-Yves Marion | [1] [2] [3] |