Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Design methodology management using graph grammars
DAC '94 Proceedings of the 31st annual Design Automation Conference
Three dimensional tree grammars for the modeling of plants
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Activity productions for graph grammars
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Minimal State Space Search in Parallel Production Systems
IEEE Transactions on Knowledge and Data Engineering
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
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional Construction of Simulation Models Using Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
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
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
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
Formalising Behaviour Preserving Program Transformations
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
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
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
Bigraphs as a Model for Mobile Interaction
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Plants, fractals, and formal languages
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science
Double-pushout graph transformation revisited
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)
A similarity-driven transfer system
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - SPECIAL ISSUE: Platform product development for mass customization
The uniqueness condition for the double pushout transformation of algebras
Information Sciences—Informatics and Computer Science: An International Journal
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Axioms for bigraphical structure
Mathematical Structures in Computer Science
Constraint validation support in visual model transformation systems
Acta Cybernetica
Pure bigraphs: structure and dynamics
Information and Computation
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
An algorithm for computing links
Proceedings of the 44th annual Southeast regional conference
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
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
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
High-Level Programs and Program Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Grammatical inference for robotic self-assembly: basic methodology
AIKED'09 Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Grammatical inference methodology for control systems
WSEAS Transactions on Computers
Graph grammar approach to natural language parsing and understanding
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
The search ahead conflict resolution for parallel firing of production systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying a Behavioural Logic for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Object-Oriented Connector-Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Cloning and Expanding Graph Transformation Rules for Refactoring
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Pure bigraphs: Structure and dynamics
Information and Computation
A unified categorical approach for attributed graph rewriting
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Adaptive star grammars and their languages
Theoretical Computer Science
How to delete categorically - Two pushout complement constructions
Journal of Symbolic Computation
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Processes for adhesive rewriting systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Termination criteria for model transformation
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
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
Embeddings and contexts for link graphs
Formal Methods in Software and Systems Modeling
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Matrix approach to graph transformation: matching and sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Satisfiability of high-level conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Weakest preconditions for high-level programs
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Confluence of graph transformation revisited
Processes, Terms and Cycles
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
An introduction to model versioning
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
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Termination of Graph Rewriting is Undecidable
Fundamenta Informaticae
Double-pushout hypergraph rewriting using total conformisms
Fundamenta Informaticae
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
A general attribution concept for models in M-adhesive transformation systems
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
Hi-index | 0.00 |