Évelyne Contejean
Évelyne Contejean
Directrice de recherche CNRS, LRI, Université Paris-Sud
Adresse e-mail validée de universite-paris-saclay.fr
Titre
Citée par
Citée par
Année
Introducing global constraints in CHIP
N Beldiceanu, E Contejean
Mathematical and computer Modelling 20 (12), 97-123, 1994
4801994
An efficient incremental algorithm for solving systems of linear Diophantine equations
É Contejean, H Devie
Information and Computation 113, 143-172, 1994
1701994
Mechanically proving termination using polynomial interpretations
E Contejean, C Marché, AP Tomás, X Urbain
Journal of automated reasoning 34 (4), 325, 2005
1142005
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
100*
CiME
E Contejean, C Marché, B Monate, X Urbain
83*2000
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
831990
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
672008
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
672007
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
592008
Avoiding slack variables in the solving of linear diophantine equations and inequations
F Ajili, E Contejean
Theoretical Computer Science 173 (1), 183-208, 1997
581997
CiME: Completion Modulo E
E Contejean, C Marché
Rewriting Techniques and Applications, 416-419, 1996
571996
Proving termination of rewriting with CiME
E Contejean, C Marché, B Monate, X Urbain
Extended Abstracts of the 6th International Workshop on Termination, WST 3 …, 2003
532003
Automated certified proofs with CiME3
E Contejean, P Courtieu, J Forest, O Pons, X Urbain
RTA 22, 21-30, 2011
482011
A3PAT, an approach for certified automated termination proofs
É Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
422010
A certified AC matching algorithm
E Contejean
International Conference on Rewriting Techniques and Applications, 70-84, 2004
372004
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
34*1995
A Coq formalization of the relational data model
V Benzaken, É Contejean, S Dumbrava
European Symposium on Programming Languages and Systems, 189-208, 2014
322014
The Ergo automatic theorem prover
S Conchon, E Contejean, J Kanig
Software and documentation available at http://ergo. lri. fr/(2005–2008), 0
32*
Rewrite systems for natural, integral, and rational arithmetic
E Contejean, C Marché, L Rabehasaina
Rewriting techniques and applications, 98-112, 1997
301997
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
292012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20