Alexandre Tessier

Affiliations:
  • University of Orléans, France


According to our database1, Alexandre Tessier authored at least 16 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modifying the stiffness of thermoplastic polyurethane based ECG sensor by liquid blending of silicone-based monomer.
Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, 2024

2018
A novel low power brain electrical activity monitor using IoT: student research abstract.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2006
Explanations and Proof Trees.
Comput. Artif. Intell., 2006

2004
Explanations to Understand the Trace of a Finite Domain Constraint Solver.
Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.
Proceedings of the Programmation en logique avec contraintes, 2004

2003
Towards declarative diagnosis of constraint programs over finite domains
CoRR, 2003

Correctness of Constraint Retraction Algorithms.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Proceedings of the 12th International Workshop on Logic Programming Environments
CoRR, 2002

2000
Declarative Diagnosis in the CLP Scheme.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Value Withdrawal Explanation in CSP.
Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1998
Correction et complétude des sémantiques PLC revisitée par (co)-induction.
Proceedings of the JFPLC'98, 1998

1997
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons.
Proceedings of the Third International Workshop on Automated Debugging, 1997

1996
Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes.
Proceedings of the JFPLC'96, 1996

Declarative Debugging in Constraint Logic Programming.
Proceedings of the Concurrency and Parallelism, 1996

Declarative Incorrectness Diagnosis in Constraint Logic Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996


  Loading...