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
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
Synchronized Hyperedge Replacement with Name Mobility
CONCUR '01 Proceedings of the 12th 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
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
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
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Criteria to disprove context freeness of collage languages
Theoretical Computer Science
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Automatic graphs and D0L-sequences of finite graphs
Journal of Computer and System Sciences
Normal forms for context-free node-rewriting hypergraph grammars
Mathematical Structures in Computer Science
Fusion in relational structures and the verification of monadic second-order properties
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)
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis
AVI '08 Proceedings of the working conference on Advanced visual interfaces
Implementation and Application of Functional Languages
Functional-Logic Graph Parser Combinators
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Abstracting Complex Data Structures by Hyperedge Replacement
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Decentralized Implementation of Mobile Ambients
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
From Separation Logic to Hyperedge Replacement and Back
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Rule-Based Programming with Diaplan
Electronic Notes in Theoretical Computer Science (ENTCS)
From Chemical Rules to Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
Journal of Logic, Language and Information
Graphical encoding of a spatial logic for the π-calculus
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Adaptive star grammars and their languages
Theoretical Computer Science
A graph syntax for processes and services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An algebra of hierarchical graphs
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Journal of Visual Languages and Computing
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Adhesivity is not enough: local church-rosser revisited
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Graph grammars with string-regulated rewriting
Theoretical Computer Science
Hierarchical models for service-oriented systems
Rigorous software engineering for service-oriented systems
GRAPE: using graph grammars to implement shape grammars
Proceedings of the 2011 Symposium on Simulation for Architecture and Urban Design
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
Graph transformation with variables
Formal Methods in Software and Systems Modeling
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
Dynamic graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Graph transformation in constant time
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Concurrent rewriting for graphs with equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
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
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Towards probabilistic acceptors and transducers for feature structures
SSST-6 '12 Proceedings of the Sixth Workshop on Syntax, Semantics and Structure in Statistical Translation
Hi-index | 0.00 |