Hierarchical graph transformation
Journal of Computer and System Sciences
Binary Decision Diagrams by Shard Rewriting
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Parallel Admissible Graph Rewriting
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Rewriting term-graphs with priority
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
The complexity of tree automata and XPath on grammar-compressed trees
Theoretical Computer Science - Implementation and application of automata
Structure and Properties of Traces for Functional Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Lazy Context Cloning for Non-Deterministic Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science
Term-graph Rewriting in Tom Using Relative Positions
Electronic Notes in Theoretical Computer Science (ENTCS)
Intensional Properties of Polygraphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and Verifying Graph Transformations in Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A polynomial nominal unification algorithm
Theoretical Computer Science
Term-Graph Rewriting Via Explicit Paths
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Inductively Sequential Term-Graph Rewrite Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Workshop on Graph Computation Models
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
Applications of Graph Transformations with Industrial Relevance
Proceedings of the 8th ACM international conference on Aspect-oriented software development
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
Rational Unification in 28 Characters
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical Verification of a Spatial Logic for the π-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with narrowing: A tutorial
Journal of Symbolic Computation
Non strict confluent rewrite systems for data-structures with pointers
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Jumping boxes: representing lambda-calculus boxes by jumps
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
A dynamic logic for termgraph rewriting
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Control-Flow semantics for assembly-level data-flow graphs
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Pattern matching for the masses using custom notations
Science of Computer Programming
On the correctness of bubbling
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Observing reductions in nominal calculi via a graphical encoding of processes
Processes, Terms and Cycles
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Tree automata and XPath on compressed trees
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Sharing in the graph rewriting calculus
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Compiling a functional logic language: the basic scheme
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Rational term rewriting revisited: decidability and confluence
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Are needed redexes really needed?
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |