The following pages link to Michael Löwe (Q631575):
Displaying 41 items.
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation'': A survey (Q685466) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Characterisation of parallel independence in AGREE-rewriting (Q1663986) (← links)
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- Model transformations as free constructions (Q1708185) (← links)
- Double-pushout rewriting in context: rule composition and parallel independence (Q2292966) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Refined Graph Rewriting in Span-Categories (Q2918976) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- Van Kampen Squares for Graph Transformation (Q3192239) (← links)
- (Q3355245) (← links)
- (Q3359777) (← links)
- (Q3490966) (← links)
- The application of Fermat's principle for imaging anisotropic and inhomogeneous media with application to austenitic steel weld inspection (Q3562008) (← links)
- (Q3785915) (← links)
- (Q3796790) (← links)
- (Q4028126) (← links)
- (Q4037293) (← links)
- (Q4037311) (← links)
- (Q4037336) (← links)
- (Q4117588) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- An event structure semantics for graph grammars with parallel productions (Q4645280) (← links)
- (Q4732088) (← links)
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (Q4847312) (← links)
- Graph Rewriting in Span-Categories (Q4931317) (← links)
- Abstract graph derivations in the double pushout approach (Q5096276) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
- Algebraic Graph Transformations with Inheritance (Q5166670) (← links)
- Composition of Model Transformations: A Categorical Framework (Q5200484) (← links)
- (Q5284549) (← links)
- Formal Methods in Software and Systems Modeling (Q5710408) (← links)
- (Q5748897) (← links)
- Identification of leaky Lamb waves for waveguides sandwiched between elastic half-spaces using the Spectral Collocation Method (Q6510614) (← links)
- Classification model with weighted regularization to improve the reproducibility of neuroimaging signature selection (Q6629353) (← links)
