Détection d'erreurs en programmation en logique. - Pierre Deransart; Gérard Ferrand (SPLT, 1985)

Programmation en logique: méthodologie et enseignement. - Pierre Deransart; Gérard Ferrand (SPLT, 1986)

Une reconstruction de la programmation en logique avec négation. - Gérard Ferrand (SPLT, 1987)

An Operational Formal Definition of PROLOG. - Pierre Deransart; Gérard Ferrand (SLP, 1987)

Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. - Gérard Ferrand (J. Log. Program., 1987)

Une vue méthodologique de la Programmation en Logique avec négation. - Pierre Deransart; Gérard Ferrand (SPLT, 1989)

Test d'occurence en PROLOG et grammaires attribuées. - Pierre Deransart; Gérard Ferrand; Michel Téguia (SPLT, 1989)

Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. - Michel Bergère; Gérard Ferrand (SPLT, 1990)

A Semantics for Error Declarative Notion of Logic Programs with Negation. - Michel Bergère; Gérard Ferrand (LPE, 1990)

Basic Concepts of Logic Programming and Prolog. - Gérard Ferrand (ICLP, 1991)

NSTO Programs (Not Subject to Occur-Check). - Pierre Deransart; Gérard Ferrand; Michel Téguia (ISLP, 1991)

An Operational Formal Definition of PROLOG: A Specification Method and Its Application. - Pierre Deransart; Gérard Ferrand (New Gener. Comput., 1992)

The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. - Gérard Ferrand (AADEBUG, 1993)

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. - Gérard Ferrand; Pierre Deransart (J. Log. Program., 1993)

Indipendence of the Computation Rule for SLD-derivation with delay. - Michel Bergère; Gérard Ferrand; Jean-Hugues Réty (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Indépendance de la règle de calcul pour la résolution SLD avec retard. - Michel Bergère; Gérard Ferrand; Jean-Hugues Réty (JFPLC, 1994)

A Compositional Proof Method of Partial Correctness for Normal Logic Programs. - Gérard Ferrand; Arnaud Lallouet (ILPS, 1995)

Type Correct programs: A semantic approach. - Bernard Malfon; Gérard Ferrand (ILPS, 1995)

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. - Francisco Bueno; Pierre Deransart; Wlodzimierz Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Germán Puebla (AADEBUG, 1997)

Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. - Gérard Ferrand; Alexandre Tessier (AADEBUG, 1997)

Correction et complétude des sémantiques PLC revisitée par (co)-induction. - Gérard Ferrand; Alexandre Tessier (JFPLC, 1998)

Value Withdrawal Explanation in CSP. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (AADEBUG, 2000)

Declarative Diagnosis in the CLP Scheme. - Alexandre Tessier; Gérard Ferrand (Analysis and Visualization Tools for Constraint Programming, 2000)

Une sémantique co-inductive pour la propagation de contraintes et de labeling. - Julien Arsouze; Gérard Ferrand; Arnaud Lallouet (JFPLC, 2000)

A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. - Gérard Ferrand; Arnaud Lallouet (ICLP, 2002)

Arbre d'itérations chaotiques pour décrire la résolution des CSP. - Julien Arsouze; Gérard Ferrand; Arnaud Lallouet (JFPLC, 2002)

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (WFLP, 2002)

Correctness of Constraint Retraction Algorithms. - Romuald Debruyne; Gérard Ferrand; Narendra Jussien; Willy Lesaint; Samir Ouis; Alexandre Tessier (FLAIRS, 2003)

Towards declarative diagnosis of constraint programs over finite domains - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (CoRR, 2003)

Une représentation déclarative des consistances de CSPs. - Gérard Ferrand; Arnaud Lallouet (JFPLC, 2004)

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (JFPLC, 2004)

Explanations to Understand the Trace of a Finite Domain Constraint Solver. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (WLPE, 2004)

Explanations and Proof Trees. - Gérard Ferrand; Willy Lesaint; Alexandre Tessier (Comput. Artif. Intell., 2006)

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) - Pierre Deransart; Mireille Ducassé; Gérard Ferrand (CoRR, 2007)

Observational semantics of the Prolog Resolution Box Model - Pierre Deransart; Mireille Ducassé; Gérard Ferrand (CoRR, 2007)