Concepedia

Jules Desharnais

JD

Statistics

Publications

13

Citations

521

H-Index

12

Active since

1985

Affiliations

Université Laval(Current)

Tunis University

Augsburg University

University of Augsburg

Université de Sherbrooke

Jules Desharnais is an author at Université Laval specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSemanticsLinguisticsSemantic WebSoftware Analysis

Publications per year

1985–2012

13

Publications

13

Kleene algebra with domain

Jules Desharnais, Bernhard Möller, Georg Struth · ACM Transactions on Computational Logic · 2006 · 171 citations

Kleene Algebra, Algebraic Logic, Abstract Algebra +11

Internal axioms for domain semirings

Jules Desharnais, Georg Struth · Science of Computer Programming · 2010 · 55 citations

Topological Semigroups, Domain Theory, Ring Theory +2

Embedding a demonic semilattice in a relation algebra

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier et al. · Theoretical Computer Science · 1995 · 49 citations

Algebraic Logic, Representation Theory, Modern Algebra +2

Relational heuristics for the design of deterministic programs

Ali Mili, Jules Desharnais, Fatma Mili · Acta Informatica · 1987 · 47 citations

Programming Language Theory, Engineering, Program Analysis +8

Modal Kleene algebra and applications - a survey

Jules Desharnais · OPUS (Augsburg University) · 2004 · 42 citations · Full text

1–5 of 13