| Computing preconditions and postconditions of while loops O Mraihi, W Ghardallou, A Louhichi, L Labed Jilani, K Bsaies, A Mili Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011 | 19 | 2011 |
| Spes: A system for logic program transformation F Alexandre, K Bsaïes, JP Finance, A Quere Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992 | 15 | 1992 |
| Verifying while loops with invariant relations A Louhichi, W Ghardallou, K Bsaies, LL Jilani, O Mraihi, A Mili International Journal of Critical Computer-Based Systems 5 (1-2), 78-102, 2014 | 14 | 2014 |
| Invariant functions and invariant relations: An alternative to invariant assertions LL Jilani, O Mraihi, A Louhichi, W Ghardallou, K Bsaies, A Mili Journal of Symbolic Computation 48, 1-36, 2013 | 14 | 2013 |
| A versatile concept for the analysis of loops W Ghardallou, O Mraihi, A Louhichi, LL Jilani, K Bsaies, A Mili The Journal of Logic and Algebraic Programming 81 (5), 606-622, 2012 | 13 | 2012 |
| Feature frequency inverse user frequency for dependant attribute to enhance recommendations SB Ticha, A Roussanaly, A Boyer, K Bsaïes SOTICS 2013, The Third International Conference on Social Eco-Informatics, 45-50, 2013 | 9 | 2013 |
| User semantic preferences for collaborative recommendations S Ben Ticha, A Roussanaly, A Boyer, K Bsaies E-Commerce and Web Technologies: 13th International Conference, EC-Web 2012 …, 2012 | 9 | 2012 |
| Invariant relations: An automated tool to analyze loops A Louhichi, O Mraihi, W Ghardallou, LL Jilani, K Bsaies, A Mili Fifth International Workshop on Verification and Evaluation of Computer and …, 2011 | 9 | 2011 |
| Multi-temporal image change mining based on evidential conflict reasoning F Haouas, B Solaiman, ZB Dhiaf, A Hamouda, K Bsaies ISPRS Journal of Photogrammetry and Remote Sensing 151, 59-75, 2019 | 8 | 2019 |
| On using mode input-output for transforming logic programs F Alexandre, K Bsaies, A Quéré Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91 …, 1991 | 8 | 1991 |
| User-feature model for hybrid recommender system SB Ticha, A Roussanaly, A Boyer, K Bsaïes 4th International Conference on Information Systems and Economic …, 2011 | 7 | 2011 |
| A causal semantics for UML2. 0 sequence diagrams with nested combined fragments F Dhaou, I Mouakher, C Attiogbé, K Bsaies 12th International Conference on Evaluation of Novel Approaches to Software …, 2017 | 6 | 2017 |
| Extending causal semantics of UML2. 0 sequence diagram for distributed systems F Dhaou, I Mouakher, C Attiogbé, K Bsaïes 2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015 | 4 | 2015 |
| Static analysis for the synthesis of eureka properties for transforming logic programs K Bsaïes ALPUK92, 41-61, 1993 | 4 | 1993 |
| Refinement of UML2. 0 sequence diagrams for distributed systems F Dhaou, I Mouakher, C Attiogbé, K Bsaïes the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), 2016 | 3 | 2016 |
| Construction de programmes logiques par synthèse de propriétés K Bsaïes Université Henri Poincaré-Nancy 1, 1993 | 3 | 1993 |
| Possibilistic BRISK method for an efficient registration (PBRISK) WBEN Marzouka, B Solaiman, A Hammouda, ZB Dhief, K Bsaïes 2020 5th International Conference on Advanced Technologies for Signal and …, 2020 | 2 | 2020 |
| Comparative study of feature detector and descriptor methods for registration WB Marzouka, B Solaiman, A Hamouda, ZB Dhiaf, K Bsaies Twelfth International Conference on Machine Vision (ICMV 2019) 11433, 949-954, 2020 | 2 | 2020 |
| An Operational Semantics of UML2. X Sequence Diagrams for Distributed Systems F Dhaou, I Mouakher, JC Attiogbé, K Bsaies Evaluation of Novel Approaches to Software Engineering: 12th International …, 2018 | 2 | 2018 |
| Rocchio algorithm to enhance semantically collaborative filtering S Ben Ticha, A Roussanaly, A Boyer, K Bsaïes Web Information Systems and Technologies: 10th International Conference …, 2015 | 2 | 2015 |
