Khaled Bsaïes

发表

Transformation of generate and test logic programs

Khaled Bsaïes, Francis Alexandre, Alain Quéré, 1994, Methods Log. Comput. Sci..

A Methodology for Constructing Logic Programs

Khaled Bsaïes, Francis Alexandre, 1997, Fundam. Informaticae.

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams

J. Christian Attiogbé, Khaled Bsaïes, Fatma Dhaou, 2018, ENASE.

Computing Preconditions and Postconditions of While Loops

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2011, ICTAC.

May reasoning be reduced to an information retrieval problem?

Ali Jaoua, Khaled Bsaïes, Fathi Hammami, 1998, RelMiCS.

Correction de conjectures fausses par synthèse de programmes

Khaled Bsaïes, Francis Alexandre, Moussa Demba, 2003, Tech. Sci. Informatiques.

Feature Frequency Inverse User Frequency for Dependant Attribute to Enhance Recommendations

Anne Boyer, Khaled Bsaïes, Azim Roussanaly, 2013 .

On using Eureka properties for transforming generate and test logic programs

Khaled Bsaïes, 1992 .

Implementing the Synthesis of Properties in Unfold/Fold Transformations

Khaled Bsaïes, 1994, PLILP.

User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering

Anne Boyer, Khaled Bsaïes, Azim Roussanaly, 2014, WEBIST.

Extending causal semantics of UML2.0 sequence diagram for distributed systems

J. Christian Attiogbé, Khaled Bsaïes, Fatma Dhaou, 2015, 2015 10th International Joint Conference on Software Technologies (ICSOFT).

Discovering "Eureka Steps" in Transforming Logic Programs

Khaled Bsaïes, 1994, WLP.

A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties

Khaled Bsaïes, 1992, PEPM.

Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs

Khaled Bsaïes, K. Bsaïes, 1992, ALPUK.

New method of registration based on the theory of possibility

Bassel Solaiman, Atef Hammouda, Khaled Bsaïes, 2018, 2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP).

Spes: A System for Logic Program Transformation

Khaled Bsaïes, Francis Alexandre, Alain Quéré, 1992, LPAR.

Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence

Moussa Demba, Khaled Bsaïes, 2002, JFPLC.

Possibilistic registration based on unsupervised classification (BMPRUC)

Bassel Solaiman, Khaled Bsaïes, Zouhour Ben Dhiaf, 2020, International Conference on Machine Vision.

Invariant functions and invariant relations: An alternative to invariant assertions

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2013, J. Symb. Comput..

Possibilistic BRISK method for an efficient registration (PBRISK)

Bassel Solaiman, Atef Hammouda, Khaled Bsaïes, 2020, 2020 5th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP).

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments

J. Christian Attiogbé, Khaled Bsaïes, Fatma Dhaou, 2017, ENASE.

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

Moussa Demba, Khaled Bsaïes, Francis Alexandre, 2003, LOPSTR.

Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties

Khaled Bsaïes, 1993, ILPS.

Reasoning About Quantitative Architectural Attributes (Invited Paper)

Lamia Labed Jilani, Ali Mili, Khaled Bsaïes, 2011, J. Softw..

Relational Methods in the Analysis of While Loops: Observations of Versatility

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2009, RelMiCS.

On Using Mode Input-output for Transforming Logic Programs

Khaled Bsaïes, Francis Alexandre, Alain Quéré, 1991, LOPSTR.

Refinement of UML2.0 Sequence Diagrams for Distributed Systems

J. Christian Attiogbé, Khaled Bsaïes, Fatma Dhaou, 2016, ICSOFT-EA.

User Semantic Preferences for Collaborative Recommendations

Anne Boyer, Khaled Bsaïes, Azim Roussanaly, 2012, EC-Web.

Discovering and proving logic program properties

Khaled Bsaïes, 1995, SAC '95.

Correcting faulty conjectures by logic program synthesis

Moussa Demba, Khaled Bsaïes, Francis Alexandre, 2003 .

Rocchio Algorithm to Enhance Semantically Collaborative Filtering

Anne Boyer, Khaled Bsaïes, Azim Roussanaly, 2014, WEBIST.

Verifying while loops with invariant relations

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2014, Int. J. Crit. Comput. Based Syst..

Unfold/Fold Inductive Proof: An Extension of a Folding Technique

Khaled Bsaïes, Rym Salem, Rym Salem, 1999, IEA/AIE.

Mechanizing Proofs by Unfolding, Folding and Simplification

Khaled Bsaïes, Rym Salem, 1997, RelMiCS.

Comparative study of feature detector and descriptor methods for registration

Bassel Solaiman, Khaled Bsaïes, Zouhour Ben Dhiaf, 2020, International Conference on Machine Vision.

A strategy for transforming generate and test logic programs

Khaled Bsaïes, K. Bsaïes, 1992, SAC '92.

Invariant relations: an automated tool to analyze loops

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2011 .