Get started
Author

Jules Desharnais

Kleene algebra with domain
2006 · Jules Desharnais, Bernhard Möller, et al. · ACM Transactions on Computational Logic · 181
PDF
Internal axioms for domain semirings
2010 · Jules Desharnais, Georg Struth · Science of Computer Programming · 60
Relational heuristics for the design of deterministic programs
1987 · Ali Mili, Jules Desharnais, et al. · Acta Informatica · 50
Embedding a demonic semilattice in a relation algebra
1995 · Jules Desharnais, Nadir Belkhiter, et al. · Theoretical Computer Science · 48
PDF
Modal Kleene algebra and applications - a survey
2004 · Jules Desharnais · OPUS (Augsburg University) · 42
PDF
Termination in Modal Kleene Algebra
2006 · Jules Desharnais, Bernhard Möller, et al. · Kluwer Academic Publishers eBooks · 28
PDF
Refinement and Demonic Semantics
1997 · Jules Desharnais, Ali Mili, et al. · Springer eBooks · 28
Characterizing determinacy in Kleene algebras
2001 · Jules Desharnais, Bernhard Möller · Information Sciences · 26
PDF
Kleene under a Demonic Star
2000 · Jules Desharnais, Bernhard Möller, et al. · Lecture notes in computer science · 26
Formal models of stepwise refinements of programs
1986 · Ali Mili, Jules Desharnais, et al. · ACM Computing Surveys · 26
Invariant assertions, invariant relations, and invariant functions
2012 · Olfa Mraihi, Asma Louhichi, et al. · Science of Computer Programming · 25
PDF
A relational division operator: the conjugate kernel
1993 · Jules Desharnais, Ali Jaoua, et al. · Theoretical Computer Science · 25
PDF
Domain and Antidomain Semigroups
2009 · Jules Desharnais, Peter Jipsen, et al. · Lecture notes in computer science · 23
Modal Semirings Revisited
2008 · Jules Desharnais, Georg Struth · Lecture notes in computer science · 23
Computer Program Construction
1994 · Ali Mili, Jules Desharnais, et al. · 22
Strongest invariant functions: Their use in the systematic analysis of while statements
1985 · Ali Mili, Jules Desharnais, et al. · Acta Informatica · 22
Domain Axioms for a Family of Near-Semirings
2008 · Jules Desharnais, Georg Struth · Lecture notes in computer science · 21
Control of Parameterized Discrete Event Systems
2008 · Hans Bherer, Jules Desharnais, et al. · Discrete Event Dynamic Systems · 21
Demonic Algebra with Domain
2006 · Jean-Lou De Carufel, Jules Desharnais · Lecture notes in computer science · 21
Kleene under a modal demonic star
2005 · Jules Desharnais, Bernhard Möller, et al. · The Journal of Logic and Algebraic Programming · 18
Abstract relational semantics
1989 · Desharnais, Jules · eScholarship@McGill (McGill) · 13
PDF
Relational Mathematics for Relative Correctness
2015 · Jules Desharnais, Nafi Diallo, et al. · Lecture notes in computer science · 12
Semantic distance between specifications
2000 · Rym Mili, Jules Desharnais, et al. · Theoretical Computer Science · 12
PDF
Defining and Detecting Feature Interactions
1997 · Marc Frappier, Ali Mili, et al. · IFIP advances in information and communication technology · 12
Validating the RBAC ANSI 2012 Standard Using B
2014 · Nghi Huynh, Marc Frappier, et al. · Lecture notes in computer science · 11
Works count: 69
Citation count: 916
H-index: 19
I10-index: 26
Year
Topic
Type