Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Refinements and Modules for Typed Graph Transformation Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Expert Systems with Applications: An International Journal
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
Stochastic simulation of graph transformation systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Main concepts of networks of transformation units with interlinking semantics
Formal Methods in Software and Systems Modeling
| Hi-index | 0.00 |