From post

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.

, , , и . VL/HCC, стр. 71-78. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., и . CAI, том 4728 из Lecture Notes in Computer Science, стр. 122-146. Springer, (2007)Preface., , и . ACCAT@ETAPS, том 203 из Electronic Notes in Theoretical Computer Science, стр. 1. Elsevier, (2007)Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation., , , и . VL/HCC, стр. 71-78. IEEE Computer Society, (2005)Fundamental Theory for Typed Attributed Graph Transformation., , и . ICGT, том 3256 из Lecture Notes in Computer Science, стр. 161-177. Springer, (2004)Reasoning with graph constraints., , и . Formal Aspects Comput., 22 (3-4): 385-422 (2010)Termination Criteria for DPO Transformations with Injective Matches., , и . GT-VC@CONCUR, том 175 из Electronic Notes in Theoretical Computer Science, стр. 87-100. Elsevier, (2006)Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels., и . ICGT, том 5214 из Lecture Notes in Computer Science, стр. 178-193. Springer, (2008)Attributed graph transformation with node type inheritance., , , , , и . Theor. Comput. Sci., 376 (3): 139-163 (2007)Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations., и . Essays Dedicated to Joseph A. Goguen, том 4060 из Lecture Notes in Computer Science, стр. 235-251. Springer, (2006)Fundamentals of Algebraic Graph Transformation, , , и . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2006)