Get started
Author

Khaled Bsaïes

Computing Preconditions and Postconditions of While Loops
2011 · Olfa Mraihi, Wided Ghardallou, et al. · Lecture notes in computer science · 12
A versatile concept for the analysis of loops
2012 · Wided Ghardallou, Olfa Mraihi, et al. · The Journal of Logic and Algebraic Programming · 9
Spes: A system for logic program transformation
2005 · Francis Alexandre, Khaled Bsaïes, et al. · Springer eBooks · 9
Multi-temporal image change mining based on evidential conflict reasoning
2019 · Fatma Haouas, Basel Solaiman, et al. · ISPRS Journal of Photogrammetry and Remote Sensing · 8
Invariant functions and invariant relations: An alternative to invariant assertions
2012 · Lamia Labed Jilani, Olfa Mraihi, et al. · Journal of Symbolic Computation · 8
May reasoning be reduced to an information retrieval problem
1998 · Khaled Bsaïes, Fathi Hammami, et al. · 8
User Semantic Preferences for Collaborative Recommendations
2012 · Sonia Ben Ticha, Azim Roussanaly, et al. · Lecture notes in business information processing · 7
On Using Mode Input-output for Transforming Logic Programs
1992 · Francis Alexandre, Khaled Bsaies, et al. · Workshops in computing · 7
Verifying while loops with invariant relations
2014 · Asma Louhichi, Wided Ghardallou, et al. · International Journal of Critical Computer-Based Systems · 6
Invariant Relations: An Automated Tool to Analyze Loops
2011 · Asma Louhichi, Olfa Mraihi, et al. · Electronic workshops in computing · 6
PDF
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
2017 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 4
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
2015 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Software Engineering and Applications (ICSOFT-EA) · 4
Possibilistic BRISK method for an efficient registration (PBRISK)
2020 · Wissal BEN MARZOUKA, Basel SOLAIMAN, et al. · International Conference on Advanced Technologies for Signal and Image Processing · 3
Refinement of UML2.0 Sequence Diagrams for Distributed Systems
2016 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Software Technologies (ICSOFT) · 3
User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering
2014 · Sonia Ben Ticha, Azim Roussanaly, et al. · International Conference on Web Information Systems and Technologies · 3
Feature Frequency Inverse User Frequency for Dependant Attribute to Enhance Recommendations
2013 · Ben Ticha, Sonia, Roussanaly, Azim, et al. · HAL · 3
Construction de programmes logiques par synthèse de propriétés
1993 · Khaled Bsaïes · Publications Et Travaux Academiques de Lorraine (Universite de Lorraine) · 2
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic programs
1993 · Khaled Bsaïes · Workshops in computing · 2
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
2018 · Fatma Dhaou, Ines Mouakher, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 1
An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
2018 · Fatma Dhaou, Ines Mouakher, et al. · Communications in computer and information science · 1
Rocchio Algorithm to Enhance Semantically Collaborative Filtering
2015 · Sonia Ben Ticha, Azim Roussanaly, et al. · Lecture notes in business information processing · 1
Reasoning About Quantitative Architectural Attributes (Invited Paper)
2011 · Lamia Labed Jilani, Imen Derbel, et al. · Journal of Software · 1
User-Feature Model for Hybrid Recommender System
2011 · Sonia Ben Ticha, Azim Roussanaly, et al. · HAL · 1
Appropriate lemmae discovery
2003 · M. Demba, K. Bsaı̈es · Information Sciences · 1
Stratégies de preuves par récurrence basées sur le pliage et le dépliage
2001 · Francis Alexandre, Moussa Demba, et al. · HAL · 1
Works count: 58
Citation count: 114
H-index: 7
I10-index: 1
Year
Topic
Type