Évelyne Contejean
Author
Alternate names Évelyne Contejean, E. Contejean, Evelyne Contejean, É. Contejean
Institution Laboratoire Méthodes Formelles
Past institutions Laboratoire Méthodes Formelles, Centre National de la Recherche Scientifique, Laboratoire de Recherche en Informatique, Université Paris-Saclay, Université Paris-Sud +5 more
ORCID: Yes
H-index: 18
I10-index: 25
Works count: 63
Citations count: 1,087
Introducing global constraints in CHIP
1994 · Nicolas Beldiceanu, Évelyne Contejean · Mathematical and Computer Modelling
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
1994 · Évelyne Contejean, H. Devie · Information and Computation
Mechanically Proving Termination Using Polynomial Interpretations
2005 · Évelyne Contejean, Claude Marché, et al. · Journal of Automated Reasoning