Alexandre Tessier

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 1

Top Topics

Electrical Activity

Top Venues

Publications

Alexandre Tessier
A novel low power brain electrical activity monitor using IoT: student research abstract. SAC (2018)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations and Proof Trees. Comput. Artif. Intell. 25 (2-3) (2006)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations and Proof Trees. ExaCt (2005)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC (2004)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations to Understand the Trace of a Finite Domain Constraint Solver. WLPE (2004)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Towards declarative diagnosis of constraint programs over finite domains CoRR (2003)
Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier
Correctness of Constraint Retraction Algorithms. FLAIRS Conference (2003)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Electron. Notes Theor. Comput. Sci. 76 (2002)
Alexandre Tessier
Proceedings of the 12th International Workshop on Logic Programming Environments CoRR (2002)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Value Withdrawal Explanation in CSP. AADEBUG (2000)
Alexandre Tessier, Gérard Ferrand
Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming (2000)
Gérard Ferrand, Alexandre Tessier
Correction et complétude des sémantiques PLC revisitée par (co)-induction. JFPLC (1998)
Gérard Ferrand, Alexandre Tessier
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. AADEBUG (1997)
F. Le Berre, Alexandre Tessier
Declarative Incorrectness Diagnosis in Constraint Logic Programming. APPIA-GULP-PRODE (1996)
Alexandre Tessier
Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. JFPLC (1996)
Alexandre Tessier
Declarative Debugging in Constraint Logic Programming. ASIAN (1996)