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