Khaled Bsaies
Khaled Bsaies
professeur Université Tunis El Manar
Nincs ellenőrzött e-mail-cím
Cím
Hivatkozott rá
Hivatkozott rá
Év
Transfert et évolution géochimique de la pollution métallique en bassin versant urbain
S Garnaud
461999
Computing preconditions and postconditions of while loops
O Mraihi, W Ghardallou, A Louhichi, LL Jilani, K Bsaies, A Mili
International Colloquium on Theoretical Aspects of Computing, 173-193, 2011
152011
Spes: A system for logic program transformation
F Alexandre, K Bsaïes, JP Finance, A Quéré
International Conference on Logic for Programming Artificial Intelligence …, 1992
151992
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
112014
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
112012
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
92013
User semantic preferences for collaborative recommendations
SB Ticha, A Roussanaly, A Boyer, K Bsaies
International Conference on Electronic Commerce and Web Technologies, 203-211, 2012
72012
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
72011
On using mode input-output for transforming logic programs
F Alexandre, K Bsaies, A Quere
Logic Program Synthesis and Transformation, 129-146, 1992
71992
User-feature model for hybrid recommender system
SB Ticha, A Roussanaly, A Boyer, K Bsaies
62011
Feature frequency inverse user frequency for dependant attribute to enhance recommendations
SB Ticha, A Roussanaly, A Boyer, K Bsaïes
52013
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
42015
Static analysis for the synthesis of eureka properties for transforming logic programs
K Bsaïes
ALPUK92, 41-61, 1993
41993
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
32019
Refinement of UML2. 0 sequence diagrams for distributed systems
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
32016
Construction de programmes logiques par synthèse de propriétés
K Bsaïes
31993
Rocchio algorithm to enhance semantically collaborative filtering
SB Ticha, A Roussanaly, A Boyer, K Bsaïes
International Conference on Web Information Systems and Technologies, 295-311, 2014
22014
On Using Formal Tools for Developing Logic Programs
K Bsaies, A Alexandre
Proc. of the Fifth Nordic Workshop on Programming Environment Research …, 1992
21992
A causal semantics for UML2. 0 sequence diagrams with nested combined fragments
F Dhaou, I Mouakher, C Attiogbé, K Bsaies
12017
User semantic model for dependent attributes to enhance collaborative filtering
SB Ticha, A Roussanaly, A Boyer, K Bsaïes
12014
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20