| 2004 |
|---|
| 17 | EE | Moussa Demba,
Khaled Bsaïes:
Appropriate lemmae discovery.
Inf. Sci. 163(4): 221-237 (2004) |
| 2003 |
|---|
| 16 | | Moussa Demba,
Francis Alexandre,
Khaled Bsaïes:
Correction de Conjectures Fausses par Synthèse de Programmes.
JFPLC 2003: 307-310 |
| 15 | EE | Francis Alexandre,
Khaled Bsaïes,
Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.
LOPSTR 2003: 20-33 |
| 14 | 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 |
|---|
| 13 | | Moussa Demba,
Khaled Bsaïes:
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.
JFPLC 2002: 227- |
| 1999 |
|---|
| 12 | | Rym Salem,
Khaled Bsaïes:
Unfold/Fold Inductive Proof: An Extension of a Folding Technique.
IEA/AIE 1999: 612-621 |
| 1998 |
|---|
| 11 | | Khaled Bsaïes,
Fathi Hammami,
Ali Jaoua,
Wassim Ksontini:
May reasoning be reduced to an information retrieval problem?
RelMiCS 1998: 29-32 |
| 1997 |
|---|
| 10 | | Rym Salem,
Khaled Bsaïes:
Mechanizing Proofs by Unfolding, Folding and Simplification.
RelMiCS 1997: 133-142 |
| 9 | | Francis Alexandre,
Khaled Bsaïes:
A Methodology for Constructing Logic Programs.
Fundam. Inform. 29(3): 203-223 (1997) |
| 1995 |
|---|
| 8 | EE | Khaled Bsaïes:
Discovering and proving logic program properties.
SAC 1995: 369-373 |
| 1994 |
|---|
| 7 | | Khaled Bsaïes:
Implementing the Synthesis of Properties in Unfold/Fold Transformations.
PLILP 1994: 459-460 |
| 6 | | Khaled Bsaïes:
Discovering "Eureka Steps" in Transforming Logic Programs.
WLP 1994: 28-31 |
| 1993 |
|---|
| 5 | | Khaled Bsaïes:
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties.
ILPS 1993: 633 |
| 1992 |
|---|
| 4 | | Khaled Bsaïes:
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs.
ALPUK 1992: 41-61 |
| 3 | | Francis Alexandre,
Khaled Bsaïes,
Jean-Pierre Finance,
Alain Quéré:
Spes: A System for Logic Program Transformation.
LPAR 1992: 445-447 |
| 2 | | Khaled Bsaïes:
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties.
PEPM 1992: 108-115 |
| 1991 |
|---|
| 1 | | Francis Alexandre,
Khaled Bsaïes,
Alain Quéré:
On Using Mode Input-output for Transforming Logic Programs.
LOPSTR 1991: 129-146 |
