×

zbMATH — the first resource for mathematics

Contejean, Evelyne

Compute Distance To:
Author ID: contejean.evelyne Recent zbMATH articles by "Contejean, Evelyne"
Published as: Contejean, E.; Contejean, Evelyne; Contejean, É.; Contejean, Évelyne
External Links: MGP
Documents Indexed: 24 Publications since 1991

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 146 times in 137 Documents Cited by Year
Introducing global constraints in CHIP. Zbl 0816.68048
Beldiceanu, N.; Contejean, E.
37
1994
An efficient incremental algorithm for solving systems of linear diophantine equations. Zbl 0809.11015
Contejean, Evelyne; Devie, Hervé
28
1994
Mechanically proving termination using polynomial interpretations. Zbl 1108.03017
Contejean, Evelyne; Marché, Claude; Tomás, Ana Paula; Urbain, Xavier
16
2005
Certification of automated termination proofs. Zbl 1148.68465
Contejean, Evelyne; Courtieu, Pierre; Forest, Julien; Pons, Olivier; Urbain, Xavier
13
2007
Automated certified proofs with CiME3. Zbl 1236.68219
Contejean, Évelyne; Courtieu, Pierre; Forest, Julien; Pons, Olivier; Urbain, Xavier
10
2011
Avoiding slack variables in the solving of linear diophantine equations and inequations. Zbl 0903.11033
Ajili, Farid; Contejean, Evelyne
8
1997
A certified AC matching algorithm. Zbl 1187.68524
Contejean, Evelyne
7
2004
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240
Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane
5
2008
Résolution de système linéaires d’équations diophantiennes. (Solving linear systems of Diophantine equations). Zbl 0733.65028
Contejean, Evelyne; Devie, Hervé
4
1991
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Rewrite systems for natural, integral, and rational arithmetic. Zbl 1379.68194
Contejean, Evelyne; Marché, Claude; Rabehasaina, Landy
3
1997
Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification. Zbl 0803.68059
Contejean, Evelyne
3
1993
A Coq formalization of the relational data model. Zbl 1405.68103
Benzaken, Véronique; Contejean, Évelyne; Dumbrava, Stefania
2
2014
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation. Zbl 1253.68291
Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed
2
2012
Reflecting proofs in first-order logic with equality. Zbl 1135.68555
Contejean, Evelyne; Corbineau, Pierre
2
2005
Certifying standard and stratified Datalog inference engines in SSReflect. Zbl 06821851
Benzaken, Véronique; Contejean, Évelyne; Dumbrava, Stefania
1
2017
Modeling permutations in Coq for Coccinelle. Zbl 1186.68429
Contejean, Evelyne
1
2007
On \(n\)-syntactic equational theories. Zbl 0925.03159
Boudet, Alexandre; Contejean, Evelyne
1
1992
Certifying standard and stratified Datalog inference engines in SSReflect. Zbl 06821851
Benzaken, Véronique; Contejean, Évelyne; Dumbrava, Stefania
1
2017
A Coq formalization of the relational data model. Zbl 1405.68103
Benzaken, Véronique; Contejean, Évelyne; Dumbrava, Stefania
2
2014
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation. Zbl 1253.68291
Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed
2
2012
Automated certified proofs with CiME3. Zbl 1236.68219
Contejean, Évelyne; Courtieu, Pierre; Forest, Julien; Pons, Olivier; Urbain, Xavier
10
2011
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240
Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane
5
2008
Certification of automated termination proofs. Zbl 1148.68465
Contejean, Evelyne; Courtieu, Pierre; Forest, Julien; Pons, Olivier; Urbain, Xavier
13
2007
Modeling permutations in Coq for Coccinelle. Zbl 1186.68429
Contejean, Evelyne
1
2007
Mechanically proving termination using polynomial interpretations. Zbl 1108.03017
Contejean, Evelyne; Marché, Claude; Tomás, Ana Paula; Urbain, Xavier
16
2005
Reflecting proofs in first-order logic with equality. Zbl 1135.68555
Contejean, Evelyne; Corbineau, Pierre
2
2005
A certified AC matching algorithm. Zbl 1187.68524
Contejean, Evelyne
7
2004
Avoiding slack variables in the solving of linear diophantine equations and inequations. Zbl 0903.11033
Ajili, Farid; Contejean, Evelyne
8
1997
Rewrite systems for natural, integral, and rational arithmetic. Zbl 1379.68194
Contejean, Evelyne; Marché, Claude; Rabehasaina, Landy
3
1997
Introducing global constraints in CHIP. Zbl 0816.68048
Beldiceanu, N.; Contejean, E.
37
1994
An efficient incremental algorithm for solving systems of linear diophantine equations. Zbl 0809.11015
Contejean, Evelyne; Devie, Hervé
28
1994
Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification. Zbl 0803.68059
Contejean, Evelyne
3
1993
On \(n\)-syntactic equational theories. Zbl 0925.03159
Boudet, Alexandre; Contejean, Evelyne
1
1992
Résolution de système linéaires d’équations diophantiennes. (Solving linear systems of Diophantine equations). Zbl 0733.65028
Contejean, Evelyne; Devie, Hervé
4
1991
all top 5

