Alexandre Tessier

According to our database, Alexandre Tessier authored at least 15 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

A novel low power brain electrical activity monitor using IoT: student research abstract.

Alexandre Tessier

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2006

Explanations and Proof Trees.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Comput. Artif. Intell., 2006

2004

Explanations to Understand the Trace of a Finite Domain Constraint Solver.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Programmation en logique avec contraintes, 2004

2003

Towards declarative diagnosis of constraint programs over finite domains

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

CoRR, 2003

Correctness of Constraint Retraction Algorithms.

Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Proceedings of the 12th International Workshop on Logic Programming Environments

Alexandre Tessier

CoRR, 2002

2000

Declarative Diagnosis in the CLP Scheme.

Alexandre Tessier, Gérard Ferrand

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Value Withdrawal Explanation in CSP.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1998

Correction et complétude des sémantiques PLC revisitée par (co)-induction.

Gérard Ferrand, Alexandre Tessier

Proceedings of the JFPLC'98, 1998

1997

Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons.

Gérard Ferrand, Alexandre Tessier

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes.

Alexandre Tessier

Proceedings of the JFPLC'96, 1996

Declarative Debugging in Constraint Logic Programming.

Alexandre Tessier

Proceedings of the Concurrency and Parallelism, 1996

Declarative Incorrectness Diagnosis in Constraint Logic Programming.

F. Le Berre, Alexandre Tessier

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996