الرئيسية › دليل الباحثين › Khaled Bsaïes

Khaled Bsaïes

الانتماء : Tunis University · Tunis El Manar University

• 26منشورات (انتماء تونسي)
• 61مجموع المنشورات
• 118الاستشهادات
• 7مؤشر h

OpenAlex

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Logic, Reasoning, and Knowledge
• Software Testing and Debugging Techniques
• Model-Driven Software Engineering Techniques

المنشورات (26)

• Possibilistic BRISK method for an efficient registration (PBRISK)
  2020 · International Conference on Advanced Technologies for Signal and Image Processing · استُشهد به 3 مرة
• Possibilistic registration based on unsupervised classification (BMPRUC)
  2020 · International Conference on Machine Vision
• Multi-temporal image change mining based on evidential conflict reasoning
  2019 · ISPRS Journal of Photogrammetry and Remote Sensing · استُشهد به 8 مرة
• Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
  2018 · International Conference on Evaluation of Novel Approaches to Software Engineering · استُشهد به 1 مرة
• An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
  2018 · Communications in computer and information science · استُشهد به 1 مرة
• New method of registration based on the theory of possibility
  2018 · International Conference on Advanced Technologies for Signal and Image Processing
• A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
  2017 · International Conference on Evaluation of Novel Approaches to Software Engineering · استُشهد به 4 مرة
• Refinement of UML2.0 Sequence Diagrams for Distributed Systems
  2016 · International Conference on Software Technologies (ICSOFT) · استُشهد به 3 مرة
• Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
  2015 · International Conference on Software Engineering and Applications (ICSOFT-EA) · استُشهد به 4 مرة
• Rocchio Algorithm to Enhance Semantically Collaborative Filtering
  2015 · Lecture notes in business information processing · استُشهد به 1 مرة
• Verifying while loops with invariant relations
  2014 · International Journal of Critical Computer-Based Systems · استُشهد به 7 مرة
• User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering
  2014 · International Conference on Web Information Systems and Technologies · استُشهد به 3 مرة
• Feature Frequency Inverse User Frequency for Dependant Attribute to Enhance Recommendations
  2013 · HAL · استُشهد به 3 مرة
• A versatile concept for the analysis of loops
  2012 · The Journal of Logic and Algebraic Programming · استُشهد به 10 مرة
• Invariant functions and invariant relations: An alternative to invariant assertions
  2012 · Journal of Symbolic Computation · استُشهد به 9 مرة
• Multi-Resolution Spectral Analysis of Vowels in Tunisian Context
  2012 · InTech eBooks
• Computing Preconditions and Postconditions of While Loops
  2011 · Lecture notes in computer science · استُشهد به 12 مرة
• Invariant Relations: An Automated Tool to Analyze Loops
  2011 · Electronic workshops in computing · استُشهد به 7 مرة
• Reasoning About Quantitative Architectural Attributes (Invited Paper)
  2011 · Journal of Software · استُشهد به 1 مرة
• Relational Methods in the Analysis of While Loops: Observations of Versatility
  2009 · Lecture notes in computer science
• Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
  2005 · HAL
• Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
  2004 · Lecture notes in computer science
• Appropriate lemmae discovery
  2003 · Information Sciences · استُشهد به 1 مرة
• Lemmae discovery in inductive proof
  2003 · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics
• Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
  2003 · HAL
• Unfold/Fold Inductive Proof: An Extension of a Folding Technique
  1999 · Lecture notes in computer science

مجلات النشر

• Lecture notes in computer science × 4
• HAL × 3
• International Conference on Advanced Technologies for Signal and Image Processing × 2
• International Conference on Evaluation of Novel Approaches to Software Engineering × 2
• International Conference on Machine Vision × 1
• ISPRS Journal of Photogrammetry and Remote Sensing × 1

المنشورات حسب السنة

• 20202
• 20191
• 20183
• 20171
• 20161
• 20152
• 20142
• 20131
• 20123
• 20113

التعاون العلمي

المؤسسات الشريكة : New Jersey Institute of Technology · Institut Supérieur de Gestion de Tunis · Laboratoire Lorrain de Recherche en Informatique et ses Applications · Université de Lorraine · IMT Atlantique

بلدان المؤلفين المشاركين : الولايات المتحدة · فرنسا

المؤلفون المشاركون

• Inès Mouakher
• Fatma Mohammed Dhaou
• Wided Ghardallou
• Asma Louhichi
• Moussa Demba
• Sonia Ben Ticha
• Lamia Labed Jilani
• Atef Hammouda
• Olfa Mraihi
• Zouhour Ben Dhiaf
• Wissal Ben Marzouka
• Ali Mili

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).