| 2020 | ATSIP | Possibilistic BRISK method for an efficient registration (PBRISK). | Wissal Ben Marzouka, Basel Solaiman, Atef Hammouda, Zouhour Ben Dhief, Khaled Bsaes |
| 2019 | ICMV | Possibilistic registration based on unsupervised classification (BMPRUC). | Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaes |
| 2019 | ICMV | Comparative study of feature detector and descriptor methods for registration. | Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaes |
| 2018 | ATSIP | New method of registration based on the theory of possibility. | Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaes, Zouhour Ben Dhief, Atef Hammouda |
| 2018 | ENASE | Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2017 | ENASE | A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2016 | ICSoft | Refinement of UML2.0 Sequence Diagrams for Distributed Systems. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2015 | ICSoft | Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2014 | WEBIST | User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering. | Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaes |
| 2014 | WEBIST | Rocchio Algorithm to Enhance Semantically Collaborative Filtering. | Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaes |
| 2011 | ICTAC | Computing Preconditions and Postconditions of While Loops. | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili |
| 2003 | LOPSTR | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. | Francis Alexandre, Khaled Bsaes, Moussa Demba |
| 1995 | SAC | Discovering and proving logic program properties. | Khaled Bsaes |
| 1992 | LPAR | Spes: A System for Logic Program Transformation. | Francis Alexandre, Khaled Bsaes, Jean-Pierre Finance, Alain Qur |
| 1992 | PEPM | A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. | Khaled Bsaes |
| 1992 | SAC | A strategy for transforming generate and test logic programs. | Khaled Bsaes |
| 1991 | LOPSTR | On Using Mode Input-output for Transforming Logic Programs. | Francis Alexandre, Khaled Bsaes, Alain Qur |