A view-oriented approach to system modelling based on graph transformation
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
From Graph Transformation to Rule-Based Programming with Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Conflict Detection and Resolution in Access Control Policy Specifications
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Formalising Behaviour Preserving Program Transformations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Formal access control analysis in the software development process
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Graph-based specification of access control policies
Journal of Computer and System Sciences
Unfolding semantics of graph transformation
Information and Computation
Grammar Morphisms and Weakly Adhesive Categories
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Cloning and Expanding Graph Transformation Rules for Refactoring
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Journal of Visual Languages and Computing
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
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Hi-index | 0.00 |