The following pages link to Hartmut Ehrig (Q171481):
Displaying 50 items.
- (Q3221381) (← links)
- (Q3323294) (← links)
- (Q3325062) (← links)
- (Q3325070) (← links)
- (Q3330488) (← links)
- (Q3341871) (← links)
- (Q3347268) (← links)
- (Q3355245) (← links)
- (Q3359777) (← links)
- (Q3395944) (← links)
- (Q3395992) (← links)
- (Q3396616) (← links)
- (Q3396630) (← links)
- (Q3396638) (← links)
- (Q3397632) (← links)
- (Q3416071) (← links)
- (Q3416072) (← links)
- (Q3416077) (← links)
- Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts (Q3419789) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (Q3540397) (← links)
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (Q3540398) (← links)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Conflict Detection for Graph Transformation with Negative Application Conditions (Q3541947) (← links)
- Composition and Decomposition of DPO Transformations with Borrowed Context (Q3541957) (← links)
- Categorical Foundations of Distributed Graph Transformation (Q3541961) (← links)
- Termination Analysis of Model Transformations by Petri Nets (Q3541965) (← links)
- A Generic Approach to Connector Architectures Part I: The General Framework (Q3561226) (← links)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (Q3561227) (← links)
- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (Q3612928) (← links)
- (Q3667933) (← links)
- (Q3673130) (← links)
- (Q3707394) (← links)
- (Q3721799) (← links)
- (Q3725525) (← links)
- Specification of modular systems (Q3727366) (← links)
- (Q3745247) (← links)
- (Q3751030) (← links)
- (Q3785915) (← links)
- (Q3785984) (← links)
- (Q3785985) (← links)
- (Q3796790) (← links)
- (Q3811687) (← links)
- (Q3851591) (← links)
- (Q3851642) (← links)
- (Q3868773) (← links)
- Pushout-Properties: An analysis of gluing constructions for graphs (Q3868784) (← links)
