The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francis Klay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Domenjoud, Francis Klay, Christophe Ringeissen
    Combination Techniques for Non-Disjoint Equational Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:267-281 [Conf]
  2. Thomas Genet, Francis Klay
    Rewriting for Cryptographic Protocol Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:271-290 [Conf]
  3. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
    Mechanical Verification of an Ideal Incremental ABR Conformance. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:344-357 [Conf]
  4. Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
    An Environment for Interactive Service Specification. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:25-41 [Conf]
  5. Jean-François Monin, Francis Klay
    Correctness Proof of the Standardized Algorithm for ABR Conformance. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:662-681 [Conf]
  6. Claude Kirchner, Francis Klay
    Syntactic Theories and Unification [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:270-277 [Conf]
  7. Francis Klay
    Undecidable Properties of Syntactic Theories. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:136-149 [Conf]
  8. Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
    Compared Study of Two Correctness Proofs for the Standardized. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:1, pp:59-86 [Journal]
  9. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
    Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:2, pp:53-177 [Journal]
  10. Francis Klay, Judson Santiago, Laurent Vigneron
    Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  11. Model Inference Approach for Detecting Feature Interactions in Integrated Systems. [Citation Graph (, )][DBLP]


  12. Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. [Citation Graph (, )][DBLP]


  13. Rigid Tree Automata. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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