Evelyne Contejean

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 6

Top Topics

Relational Algebra

Relational Model

Database Language

Top Venues

Proc. ACM Program. Lang.

Publications

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini
A Coq formalization of data provenance. CPP (2021)
Véronique Benzaken, Evelyne Contejean
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. CPP (2019)
Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins
A Coq Formalisation of SQL's Execution Engines. ITP (2018)
Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
Certifying Standard and Stratified Datalog Inference Engines in SSReflect. ITP (2017)
Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
A Coq Formalization of the Relational Data Model. ESOP (2014)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation Log. Methods Comput. Sci. 8 (3) (2012)
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. IJCAR (2012)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. TACAS (2011)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Automated Certified Proofs with CiME3. RTA (2011)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Ground Associative and Commutative Completion Modulo Shostak Theories. LPAR short papers(Yogyakarta) (2010)
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
A3PAT, an approach for certified automated termination proofs. PEPM (2010)
Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer
CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Evelyne Contejean
Modeling Permutations in Coqfor Coccinelle. Rewriting, Computation and Proof (2007)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Certification of Automated Termination Proofs. FroCoS (2007)
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reason. 34 (4) (2005)
Evelyne Contejean, Pierre Corbineau
Reflecting Proofs in First-Order Logic with Equality. CADE (2005)
Evelyne Contejean
A Certified AC Matching Algorithm. RTA (2004)
Alexandre Boudet, Evelyne Contejean
Combining Pattern E-Unification Algorithms. RTA (2001)
Evelyne Contejean, Antoine Coste, Benjamin Monate
Rewriting Techniques in Theoretical Physics. RTA (2000)
Alexandre Boudet, Evelyne Contejean
About the Confluence of Equational Pattern Rewrite Systems. CADE (1998)
Farid Ajili, Evelyne Contejean
Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations. Theor. Comput. Sci. 173 (1) (1997)
Evelyne Contejean, Claude Marché, Landy Rabehasaina
Rewrite Systems for Natural, Integral, and Rational Arithmetic. RTA (1997)
Alexandre Boudet, Evelyne Contejean
AC-Unification of Higher-Order Patterns. CP (1997)
Alexandre Boudet, Evelyne Contejean, Claude Marché
AC-Complete Unification and its Application to Theorem Proving. RTA (1996)
Evelyne Contejean, Claude Marché
. RTA (1996)
Farid Ajili, Evelyne Contejean
Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables. UNIF (1995)
Farid Ajili, Evelyne Contejean
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. CP (1995)
Alexandre Boudet, Evelyne Contejean
"Syntactic" AC-Unification. CCL (1994)
Evelyne Contejean, Hervé Devie
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations Inf. Comput. 113 (1) (1994)
Evelyne Contejean
Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification. J. Symb. Comput. 16 (5) (1993)
Evelyne Contejean
Solving Linear Diophantine Constraints Incrementally. ICLP (1993)
Evelyne Contejean
A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. ICALP (1993)
Alexandre Boudet, Evelyne Contejean
-Syntactic Equational Theories. ALP (1992)
Alexandre Boudet, Evelyne Contejean, Hervé Devie
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations LICS (1990)