Proceedings of the 24th International Conference on Software Engineering
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Interactive Rule-Based Specification with an Application to Visual Language Definition
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
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
Compositional Construction of Simulation Models Using Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
AGG: A Tool Environment for Algebraic Graph Transformation
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
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Pushout complements for partly total algebras
Mathematical Structures in Computer Science
Graph transformation with time
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
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Unfolding semantics of graph transformation
Information and Computation
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Towards the Verification of Attributed Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Realizing UML Metamodel Transformations with AGG
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
Delaying constraint solving in symbolic graph transformation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
Modular performance modelling for mobile applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Verification of graph grammars using a logical approach
Science of Computer Programming
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A general attribution concept for models in M-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |