Khaled Bsaïes

	2011
21		Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
20		Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili: Reasoning About Quantitative Architectural Attributes (Invited Paper). JSW 6(4): 574-583 (2011)
	2009
19		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
18		Moussa Demba, Khaled Bsaïes: Appropriate lemmae discovery. Inf. Sci. 163(4): 221-237 (2004)
	2003
17		Moussa Demba, Francis Alexandre, Khaled Bsaïes: Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC 2003: 307-310
16		Francis Alexandre, Khaled Bsaïes, Moussa Demba: Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR 2003: 20-33
15		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
14		Moussa Demba, Khaled Bsaïes: Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC 2002: 227-
	1999
13		Rym Salem, Khaled Bsaïes: Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE 1999: 612-621
	1998
12		Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini: May reasoning be reduced to an information retrieval problem? RelMiCS 1998: 29-32
	1997
11		Rym Salem, Khaled Bsaïes: Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS 1997: 133-142
10		Francis Alexandre, Khaled Bsaïes: A Methodology for Constructing Logic Programs. Fundam. Inform. 29(3): 203-223 (1997)
	1995
9		Khaled Bsaïes: Discovering and proving logic program properties. SAC 1995: 369-373
	1994
8		Khaled Bsaïes: Implementing the Synthesis of Properties in Unfold/Fold Transformations. PLILP 1994: 459-460
7		Khaled Bsaïes: Discovering "Eureka Steps" in Transforming Logic Programs. WLP 1994: 28-31
6		Khaled Bsaïes, Francis Alexandre, Alain Quéré: Transformation of generate and test logic programs. Meth. of Logic in CS 1(3): 355-377 (1994)
	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] [6] [10] [15] [16] [17]
2	Moussa Demba	[14] [15] [16] [17] [18]
3	Imen Derbel	[20]
4	Jean-Pierre Finance	[3]
5	Wided Ghardallou	[21]
6	Fathi Hammami	[12]
7	Ali Jaoua	[12]
8	Lamia Labed Jilani	[19] [20] [21]
9	Wassim Ksontini	[12]
10	Asma Louhichi	[19] [21]
11	Ali Mili	[19] [20] [21]
12	Olfa Mraihi	[19] [21]
13	Hamdi Nasreddine	[20]
14	Alain Quéré	[1] [3] [6]
15	Rym Salem	[11] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page