Graphical represenation and graph transformation
ACM Computing Surveys (CSUR)
Agent-oriented modeling with graph transformation
First international workshop, AOSE 2000 on Agent-oriented software engineering
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
Hierarchical graph transformation
Journal of Computer and System Sciences
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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]
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
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Synchronized Hyperedge Replacement with Name Mobility
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Note on Modeling Agent Systems by Graph Transformation
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
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Approximating the Behaviour of Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Distributed Graph Transformation Units
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A General Framework for Types in Graph Rewriting
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Bisimulation equivalences for graph grammars
Formal and natural computing
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Model transformation for object-relational database development
Proceedings of the 2007 ACM symposium on Applied computing
Verification of Random Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Iterative model-driven development of adaptable service-based applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Undecidable Control Conditions in Graph Transformation Units
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Ugo Montanari and Graph Transformation
Concurrency, Graphs and Models
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
Distributed Graphs Transformed by Multiagent System
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Inductively Sequential Term-Graph Rewrite Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Workshop on Petri Nets and Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
Formal consistency verification between BPEL process and privacy policy
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A New Version of GTXL: An Exchange Format for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying a Behavioural Logic for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile agent systems and cellular automata
Autonomous Agents and Multi-Agent Systems
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
From algebraic graph transformation to adhesive HLR categories and systems
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
A graph-based developmental swarm representation and algorithm
ANTS'10 Proceedings of the 7th international conference on Swarm intelligence
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A dynamic logic for termgraph rewriting
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Parallel graph transformations supported by replicated complementary graphs
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part II
Supporting software agents by the graph transformation systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
Main concepts of networks of transformation units with interlinking semantics
Formal Methods in Software and Systems Modeling
Composition and decomposition of DPO transformations with borrowed context
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Autonomous units and their semantics — the sequential case
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Workshop on petri nets and graph transformations
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Polynomial graph transformability
Theoretical Computer Science
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Confluence in data reduction: bridging graph transformation and kernelization
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Graph transformation with focus on incident edges
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
M,N-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Supporting communication and cooperation in distributed representation for adaptive design
Advanced Engineering Informatics
Hi-index | 0.00 |