Handbook of Graph Grammars and Computing by Graph Transformation
From MaRDI portal
Graph theory (including graph drawing) in computer science (68R10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42) Proceedings, conferences, collections, etc. pertaining to combinatorics (05-06) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Recommendations
Cited in
(80)- The Edge of Graph Transformation — Graphs for Behavioural Specification
- An abstract module concept for graph transformation systems
- Criteria to disprove context freeness of collage languages.
- Programming with narrowing: a tutorial
- Graph and model transformation. General framework and applications
- Reducibility between classes of port graph grammar.
- An \textsc{Agg} application supporting visual reasoning
- Algorithmic uses of the Feferman-Vaught theorem
- Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
- Learning an efficient constructive sampler for graphs
- Polynomial graph transformability
- A graph transformation view on the specification of applications using mobile code
- Termination of graph transformation systems using weighted subgraph counting
- A Generic Construction for Crossovers of Graph-Like Structures
- On congruences of automata defined by directed graphs
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- Graph grammars according to the type of input and manipulated data: a survey
- Visual design of software architecture and evolution based on graph transformation
- Adding graph transformation concepts to UML's constraint language OCL
- Specifying and implementing visual process modeling languages with \textsc{DiaGen}
- Towards a formal framework for inter-enterprise application integration
- Structured modeling with GRACE
- Parameterized transformation units
- Verification of random graph transformation systems
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Graph Rewriting Components
- Using graph grammar systems with memory in computer aided design
- Algebraic hierarchical graph transformation
- A formal model for role-based access control using graph transformation
- Theorem proving graph grammars with attributes and negative application conditions
- scientific article; zbMATH DE number 194024 (Why is no real title available?)
- A formalisation of deep metamodelling
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Tree-based generation of languages of fractals
- A structural approach to graph transformation based on symmetric Petri nets
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Adhesive and quasiadhesive categories
- Towards a notion of transaction in graph rewriting
- Termination of graph transformation systems via generalized weighted type graphs
- A strict constrained superposition calculus for graphs
- scientific article; zbMATH DE number 7450014 (Why is no real title available?)
- Graph Transformation by Computational Category Theory
- Tree-based picture generation
- Hierarchical graph transformation
- Workshop on Graph Computation Models
- Analysis of UML Activities Using Dynamic Meta Modeling
- Compiling dyadic first-order specifications into map algebra
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Decidability of safety in graph-based models for access control
- A port graph rewriting approach to relational database modelling
- Inductively Sequential Term-Graph Rewrite Systems
- Amalgamation of domain specific languages with behaviour
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Solving equations by graph transformation
- Towards automated software model checking using graph transformation systems and bogor
- GS theories: a syntax for higher-order graphs
- Transformation of shaped nested graphs and diagrams
- On term-graph rewrite strategies
- Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).
- Autonomous units and their semantics -- the concurrent case
- Visual Modeling of Distributed Object Systems by Graph Transformation
- A rewriting approach to binary decision diagrams
- GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
- Graph transformation semantics for a QVT language
- Adaptive Star Grammars for Graph Models
- Attributed graph transformation with node type inheritance
- Automating the transformation-based analysis of visual languages
- Algebra transformation systems as a unifying framework
- Graph Transformation Units – An Overview
- Graph Multiset Transformation as a Framework for Massively Parallel Computation
- Adaptive star grammars and their languages
- A conceptual and formal framework for the integration of data type and process modeling techniques
- Modeling pointer redirection as cyclic term-graph rewriting
- A living monograph for graph transformation
- Formal software specification with refinements and modules of typed graph transformation systems
- The York Abstract Machine
- Undecidable control conditions in graph transformation units
- Abstraction in graph-transformation based diagram editors
This page was built for publication: Handbook of Graph Grammars and Computing by Graph Transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4951113)