Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Hierarchical graph transformation
Journal of Computer and System Sciences
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Hierarchical Graph Transformation
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Distributed Graph Transformation Units
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)
Towards a Notion of Transaction in Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Reusable model transformations
Software and Systems Modeling (SoSyM)
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Hi-index | 0.00 |