Dominique Duval

Identifiers

• name variant Dominique Duval 0.60 · backfill

Papers (4)

1. Program certification with computational effects cs.LO · 2014 · author #2
2. AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version) cs.LO · 2014 · author #2
3. Transformation of Attributed Structures with Cloning (Long Version) cs.SE · 2014 · author #1
4. Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation cs.LO · 2011 · author #1

Mentions

• 1411.7140 #2 · backfill · confidence 0.70 Dominique Duval
• 1411.4597 #2 · backfill · confidence 0.70 Dominique Duval
• 1401.2751 #1 · backfill · confidence 0.70 Dominique Duval
• 1101.3417 #1 · backfill · confidence 0.70 Dominique Duval

Frequent Coauthors

• Rachid Echahed 3 shared papers
• Fr\'ed\'eric Prost 2 shared papers
• Leila Ribeiro 2 shared papers
• Anadrea Corradini 1 shared papers
• Burak Ekici 1 shared papers
• Damien Pous 1 shared papers
• Frederic Prost 1 shared papers
• Jean-Guillaume Dumas 1 shared papers