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]
A sight-seeing tour of the computational landscape of graph transformation
Formal and natural computing
Termination Criteria for DPO Transformations with Injective Matches
Electronic Notes in Theoretical Computer Science (ENTCS)
Undecidable Control Conditions in Graph Transformation Units
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)
Graph Multiset Transformation as a Framework for Massively Parallel Computation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A formalism for describing modeling transformations for verification
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Termination of High-Level Replacement Units with Application to Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Rewriting systems for reachability in vector addition systems with pairs
RP'10 Proceedings of the 4th international conference on Reachability problems
DSLTrans: a turing incomplete transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Natural Computing: an international journal
Semantic clone detection for model-based development of embedded systems
Proceedings of the 14th international conference on Model driven engineering languages and systems
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Weakest preconditions for high-level programs
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |