18 papers:
GCM-2015-LoweT #algebra #category theory- Single-Pushout Rewriting of Partial Algebras (ML, MT), pp. 82–96.
ICGT-2015-Lowe #category theory #graph grammar #polymorphism- Polymorphic Sesqui-Pushout Graph Rewriting (ML), pp. 3–18.
FASE-2014-LoweKS #category theory #graph transformation #polymorphism- Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
- ICGT-2014-DanosHHS #category theory
- Reversible Sesqui-Pushout Rewriting (VD, TH, RHZ, SS), pp. 161–176.
- ICGT-2014-HaymanH #category theory #on the
- On Pushouts of Partial Maps (JH, TH), pp. 177–191.
GPCE-2012-RicheGMB #architecture #category theory #design- Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.
- GCM-2010-HeumullerJKS11 #category theory
- Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).
- ICGT-2010-Heindel #category theory
- Hereditary Pushouts Reconsidered (TH), pp. 250–265.
- ICGT-2010-Kahl #category theory #graph transformation
- Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
RTA-2009-DuvalEP #approach #category theory #graph transformation- A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
- ICGT-2006-CorradiniHHK #category theory
- Sesqui-Pushout Rewriting (AC, TH, FH, BK), pp. 30–45.
- TAGT-1998-BaldanCM #graph grammar
- Unfolding of Double-Pushout Graph Grammars is a Coreflection (PB, AC, UM), pp. 145–163.
- TAGT-1998-HabelMP #approach #injection
- Double-Pushout Approach with Injective Matching (AH, JM, DP), pp. 103–116.
- TAGT-1998-LlabresR #algebra #category theory
- Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.
- GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation
- Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
- GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation
- Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
- GG-1990-Barthelmann #category theory #graph grammar
- Describing Göttler’s Operational Graph Grammars with Pushouts (KB), pp. 98–112.
- GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial
- Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.
