Confluence of graph rewriting with interfaces, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.10201, pp.141-169, 2017. ,
, Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, vol.265, 2017.
AGREE -algebraic graph rewriting with controlled embedding, Graph Transformation -8th International Conference, ICGT 2015, Held as Part of STAF 2015, pp.35-51, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01403189
Sesqui-pushout rewriting, Graph Transformations, Third International Conference, pp.30-45, 2006. ,
Graph rewriting: An algebraic and logic approach, Formal Models and Sematics (B), vol.B, pp.193-242, 1990. ,
Rewrite systems, Formal Models and Semantics, vol.B, pp.243-320, 1990. ,
Graph path orderings, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol.57, pp.307-325, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01903086
Drags: A compositional algebraic framework for graph rewriting, Theor. Comput. Sci, vol.777, pp.204-231, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01853138
Hyperedge replacement, graph grammars, pp.95-162 ,
Fundamentals of algebraic graph transformation, 2006. ,
Algebraic approaches to graph transformation -part II: single pushout approach and comparison with double pushout approach, pp.247-312 ,
Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory, pp.167-180, 1973. ,
Strategic port graph rewriting: an interactive modelling framework, Mathematical Structures in Computer Science, vol.29, issue.5, pp.615-662, 2019. ,
, Jungle evaluation. Fundam. Inform, vol.15, issue.1, pp.37-60, 1991.
, Graph Transformation, Specifications, and Nets -In Memory of Hartmut Ehrig, vol.10800, 2018.
A unification algorithm for GP 2 (long version, 2017. ,
Unification dans les langages d'ordre 1, 1976. ,
Symbolic attributed graphs for attributed graph transformation. ECEASST, 30, 2010. ,
Graph rewriting with unification and composition. In Graph-Grammars and Their Application to Computer Science, pp.496-514, 1986. ,
Linear unification, J. Comput. Syst. Sci, vol.16, issue.2, pp.158-167, 1978. ,
Selected Papers of the 5th International Workshop on Graph Grammars and Their Application to, Lecture Notes in Computer Science, vol.1073, pp.75-88, 1994. ,
, On graph rewritings. Theor. Comput. Sci, vol.32, pp.1-24, 1984.
, Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, vol.1, 1997.