A Relation-Algebraic Approach to Graph Structure Transformation
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
The uniqueness condition for the double pushout transformation of algebras
Information Sciences—Informatics and Computer Science: An International Journal
Collagories for Relational Adhesive Rewriting
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Amalgamating pushout and pullback graph transformation in collagories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
How to delete categorically - Two pushout complement constructions
Journal of Symbolic Computation
Towards certifiable implementation of graph transformation via relation categories
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 5.23 |