Travelled to:
1 × Brazil
1 × Germany
1 × Italy
2 × France
Collaborated with:
R.Echahed F.Prost L.Ribeiro A.Corradini
Talks about:
graph (5) transform (4) rewrit (3) heterogen (1) structur (1) functori (1) attribut (1) approach (1) abstract (1) pushout (1)
Person: Dominique Duval
DBLP: Duval:Dominique
Contributed to:
Wrote 6 papers:
- ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
- AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
- FASE-2014-DuvalEPR
- Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
- ICGT-2012-DuvalEP #graph transformation
- Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
- GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
- Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
- RTA-2009-DuvalEP #approach #category theory #graph transformation
- A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
- RTA-2007-DuvalEP #garbage collection #graph grammar
- Adjunction for Garbage Collection with Application to Graph Rewriting (DD, RE, FP), pp. 122–136.