Khaled Bsaïes

	2009
18		Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS 2009: 242-259
	2004
17		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		Francis Alexandre, Khaled Bsaïes, Moussa Demba: Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR 2003: 20-33
14		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		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

Coauthor Index

1	Francis Alexandre	[1] [3] [9] [14] [15] [16]
2	Moussa Demba	[13] [14] [15] [16] [17]
3	Jean-Pierre Finance	[3]
4	Fathi Hammami	[11]
5	Ali Jaoua	[11]
6	Lamia Labed Jilani	[18]
7	Wassim Ksontini	[11]
8	Asma Louhichi	[18]
9	Ali Mili	[18]
10	Olfa Mraihi	[18]
11	Alain Quéré	[1] [3]
12	Rym Salem	[10] [12]

Colors in the list of coauthors