| Introducing global constraints in CHIP N Beldiceanu, E Contejean Mathematical and computer Modelling 20 (12), 97-123, 1994 | 483 | 1994 |
| An efficient incremental algorithm for solving systems of linear Diophantine equations É Contejean, H Devie Information and Computation 113, 143-172, 1994 | 167 | 1994 |
| Mechanically proving termination using polynomial interpretations E Contejean, C Marché, AP Tomás, X Urbain Journal of automated reasoning 34 (4), 325-363, 2005 | 117 | 2005 |
| 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 | 99* | |
| CiME E Contejean, C Marché, B Monate, X Urbain | 84* | 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 | 80 | 1990 |
| 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 | 68 | 2007 |
| 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 | 67 | 2008 |
| Avoiding slack variables in the solving of linear diophantine equations and inequations F Ajili, E Contejean Theoretical Computer Science 173 (1), 183-208, 1997 | 60 | 1997 |
| 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 | 59 | 2008 |
| CiME: Completion Modulo E E Contejean, C Marché Rewriting Techniques and Applications, 416-419, 1996 | 57 | 1996 |
| 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 | 54 | 2003 |
| Automated certified proofs with CiME3 E Contejean, P Courtieu, J Forest, O Pons, X Urbain RTA 22, 21-30, 2011 | 49 | 2011 |
| 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 | 41 | 2010 |
| A certified AC matching algorithm E Contejean International Conference on Rewriting Techniques and Applications, 70-84, 2004 | 39 | 2004 |
| A Coq formalization of the relational data model V Benzaken, É Contejean, S Dumbrava European Symposium on Programming Languages and Systems, 189-208, 2014 | 35 | 2014 |
| 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 | 35* | 1995 |
| The Ergo automatic theorem prover S Conchon, E Contejean, J Kanig Software and documentation available at http://ergo. lri. fr/(2005–2008), 0 | 33* | |
| Rewrite systems for natural, integral, and rational arithmetic E Contejean, C Marché, L Rabehasaina Rewriting techniques and applications, 98-112, 1997 | 32 | 1997 |
| 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 | 30 | 2012 |
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Verified email at liris.cnrs.fr
