Follow
Évelyne Contejean
Évelyne Contejean
Directrice de recherche CNRS, LMF, Université Paris-Sud
Verified email at universite-paris-saclay.fr
Title
Cited by
Cited by
Year
Introducing global constraints in CHIP
N Beldiceanu, E Contejean
Mathematical and computer Modelling 20 (12), 97-123, 1994
4921994
An efficient incremental algorithm for solving systems of linear Diophantine equations
É Contejean, H Devie
Information and Computation 113, 143-172, 1994
1761994
Mechanically proving termination using polynomial interpretations
E Contejean, C Marché, AP Tomás, X Urbain
Journal of automated reasoning 34 (4), 325-363, 2005
1202005
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, É Contejean, M Iguernelala, S Lescuyer, A Mebsout
URL http://alt-ergo. lri. fr, 0
108*
A new AC unification algorithm with an algorithm for solving systems of diophantine equations
A Boudet, E Contejean, H Devie
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
761990
CiME
E Contejean, C Marché, B Monate, X Urbain
73*2000
Certification of automated termination proofs
E Contejean, P Courtieu, J Forest, O Pons, X Urbain
International Symposium on Frontiers of Combining Systems, 148-162, 2007
722007
Implementing polymorphism in SMT solvers
F Bobot, S Conchon, E Contejean, S Lescuyer
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
702008
Avoiding slack variables in the solving of linear diophantine equations and inequations
F Ajili, E Contejean
Theoretical Computer Science 173 (1), 183-208, 1997
621997
CC (X): Semantic combination of congruence closure with solvable theories
S Conchon, E Contejean, J Kanig, S Lescuyer
Electronic Notes in Theoretical Computer Science 198 (2), 51-69, 2008
602008
CiME: Completion Modulo E
E Contejean, C Marché
Rewriting Techniques and Applications, 416-419, 1996
591996
Proving termination of rewriting with CiME
E Contejean, C Marché, B Monate, X Urbain
Extended Abstracts of the 6th International Workshop on Termination, WST’03 …, 2003
552003
Automated certified proofs with CiME3
E Contejean, P Courtieu, J Forest, O Pons, X Urbain
RTA 22, 21-30, 2011
522011
A3PAT, an approach for certified automated termination proofs
E Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
452010
A certified AC matching algorithm
E Contejean
International Conference on Rewriting Techniques and Applications, 70-84, 2004
422004
A Coq formalization of the relational data model
V Benzaken, É Contejean, S Dumbrava
European Symposium on Programming Languages and Systems, 189-208, 2014
372014
Complete solving of linear diophantine equations and inequations without adding variables
F Ajili, E Contejean
Principles and Practice of Constraint Programming—CP'95, 1-17, 1995
36*1995
Rewrite systems for natural, integral, and rational arithmetic
E Contejean, C Marché, L Rabehasaina
Rewriting techniques and applications, 98-112, 1997
351997
The Ergo automatic theorem prover
S Conchon, E Contejean, J Kanig
Software and documentation available at http://ergo. lri. fr/(2005–2008), 0
34*
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
F Bobot, S Conchon, É Contejean, M Iguernelala, A Mahboubi, A Mebsout, ...
6th International Joint Conference on Automated Reasoning (IJCAR) 7364 …, 2012
312012
The system can't perform the operation now. Try again later.
Articles 1–20