| |
| 2004 | ||
|---|---|---|
| 5 | EE | Moussa Demba, Khaled Bsaïes: Appropriate lemmae discovery. Inf. Sci. 163(4): 221-237 (2004) |
| 2003 | ||
| 4 | Moussa Demba, Francis Alexandre, Khaled Bsaïes: Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC 2003: 307-310 | |
| 3 | EE | Francis Alexandre, Khaled Bsaïes, Moussa Demba: Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR 2003: 20-33 |
| 2 | EE | Francis Alexandre, Khaled Bsaïes, Moussa Demba: Correction de conjectures fausses par synthèse de programmes. Technique et Science Informatiques 22(1): 307-310 (2003) |
| 2002 | ||
| 1 | Moussa Demba, Khaled Bsaïes: Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC 2002: 227- | |
| 1 | Francis Alexandre | [2] [3] [4] |
| 2 | Khaled Bsaïes | [1] [2] [3] [4] [5] |