Évelyne Contejean

ÉC

Publications

739

Citations

H-Index

1993

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire de Recherche en Informatique

Université Paris-Sud

Institut national de recherche en sciences et technologies du numérique

Conservatoire National des Arts et Métiers

Évelyne Contejean is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationVerificationProgram AnalysisMathematical ProgrammingSoftware AnalysisFormal Specification

Publications per year

1993–2019

Publications

Introducing global constraints in CHIP

Nicolas Beldiceanu, Évelyne Contejean · Mathematical and Computer Modelling · 1994 · 308 citations

Hardware Security, System On Chip, Hardware Modeling +7

An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations

Évelyne Contejean, H. Devie · Information and Computation · 1994 · 102 citations

Numerical Analysis, Mathematical Programming, Efficient Incremental Algorithm +9

Mechanically Proving Termination Using Polynomial Interpretations

Évelyne Contejean, Claude Marché, Ana Paula Tomás et al. · Journal of Automated Reasoning · 2005 · 73 citations

Engineering, Automated Reasoning, Proof Complexity +5

Implementing polymorphism in SMT solvers

François Bobot, Sylvain Conchon, Évelyne Contejean et al. · 2008 · 38 citations

Mathematical Programming, Engineering, Generic Programming +13

A new AC unification algorithm with an algorithm for solving systems of diophantine equations

Alexandre Boudet, Évelyne Contejean, H. Devie · 2002 · 35 citations

Numerical Analysis, Engineering, Computational Complexity +18

Rows per page

1–5 of 13