الرئيسية › دليل الباحثين › Jules Desharnais

Jules Desharnais

الانتماء : Université Laval

• 11منشورات (انتماء كندي)
• 70مجموع المنشورات
• 905الاستشهادات
• 19مؤشر h

OpenAlex

مجالات البحث

• Logic, programming, and type systems
• semigroups and automata theory
• Advanced Algebra and Logic
• Formal Methods in Verification
• Logic, Reasoning, and Knowledge

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

• Convergence: Integrating termination and abort-freedom
  2018 · Journal of Logical and Algebraic Methods in Programming · استُشهد به 4 مرة
• What is a fault? and why does it matter?
  2017 · Innovations in Systems and Software Engineering · استُشهد به 5 مرة
• Projecting programs on specifications: Definition and implications
  2017 · Science of Computer Programming · استُشهد به 2 مرة
• Relational Mathematics for Relative Correctness
  2015 · Lecture notes in computer science · استُشهد به 12 مرة
• Invariant assertions, invariant relations, and invariant functions
  2012 · Science of Computer Programming · استُشهد به 25 مرة
• A calculus of program adaptation and its applications
  2000 · Science of Computer Programming · استُشهد به 6 مرة
• Embedding a demonic semilattice in a relation algebra
  1995 · Theoretical Computer Science · استُشهد به 49 مرة
• A relational division operator: the conjugate kernel
  1993 · Theoretical Computer Science · استُشهد به 24 مرة
• Relational heuristics for the design of deterministic programs
  1987 · Acta Informatica · استُشهد به 49 مرة
• Formal models of stepwise refinements of programs
  1986 · ACM Computing Surveys · استُشهد به 25 مرة
• Strongest invariant functions: Their use in the systematic analysis of while statements
  1985 · Acta Informatica · استُشهد به 22 مرة

مجلات النشر

• Science of Computer Programming × 3
• Theoretical Computer Science × 2
• Acta Informatica × 2
• Journal of Logical and Algebraic Methods in Programming × 1
• Innovations in Systems and Software Engineering × 1
• Lecture notes in computer science × 1

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

• 20181
• 20172
• 20151
• 20121
• 20001
• 19951
• 19931
• 19871
• 19861
• 19851

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

المؤسسات الشريكة : Tunis University · New Jersey Institute of Technology · Institut Supérieur de Gestion de Tunis · Tunis El Manar University · University of Ottawa

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

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

• Ali Mili
• Jean -Raymond Gagn�
• Fairouz Tchier
• Olfa Mraihi
• Salah Ben Mohamed Sghaier
• Nejib Zaguia
• Asma Louhichi
• Nadir Belkhiter
• Jean-Raymond Gagné
• Ali Jaoua
• Marc Frappier
• Lamia Labed Jilani

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