Sophie Renault

发表

Istituto Di Analisi Dei Sistemi Ed Informatica Consiglio Nazionale Delle Ricerche New Approaches for Optimizing over the Semimetric Polytope R. 561 Maggio 2004

Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 2012 .

A System for Transforming Logic Programs

Sophie Renault, 1997 .

Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization

Eduard Cerny, Sophie Renault, 1999, Electron. Notes Theor. Comput. Sci..

Generalizing Extended Execution for Normal Programs

Sophie Renault, 1994, LOPSTR.

Validation of Stratified Logic Programs: Methodology and Practical Experience

Sophie Renault, 1993, EUROVAV.

Généralisation de l'Exécution Étendue aux programmes normaux

Sophie Renault, 1994, JFPLC.

Design of formal specifications by normal logic programs : merging formal text and good comments

Pierre Deransart, Sophie Renault, 1992 .

Crowdsourcing. Blurring the boundaries of the organization and work

Sophie Renault, Sophie Renault, 2015 .

A Proof Manager for Verification of Logic Programs

Pierre Deransart, Sophie Renault, 1994, LPE.

Crowdsourcing : la foule en question(s)

Sophie Renault, 2017 .

Reducing nondeterminism while specializing logic programs

Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 1997, POPL '97.

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract)

Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 1996, JICSLP.

Enhancing Partial Deduction via Unfold/Fold Rules

Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 1996, LOPSTR.

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 2003, High. Order Symb. Comput..

Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion

Sophie Renault, Sophie Renault, 1995, LOPSTR.

Comment orchestrer la participation de la foule à une activité de crowdsourcing ? La taxonomie des 4 C

Sophie Renault, Sophie Renault, 2014 .