Eric Domenjoud

dblp:90/4607 · DBLP profile ↗
← Back
12ranked-venue papers
9as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 8 · 6 first-author · 1 since 2021Artificial intelligence and machine learning · 5 · 4 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-author
YearPublicationVenuePosition
2024 On the connectedness of arithmetic hyperplanes
Bastien Laboureix, Eric Domenjoud
Theor. Comput. Sci.2
2016 Palindromic language of thin discrete planes
Eric Domenjoud, Xavier Provençal, Laurent Vuillon
Theor. Comput. Sci.1
2013 Special Issue on Discrete Geometry for Computer Imagery
Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even
Comput. Vis. Image Underst.2
2013 Discrete Geometry for Computer Imagery
Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even
Discret. Appl. Math.2
2012 Enumeration formula for (2, n)-cubes in discrete planes
Eric Domenjoud, Damien Jamet, Damien Vergnaud, Laurent Vuillon
Discret. Appl. Math.1
1998 Generating Feasible Schedules for a Pick-Up and Delivery Problem
Eric Domenjoud, Claude Kirchner, Jianyang Zhou 0001
CP1
1995 From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
Eric Domenjoud, Ana Paula Tomás
CP1
1994 Combination Techniques for Non-Disjoint Equational Theories
Eric Domenjoud, Francis Klay, Christophe Ringeissen
CADE1
1992 A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq
Eric Domenjoud
J. Autom. Reason.1
1992 AC Unification Through Order-Sorted AC1 Unification
Eric Domenjoud
J. Symb. Comput.1
1991 Solving Systems of Linear Diophantine Equations: An Algebraic Approach
Eric Domenjoud
MFCS1
1991 AC Unification Through Order-Sorted AC1 Unification
Eric Domenjoud
RTA1