Evelyne Contejean
Orcid: 0000-0002-8195-7861
According to our database1,
Evelyne Contejean
authored at least 36 papers
between 1990 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
2
2
3
1
1
1
1
1
2
2
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2021
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021
2019
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2014
Proceedings of the Programming Languages and Systems, 2014
Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée.
, 2014
2012
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Log. Methods Comput. Sci., 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010
2007
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
2005
J. Autom. Reason., 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004
2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
2000
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
1998
Proceedings of the Automated Deduction, 1998
1997
Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations.
Theor. Comput. Sci., 1997
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
1996
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
1995
Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables.
Proceedings of the 9th International Workshop on Unification, 1995
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables.
Proceedings of the Principles and Practice of Constraint Programming, 1995
1994
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
Inf. Comput., August, 1994
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
1993
J. Symb. Comput., 1993
Solving Linear Diophantine Constraints Incrementally.
Proceedings of the Logic Programming, 1993
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
1992
Proceedings of the Algebraic and Logic Programming, 1992
1990
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990