Alexandre Tessier

18 papers Misc 2Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2024 — conf
Modifying the stiffness of thermoplastic polyurethane based ECG sensor by liquid blending of silicone-based monomer.
CCECE
Shuyun Zhuo, Ravi Prakash Magisetty, Chithiravel Sundaresan, Anan Zhang, Alexandre Tessier, Shideh Kabiri Ameri
2018 Misc conf
A novel low power brain electrical activity monitor using IoT: student research abstract.
SAC
Alexandre Tessier
2006 J jnl
Explanations and Proof Trees.
Comput. Artif. Intell.
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2005 — conf
Explanations and Proof Trees.
ExaCt
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2004 — conf
Explanations to Understand the Trace of a Finite Domain Constraint Solver.
WLPE
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2004 — conf
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.
JFPLC
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2003 Misc conf
Correctness of Constraint Retraction Algorithms.
FLAIRS
Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier
2003 — conf
Towards declarative diagnosis of constraint programs over finite domains
AADEBUG
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2002 J jnl
Proceedings of the 12th International Workshop on Logic Programming Environments
CoRR
Alexandre Tessier
2002 — ed.
Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002
LPE
Alexandre Tessier
2002 — conf
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.
WFLP
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
2000 — conf
Declarative Diagnosis in the CLP Scheme.
Analysis and Visualization Tools for Constraint Programming
Alexandre Tessier, Gérard Ferrand
2000 — conf
Value Withdrawal Explanation in CSP.
AADEBUG
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
1998 — conf
Correction et complétude des sémantiques PLC revisitée par (co)-induction.
JFPLC
Gérard Ferrand, Alexandre Tessier
1997 — conf
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons.
AADEBUG
Gérard Ferrand, Alexandre Tessier
1996 — conf
Declarative Debugging in Constraint Logic Programming.
ASIAN
Alexandre Tessier
1996 — conf
Declarative Incorrectness Diagnosis in Constraint Logic Programming.
APPIA-GULP-PRODE
F. Le Berre, Alexandre Tessier
1996 — conf
Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes.
JFPLC
Alexandre Tessier