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)
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
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]
Compositional Construction of Simulation Models Using Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
On a Uniform Representation of Transformation Systems
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
A Relation-Algebraic Approach to Graph Structure Transformation
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
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
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Workshop on Graph Transformation and Visual Modeling Techniques
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
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
A sight-seeing tour of the computational landscape of graph transformation
Formal and natural computing
Deriving bisimulation congruences using 2-categories
Nordic Journal of Computing
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
A graph grammar approach to artificial life
Artificial Life
Formal access control analysis in the software development process
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Graph-based specification of access control policies
Journal of Computer and System Sciences
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Unfolding semantics of graph transformation
Information and Computation
Formal Verification of Object-Oriented Graph Grammars Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and Verifying Graph Transformations in Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Rewriting with High-Level Replacement Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Applications of Graph Transformations with Industrial Relevance
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Using Graph Transformations in Distributed Adaptive Design System
ICCVG 2008 Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Semantic normalisation: a framework and an experiment
IWCS-8 '09 Proceedings of the Eighth International Conference on Computational Semantics
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Graph-based Semantics For Object-oriented Programming Constructs
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae
Parallel graph transformations with double pushout grammars
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
On the effective distribution of knowledge represented by complementary graphs
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
A component concept for typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Graph rewriting in span-categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Hereditary pushouts reconsidered
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
Deep semantics for dependency structures
CICLing'11 Proceedings of the 12th international conference on Computational linguistics and intelligent text processing - Volume Part I
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
An access control language for dynamic systems – model-driven development and verification
SDL'05 Proceedings of the 12th international conference on Model Driven
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Graph transformation in molecular biology
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
Verification of graph grammars using a logical approach
Science of Computer Programming
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
Dynamic graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
GrGen: a fast SPO-based graph rewriting tool
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
Formal modeling of communication protocols by graph transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Graph theory for rule-based modeling of biochemical networks
Transactions on Computational Systems Biology VII
Hypergraph distributed adaptive design supported by hypergraph replication
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
On the effective distribution and maintenance of knowledge represented by complementary graphs
Transactions on Compuational Collective Intelligence VI
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)
Adhesivity with Partial Maps instead of Spans
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Graph transformation with focus on incident edges
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Multi-scale rule-based graph transformation using the programming language XL
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Structural counter abstraction
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Supporting communication and cooperation in distributed representation for adaptive design
Advanced Engineering Informatics
Causality-Based verification of multi-threaded programs
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |