Khaled Bsaïes

36 papers B 3C 7Misc 4Journal 8Unranked 14

Year	Rank	Type	Title / Venue / Authors
2020	Misc	`conf`	Possibilistic BRISK method for an efficient registration (PBRISK). ATSIP Wissal Ben Marzouka, Basel Solaiman, Atef Hammouda, Zouhour Ben Dhief, Khaled Bsaïes
2019	C	`conf`	Comparative study of feature detector and descriptor methods for registration. ICMV Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes
2019	C	`conf`	Possibilistic registration based on unsupervised classification (BMPRUC). ICMV Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes
2018	B	`conf`	Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
2018	Misc	`conf`	New method of registration based on the theory of possibility. ATSIP Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaïes, Zouhour Ben Dhief, Atef Hammouda
2017	B	`conf`	A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
2016	—	`conf`	Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
2015	—	`conf`	Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
2014	—	`conf`	Rocchio Algorithm to Enhance Semantically Collaborative Filtering. WEBIST (Revised Selected Papers) Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
2014	—	`conf`	User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering. WEBIST (2) Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
2014	J	`jnl`	Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
2013	J	`jnl`	Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
2012	J	`jnl`	A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2012	—	`conf`	User Semantic Preferences for Collaborative Recommendations. EC-Web Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
2011	C	`conf`	Computing Preconditions and Postconditions of While Loops. ICTAC Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2011	J	`jnl`	Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili
2009	—	`conf`	Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2004	J	`jnl`	Appropriate lemmae discovery. Inf. Sci. Moussa Demba, Khaled Bsaïes
2003	—	`conf`	Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC Moussa Demba, Francis Alexandre, Khaled Bsaïes
2003	J	`jnl`	Correction de conjectures fausses par synthèse de programmes. Tech. Sci. Informatiques Francis Alexandre, Khaled Bsaïes, Moussa Demba
2003	C	`conf`	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR Francis Alexandre, Khaled Bsaïes, Moussa Demba
2002	—	`conf`	Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC Moussa Demba, Khaled Bsaïes
1999	C	`conf`	Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE Rym Salem, Khaled Bsaïes
1998	—	`conf`	May reasoning be reduced to an information retrieval problem? RelMiCS Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini
1997	J	`jnl`	A Methodology for Constructing Logic Programs. Fundam. Informaticae Francis Alexandre, Khaled Bsaïes
1997	—	`conf`	Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS Rym Salem, Khaled Bsaïes
1995	Misc	`conf`	Discovering and proving logic program properties. SAC Khaled Bsaïes
1994	—	`conf`	Discovering "Eureka Steps" in Transforming Logic Programs. WLP Khaled Bsaïes
1994	—	`conf`	Implementing the Synthesis of Properties in Unfold/Fold Transformations. PLILP Khaled Bsaïes
1994	J	`jnl`	Transformation of generate and test logic programs. Methods Log. Comput. Sci. Khaled Bsaïes, Francis Alexandre, Alain Quéré
1993	—	`conf`	Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. ILPS Khaled Bsaïes
1992	C	`conf`	A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. PEPM Khaled Bsaïes
1992	Misc	`conf`	A strategy for transforming generate and test logic programs. SAC Khaled Bsaïes
1992	B	`conf`	Spes: A System for Logic Program Transformation. LPAR Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
1992	—	`conf`	Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. ALPUK Khaled Bsaïes
1991	C	`conf`	On Using Mode Input-output for Transforming Logic Programs. LOPSTR Francis Alexandre, Khaled Bsaïes, Alain Quéré