| 2006 | ||
|---|---|---|
| 8 | EE | Isabelle Debled-Rennesson, Eric Domenjoud, Damien Jamet: Arithmetic Discrete Parabolas. ISVC (2) 2006: 480-489 |
| 1998 | ||
| 7 | EE | Eric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-Up and Delivery Problem. CP 1998: 467 |
| 1995 | ||
| 6 | Eric Domenjoud, Ana Paula Tomás: From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP 1995: 18-35 | |
| 1994 | ||
| 5 | Eric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281 | |
| 1992 | ||
| 4 | Eric Domenjoud: A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq. J. Autom. Reasoning 8(1): 39-44 (1992) | |
| 3 | Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. J. Symb. Comput. 14(6): 537-556 (1992) | |
| 1991 | ||
| 2 | Eric Domenjoud: Solving Systems of Linear Diophantine Equations: An Algebraic Approach. MFCS 1991: 141-150 | |
| 1 | Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. RTA 1991: 98-111 | |
| 1 | Isabelle Debled-Rennesson | [8] |
| 2 | Damien Jamet | [8] |
| 3 | Claude Kirchner | [7] |
| 4 | Francis Klay | [5] |
| 5 | Christophe Ringeissen | [5] |
| 6 | Ana Paula Tomás | [6] |
| 7 | Jianyang Zhou | [7] |