default search action
Khaled Bsaïes
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c28]Wissal Ben Marzouka, Basel Solaiman, Atef Hammouda, Zouhour Ben Dhief, Khaled Bsaïes:
Possibilistic BRISK method for an efficient registration (PBRISK). ATSIP 2020: 1-6
2010 – 2019
- 2019
- [c27]Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes:
Possibilistic registration based on unsupervised classification (BMPRUC). ICMV 2019: 114333E - [c26]Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes:
Comparative study of feature detector and descriptor methods for registration. ICMV 2019: 114333H - 2018
- [c25]Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaïes, Zouhour Ben Dhief, Atef Hammouda:
New method of registration based on the theory of possibility. ATSIP 2018: 1-6 - [c24]Fatma Dhaou
, Inès Mouakher
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE 2018: 275-282 - 2017
- [c23]Fatma Dhaou
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE 2017: 47-56 - 2016
- [c22]Fatma Dhaou
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA 2016: 310-318 - 2015
- [c21]Fatma Dhaou
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA 2015: 339-347 - 2014
- [j8]Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili:
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5(1/2): 78-102 (2014) - [c20]Sonia Ben Ticha
User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering. WEBIST (2) 2014: 205-212 - [c19]Sonia Ben Ticha
Rocchio Algorithm to Enhance Semantically Collaborative Filtering. WEBIST (Revised Selected Papers) 2014: 295-311 - 2013
- [j7]Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili:
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48: 1-36 (2013) - 2012
- [j6]Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81(5): 606-622 (2012) - [c18]Sonia Ben Ticha
User Semantic Preferences for Collaborative Recommendations. EC-Web 2012: 203-211 - 2011
- [j5]Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili:
Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. 6(4): 574-583 (2011) - [c17]Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
2000 – 2009
- 2009
- [c16]Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS 2009: 242-259 - 2004
- [j4]Moussa Demba, Khaled Bsaïes:
Appropriate lemmae discovery. Inf. Sci. 163(4): 221-237 (2004) - 2003
- [j3]Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Correction de conjectures fausses par synthèse de programmes. Tech. Sci. Informatiques 22(1): 307-310 (2003) - [c15]Moussa Demba, Francis Alexandre, Khaled Bsaïes:
Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC 2003: 307-310 - [c14]Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR 2003: 20-33 - 2002
- [c13]Moussa Demba, Khaled Bsaïes:
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC 2002: 227-
1990 – 1999
- 1999
- [c12]Rym Salem, Khaled Bsaïes:
Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE 1999: 612-621 - 1998
- [c11]Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini:
May reasoning be reduced to an information retrieval problem? RelMiCS 1998: 29-32 - 1997
- [j2]Francis Alexandre, Khaled Bsaïes:
A Methodology for Constructing Logic Programs. Fundam. Informaticae 29(3): 203-223 (1997) - [c10]Rym Salem, Khaled Bsaïes:
Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS 1997: 133-142 - 1995
- [c9]Khaled Bsaïes:
Discovering and proving logic program properties. SAC 1995: 369-373 - 1994
- [j1]Khaled Bsaïes, Francis Alexandre, Alain Quéré:
Transformation of generate and test logic programs. Methods Log. Comput. Sci. 1(3): 355-377 (1994) - [c8]Khaled Bsaïes:
Implementing the Synthesis of Properties in Unfold/Fold Transformations. PLILP 1994: 459-460 - [c7]Khaled Bsaïes:
Discovering "Eureka Steps" in Transforming Logic Programs. WLP 1994: 28-31 - 1993
- [c6]Khaled Bsaïes:
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. ILPS 1993: 633 - 1992
- [c5]Khaled Bsaïes:
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. ALPUK 1992: 41-61 - [c4]Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré:
Spes: A System for Logic Program Transformation. LPAR 1992: 445-447 - [c3]Khaled Bsaïes:
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. PEPM 1992: 108-115 - [c2]Khaled Bsaïes:
A strategy for transforming generate and test logic programs. SAC 1992: 563-572 - 1991
- [c1]Francis Alexandre, Khaled Bsaïes, Alain Quéré:
On Using Mode Input-output for Transforming Logic Programs. LOPSTR 1991: 129-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: