Alexandre Tessier Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. Computers and Artificial Intelligence 25(2-3): (2006)
2005
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. ExaCt 2005: 76-85
2004
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC 2004
2003
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier: Correctness of Constraint Retraction Algorithms. FLAIRS Conference 2003: 172-176
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Towards declarative diagnosis of constraint programs over finite domains CoRR cs.SE/0309032: (2003)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Tessier: Proceedings of the 12th International Workshop on Logic Programming Environments CoRR cs.SE/0207052: (2002)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Electr. Notes Theor. Comput. Sci. 76: (2002)
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Willy Lesaint, Alexandre Tessier: Value Withdrawal Explanation in CSP. AADEBUG 2000
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Tessier, Gérard Ferrand: Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming 2000: 151-174
1998
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Alexandre Tessier: Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC 1998: 19-
1997
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Ferrand, Alexandre Tessier: Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. AADEBUG 1997: 141-153
1996
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Le Berre, Alexandre Tessier: Declarative Incorrectness Diagnosis in Constraint Logic Programming. APPIA-GULP-PRODE 1996: 379-390
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Tessier: Declarative Debugging in Constraint Logic Programming. ASIAN 1996: 64-73
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Tessier: Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. JFPLC 1996: 65-82

Coauthor Index

1F. Le Berre [3]
2Romuald Debruyne [11]
3Gérard Ferrand [4] [5] [6] [7] [8] [10] [11] [12] [13] [14]
4Narendra Jussien [11]
5Willy Lesaint [7] [8] [10] [11] [12] [13] [14]
6Samir Ouis [11]

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)