Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 24th International Conference on Software Engineering
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]
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A sight-seeing tour of the computational landscape of graph transformation
Formal and natural computing
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Connector Rewriting with High-Level Replacement Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
Electronic Notes in Theoretical Computer Science (ENTCS)
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Efficient Detection of Conflicts in Graph-based Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Local confluence for rules with nested application conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Confluence of graph transformation revisited
Processes, Terms and Cycles
Engineering self-protection for autonomous systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Contextual hyperedge replacement
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |