The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jules Desharnais: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis
    Investigating Discrete Controllability with Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:74-85 [Conf]
  2. Jules Desharnais
    Kleene Algebra with Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:8-20 [Conf]
  3. Jules Desharnais
    Monomorphic Characterization of n-ary direct products. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:359-368 [Conf]
  4. Jules Desharnais, Ridha Khédri, Ali Mili
    Towards a uniform relational semantics for tabular expressions. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:53-57 [Conf]
  5. Jules Desharnais, Bernhard Möller
    Characterizing Functions in Kleene Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:55-64 [Conf]
  6. Jean-Lou De Carufel, Jules Desharnais
    Demonic Algebra with Domain. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:120-134 [Conf]
  7. Claude Bolduc, Jules Desharnais
    Static Analysis of Programs Using Omega Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:60-72 [Conf]
  8. Vincent Mathieu, Jules Desharnais
    Verification of Pushdown Systems Using Omega Algebra with Domain. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:188-199 [Conf]
  9. Marc Frappier, Ali Mili, Jules Desharnais
    Defining and detecting feature interactions. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:212-239 [Conf]
  10. Jules Desharnais, Bernhard Möller, Fairouz Tchier
    Kleene under a Demonic Star. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:355-370 [Conf]
  11. Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis
    Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:487-490 [Conf]
  12. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
    Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:310-326 [Conf]
  13. Mourad Debbabi, Josee Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
    Secure Self-certified Code for Java. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:133-151 [Conf]
  14. Marc Frappier, Ali Mili, Jules Desharnais
    Detecting Feature Interactions on Relational Specifications. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:123-137 [Conf]
  15. Jules Desharnais, Nazim H. Madhavji
    Relation Level Semantics. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:304-328 [Conf]
  16. Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
    Perspectives on Redundancy: Applications to Software Certification. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  17. Nazim H. Madhavji, Jules Desharnais, L. Pinsonneault, Kamel Toubache
    Adapting modules to an integrated programming environment. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:364-371 [Conf]
  18. Ali Mili, Jules Desharnais
    A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. [Citation Graph (0, 0)][DBLP]
    ICSE, 1984, pp:499-509 [Conf]
  19. Jules Desharnais, Bernhard Möller, Georg Struth
    Termination in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:647-660 [Conf]
  20. Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
    Retrieving Software Components that Minimize Adaptation Effort. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:255-0 [Conf]
  21. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
    Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:319-321 [Conf]
  22. Therrezinha Fernandes, Jules Desharnais
    Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:110-128 [Conf]
  23. Marc Frappier, Ali Mili, Jules Desharnais
    Program Construction by Parts. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:257-281 [Conf]
  24. Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
    A Calculus of Program Modifications. [Citation Graph (0, 0)][DBLP]
    SSR, 1997, pp:157-168 [Conf]
  25. Ali Mili, Jules Desharnais, Jean-Raymond Gagné
    Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:1, pp:47-66 [Journal]
  26. Ali Mili, Jules Desharnais, Fatma Mili
    Relational Heuristics for the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:3, pp:239-276 [Journal]
  27. Jules Desharnais, Bernhard Möller, Georg Struth
    Kleene algebra with domain [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  28. Ali Mili, Jules Desharnais
    Formal Models of Stepwise Refinement of Programs. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1986, v:18, n:3, pp:231-276 [Journal]
  29. Marc Frappier, Ali Mili, Jules Desharnais
    Unifying Program Construction and Modification. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:2, pp:317-340 [Journal]
  30. Brahim Chaib-draa, Jules Desharnais
    A relational model of cognitive maps. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1998, v:49, n:2, pp:181-200 [Journal]
  31. Jules Desharnais
    Monomorphic Characterization of n-ary Direct Products. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:275-288 [Journal]
  32. Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
    Relational methods in computer science - Preface. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal]
  33. Jules Desharnais, Bernhard Möller
    Characterizing determinacy in Kleene algebras. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:253-273 [Journal]
  34. Jules Desharnais, Bernhard Möller, Fairouz Tchier
    Kleene under a modal demonic star. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:2, pp:127-160 [Journal]
  35. Jules Desharnais, Bernhard Möller
    Least Reflexive Points of Relations. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:51-77 [Journal]
  36. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
    A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal]
  37. Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili
    Relational characterizations of system fault tolerance. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:56, n:3, pp:343-361 [Journal]
  38. Marc Frappier, Ali Mili, Jules Desharnais
    A Relational Calculus for Program Construction by Parts. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:237-254 [Journal]
  39. Jules Desharnais, Ali Mili, Fatma Mili
    On the Mathematics of Sequential Decompositions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:20, n:3, pp:253-289 [Journal]
  40. Therrezinha Fernandes, Jules Desharnais
    Describing data flow analysis techniques with Kleene algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:173-194 [Journal]
  41. Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia
    Embedding a Demonic Semilattice in a Relational Algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:333-360 [Journal]
  42. Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili
    A Relation Division Operator: The Conjugate Kernel. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:2, pp:247-272 [Journal]
  43. Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
    Semantic distance between specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:247, n:1-2, pp:257-276 [Journal]
  44. Jules Desharnais, Bernhard Möller, Georg Struth
    Kleene algebra with domain. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:798-833 [Journal]
  45. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
    Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal]
  46. Lamia Labed Jilani, Jules Desharnais, Ali Mili
    Defining and Applying Measures of Distance Between Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:8, pp:673-703 [Journal]

  47. On the Structure of Demonic Refinement Algebras with Enabledness and Termination. [Citation Graph (, )][DBLP]


  48. Latest News about Demonic Algebra with Domain. [Citation Graph (, )][DBLP]


  49. Domain and Antidomain Semigroups. [Citation Graph (, )][DBLP]


  50. Modeling Redundancy: Quantitative and Qualitative Models. [Citation Graph (, )][DBLP]


  51. Domain Axioms for a Family of Near-Semirings. [Citation Graph (, )][DBLP]


  52. Modal Semirings Revisited. [Citation Graph (, )][DBLP]


Search in 0.175secs, Finished in 0.177secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002