The complexity of connectivity problems on context-free graph languages
Journal of Computer and System Sciences
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
The complexity of the Kn,n-problem for node replacement graph languages
Information and Computation
Concepts and realization of a diagram editor generator based on hypergraph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Hierarchical graph transformation
Journal of Computer and System Sciences
Model Checking and Higher-Order Recursion
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
From Graph Transformation to Rule-Based Programming with Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
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
Abstraction and Control for Shapely Nested Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Hyperedge Substitution in Basic Atom-Replacement Languages
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Note on Graph Splicing Languages
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
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
Criteria to disprove context freeness of collage languages
Theoretical Computer Science
Tree-width and the monadic quantifier hierarchy
Theoretical Computer Science - Logic and complexity in computer science
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
An event structure based semantics for high-level message sequence charts
Mathematical Structures in Computer Science
Normal forms for context-free node-rewriting hypergraph grammars
Mathematical Structures in Computer Science
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
P systems with local graph productions
New Generation Computing - Membrane computing
Graph grammar encoding and evolution of automata networks
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Journal of Visual Languages and Computing
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-Free Categorical Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
From Chemical Rules to Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
Journal of Logic, Language and Information
Representation and execution of a graph grammar in prolog
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Verification of graph transformation systems with context-free specifications
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Correctness of graph programs relative to HR+ conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A local greibach normal form for hyperedge replacement grammars
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Model-checking hierarchical structures
Journal of Computer and System Sciences
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
ICGT'06 Proceedings of the Third international conference on Graph Transformations
String generating hypergraph grammars with word order restrictions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A graphical specification of model transformations with triple graph grammars
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Contextual hypergraph grammars – a new approach to the generation of hypergraph languages
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Selected decision problems for square-refinement collage grammars
Algebraic Foundations in Computer Science
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part I
Fundamenta Informaticae
Contextual hyperedge replacement
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |