Accueil › Annuaire des chercheurs › Jules Desharnais

Jules Desharnais

Affiliation : Université Laval

• 11Publications (affiliation canadienne)
• 70Publications au total
• 905Citations
• 19Indice h

OpenAlex

Domaines de recherche

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

Publications (11)

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

Revues de publication

• 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

Publications par année

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

Collaborations

Établissements partenaires : Tunis University · New Jersey Institute of Technology · Institut Supérieur de Gestion de Tunis · Tunis El Manar University · University of Ottawa

Pays des co-auteurs : Tunisie · États-Unis

Co-auteurs

• 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

Données bibliographiques issues d’OpenAlex (base ouverte).