Gérard Ferrand

	2007
35		Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) CoRR abs/0706.3159: (2007)
34		Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model CoRR abs/0711.4071: (2007)
	2006
33		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. Computers and Artificial Intelligence 25(2-3): (2006)
	2005
32		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. ExaCt 2005: 76-85
	2004
31		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC 2004
30		Gérard Ferrand, Arnaud Lallouet: Une représentation déclarative des consistances de CSPs. JFPLC 2004
	2003
29		Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier: Correctness of Constraint Retraction Algorithms. FLAIRS Conference 2003: 172-176
28		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Towards declarative diagnosis of constraint programs over finite domains CoRR cs.SE/0309032: (2003)
	2002
27		Gérard Ferrand, Arnaud Lallouet: A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. ICLP 2002: 478-479
26		Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Arbre d'itérations chaotiques pour décrire la résolution des CSP. JFPLC 2002: 289-
25		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Electr. Notes Theor. Comput. Sci. 76: (2002)
	2000
24		Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Value Withdrawal Explanation in CSP. AADEBUG 2000
23		Alexandre Tessier, Gérard Ferrand: Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming 2000: 151-174
22		Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Une sémantique co-inductive pour la propagation de contraintes et de labeling. JFPLC 2000: 17-32
	1998
21		Gérard Ferrand, Alexandre Tessier: Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC 1998: 19-
	1997
20		Gérard Ferrand, Alexandre Tessier: Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. AADEBUG 1997: 141-153
19		Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169
	1995
18		Gérard Ferrand, Arnaud Lallouet: A Compositional Proof Method of Partial Correctness for Normal Logic Programs. ILPS 1995: 209-223
17		Bernard Malfon, Gérard Ferrand: Type Correct programs: A semantic approach. ILPS 1995: 576-590
	1994
16		M. Bergère, Gérard Ferrand, Jean-Hugues Réty: Indépendance de la règle de calcul pour la résolution SLD avec retard. JFPLC 1994: 31-46
	1993
15		Gérard Ferrand: The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. AADEBUG 1993: 40-57
14		Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. 17(2/3&4): 265-278 (1993)
	1992
13		Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP 1992: 161-174
12		Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Generation Comput. 10(2): 121-172 (1992)
	1991
11		Gérard Ferrand: Basic Concepts of Logic Programming and Prolog. ICLP 1991: 942
10		Pierre Deransart, Gérard Ferrand, Michel Téguia: NSTO Programs (Not Subject to Occur-Check). ISLP 1991: 533-547
	1990
9		M. Bergère, Gérard Ferrand: A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE 1990: 57-62
8		M. Bergère, Gérard Ferrand: Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT 1990: 263-292
	1989
7		Pierre Deransart, Gérard Ferrand, Michel Téguia: Test d'occurence en PROLOG et grammaires attribuées. SPLT 1989: 113-142
6		Pierre Deransart, Gérard Ferrand: Une vue méthodologique de la Programmation en Logique avec négation. SPLT 1989: 403-
	1987
5		Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG. SLP 1987: 162-172
4		Gérard Ferrand: Une reconstruction de la programmation en logique avec négation. SPLT 1987: 7-28
3		Gérard Ferrand: Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. J. Log. Program. 4(3): 177-198 (1987)
	1986
2		Pierre Deransart, Gérard Ferrand: Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90
	1985
1		Pierre Deransart, Gérard Ferrand: Détection d'erreurs en programmation en logique. SPLT 1985

Coauthor Index

1	Julien Arsouze	[22] [26]
2	M. Bergère	[8] [9] [16]
3	Francisco Bueno	[19]
4	Romuald Debruyne	[29]
5	Pierre Deransart	[1] [2] [5] [6] [7] [10] [12] [13] [14] [19] [34] [35]
6	Wlodzimierz Drabent (Wlodek Drabent)	[19]
7	Mireille Ducassé	[34] [35]
8	Manuel V. Hermenegildo	[19]
9	Narendra Jussien	[29]
10	Arnaud Lallouet	[18] [22] [26] [27] [30]
11	Willy Lesaint	[24] [25] [28] [29] [31] [32] [33]
12	Bernard Malfon	[17]
13	Jan Maluszynski	[19]
14	Samir Ouis	[29]
15	Germán Puebla (German Puebla)	[19]
16	Jean-Hugues Réty	[16]
17	Michel Téguia	[7] [10]
18	Alexandre Tessier	[20] [21] [23] [24] [25] [28] [29] [31] [32] [33]

Colors in the list of coauthors