Author of the publication

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.

, , and . Appl. Categorical Struct., 16 (3): 365-388 (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation., , , and . VL/HCC, page 71-78. IEEE Computer Society, (2005)Termination Criteria for DPO Transformations with Injective Matches., , and . GT-VC@CONCUR, volume 175 of Electronic Notes in Theoretical Computer Science, page 87-100. Elsevier, (2006)Fundamental Theory for Typed Attributed Graph Transformation., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 161-177. Springer, (2004)Attributed graph transformation with node type inheritance, , , , , and . Theoretical Computer Science, 376 (3): 139--163 (May 2007)Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations., and . Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 235-251. Springer, (2006)Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 178-193. Springer, (2008)Fundamentals of Algebraic Graph Transformation, , , and . Springer, Berlin, illustrate edition, (2006)Categorical Foundations of Distributed Graph Transformation., , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 215-229. Springer, (2006)Termination Analysis of Model Transformations by Petri Nets., , , , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 260-274. Springer, (2006)