Cited by 264 Authors

8 Lucas, Salvador
8 Rosales, José Carlos
6 García Sánchez, Pedro A.
6 Kryvyy, Sergiy
5 Beldiceanu, Nicolas
5 Schneider-Kamp, Peter
4 Ayala-Rincón, Mauricio
4 García García, Juan Ignacio
4 Giesl, Jürgen
4 Middeldorp, Aart
4 Thiemann, René
4 Urbain, Xavier
3 Bessiere, Christian
3 Boldo, Sylvie
3 Carlsson, Mats
3 Contejean, Evelyne
3 Filliâtre, Jean-Christophe
3 Fuhs, Carsten
3 Gutiérrez, Raúl
3 Hebrard, Emmanuel
3 Melquiond, Guillaume
3 Rousseau, Louis-Martin
3 Sternagel, Christian
3 van Hoeve, Willem-Jan
3 Vigneron-Tenorio, Alberto
3 Walsh, Toby
3 Zankl, Harald
2 Aschermann, Cornelius
2 Bergstra, Jan A.
2 Blanchette, Jasmin Christian
2 Blanqui, Frédéric
2 Boizumault, Patrice
2 Borralleras, Cristina
2 Brockschmidt, Marc
2 Bromberger, Martin
2 Chapman, Scott Thomas
2 Clément, François
2 Conchon, Sylvain
2 Cruz-Filipe, Luís
2 Cymer, Radosław
2 de Carvalho-Segundo, Washington
2 De Ledesma Otamendi, Luis
2 Demassey, Sophie
2 Felgenhauer, Bertram
2 Fernández, Maribel
2 Frohn, Florian
2 Hensel, Jera
2 Hernando, Antonio
2 Hnich, Brahim
2 Hooker, John N. jun.
2 Kahl, Wolfram
2 Kapur, Deepak
2 Koprowski, Adam
2 Lee, Jimmy Ho-man
2 Leung, Ka Lun
2 Llena, David
2 Loudni, Samir
2 Maher, Michael J.
2 Marché, Claude
2 Mayero, Micaela
2 Meseguer Guaita, José
2 Nagele, Julian
2 Petit, Thierry
2 Pisón-Casares, Pilar
2 Ponse, Alban
2 Régin, Jean-Charles
2 Robles-Pérez, Aureliano M.
2 Rodríguez-Carbonell, Enric
2 Rubio, Albert
2 Rueher, Michel
2 Schaus, Pierre
2 Sobrinho, Daniele Nantes
2 Stratulat, Sorin
2 Ströder, Thomas
2 Weidenbach, Christoph
2 Weis, Pierre
1 Abbott, John A.
1 Ábrahám, Erika
1 Adi, Mohamed
1 Ajili, Farid
1 Alarcón, Beatriz
1 Allouche, David
1 Anderson, Gregory W.
1 Aoga, John O. R.
1 Artigues, Christian
1 Audemard, Gilles
1 Avigad, Jeremy
1 Becker, Bernd
1 Benchimol, Pascal
1 Bermejo, Isabel
1 Besozzi, Daniela
1 Besson, Frédéric
1 Bigatti, Anna Maria
1 Blanco, Víctor
1 Bobot, François
1 Bonifati, Angela
1 Bosi, Francesco
1 Boudet, Alexandre
1 Boussemart, Frédéric
1 Braibant, Thomas
...and 164 more Authors
all top 5

Cited in 45 Serials

18 Constraints
12 Journal of Automated Reasoning
8 Theoretical Computer Science
6 Journal of Symbolic Computation
6 Cybernetics and Systems Analysis
3 Artificial Intelligence
3 Annals of Operations Research
3 Logical Methods in Computer Science
2 Discrete Applied Mathematics
2 Information and Computation
2 Linear Algebra and its Applications
2 Applicable Algebra in Engineering, Communication and Computing
2 Formal Methods in System Design
2 RAIRO. Operations Research
2 Theory and Practice of Logic Programming
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Czechoslovak Mathematical Journal
1 Illinois Journal of Mathematics
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Monatshefte für Mathematik
1 Semigroup Forum
1 Software. Practice & Experience
1 Revista Matemática Iberoamericana
1 Computers & Operations Research
1 Forum Mathematicum
1 Science in China. Series A
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Aequationes Mathematicae
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Indagationes Mathematicae. New Series
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Mathematical Chemistry
1 RAIRO. Theoretical Informatics and Applications
1 CEJOR. Central European Journal of Operations Research
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
1 Ars Mathematica Contemporanea
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year