The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sophie Renault: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sophie Renault
    Validation of Stratified Logic Programs: Methodology and Practical Experience. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:143-157 [Conf]
  2. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:539- [Conf]
  3. Sophie Renault, Pierre Deransart
    A Proof Manager for Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1994, pp:0-0 [Conf]
  4. Sophie Renault
    Généralisation de l'Exécution Étendue aux programmes normaux. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:109-0 [Conf]
  5. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Enhancing Partial Deduction via Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:146-168 [Conf]
  6. Sophie Renault
    Generalizing Extended Execution for Normal Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:154-169 [Conf]
  7. Sophie Renault
    Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:204-218 [Conf]
  8. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Reducing Nondeterminism while Specializing Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:414-427 [Conf]
  9. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  10. Sophie Renault, Eduard Cerny
    Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  11. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:121-210 [Journal]

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