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
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
Formalising Behaviour Preserving Program Transformations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Linear Ordered Graph Grammars and Their Algebraic Foundations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Unfolding semantics of graph transformation
Information and Computation
Term-graph Rewriting in Tom Using Relative Positions
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Modelling and Verifying Mobile Systems Using π -Graphs
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
Unfolding grammars in adhesive categories
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
Graph rewriting in span-categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Multi-amalgamation in adhesive categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Modular performance modelling for mobile applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Refactoring information systems: association folding and unfolding
ACM SIGSOFT Software Engineering Notes
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Molecular analysis of metabolic pathway with graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Dynamic graph transformation systems
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
Sound and complete abstract graph transformation
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Double-pushout hypergraph rewriting using total conformisms
Fundamenta Informaticae
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
ABSTRACT SEMANTICS FOR ESM SYSTEMS
Fundamenta Informaticae
TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY
Fundamenta Informaticae
Adhesivity with Partial Maps instead of Spans
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Well-structured graph transformation systems with negative application conditions
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Refined graph rewriting in span-categories: a framework for algebraic graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Graph transformation with focus on incident edges
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Information and Computation
Abstraction and training of stochastic graph transformation systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Pattern graphs and rule-based models: the semantics of kappa
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Annotation processes for flexible management of contextual information
Journal of Visual Languages and Computing
Hi-index | 0.00 |