Graphical represenation and graph transformation
ACM Computing Surveys (CSUR)
Integrating visual modeling of agent-based and object-oriented systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
A model for comparing the space usage of lazy evaluators
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Agent-oriented modeling with graph transformation
First international workshop, AOSE 2000 on Agent-oriented software engineering
On the specification and evolution of access control policies
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
A graph-based formalism for RBAC
ACM Transactions on Information and System Security (TISSEC)
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
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)
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
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
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Interactive Rule-Based Specification with an Application to Visual Language Definition
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
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]
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
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
Decidability of Safety in Graph-Based Models for Access Control
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
PROgrammed Graph REwriting System PROGRES
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Component Construction of Database Schemes
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Graph-Based Reengineering of Telecommunication Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
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
Distributed Graph Transformation Units
ICGT '02 Proceedings of the First International Conference on Graph Transformation
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
Linear Ordered Graph Grammars and Their Algebraic Foundations
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
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A New Type Checking Approach for OCL Version 2.0?
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
On congruences of automata defined by directed graphs
Theoretical Computer Science
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Graph-based relational learning: current and future directions
ACM SIGKDD Explorations Newsletter
Concurrency and loose semantics of open graph transformation 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)
Administrative scope in the graph-based framework
Proceedings of the ninth ACM symposium on Access control models and technologies
Proceedings of the 35th conference on Winter simulation: driving innovation
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Constraint validation support in visual model transformation systems
Acta Cybernetica
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Compiling model transformations to EJB3-specific transformer plugins
Proceedings of the 2006 ACM symposium on Applied computing
Procedural modeling of buildings
ACM SIGGRAPH 2006 Papers
Computer automated multi-paradigm modelling for analysis and design of traffic networks
WSC '04 Proceedings of the 36th conference on Winter simulation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Graph-based Relational Learning with Application to Security
Fundamenta Informaticae - Advances in Mining Graphs, Trees and Sequences
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Automating model transformation by example using inductive logic programming
Proceedings of the 2007 ACM symposium on Applied computing
Verification of Random Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A distribution technique for graph rewriting and model transformation systems
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Undecidable Control Conditions in Graph Transformation Units
Electronic Notes in Theoretical Computer Science (ENTCS)
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Notion of Transaction in Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
Electronic Notes in Theoretical Computer Science (ENTCS)
Querying business processes with BP-QL
Information Systems
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Distributed Graphs Transformed by Multiagent System
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Inductively Sequential Term-Graph Rewrite Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Graph Transformation for the Semantic Web: Queries and Inference Rules
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Transformation-Based Operationalization of Graph Languages
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Defining Abstract Graph Views as Module Interfaces
Applications of Graph Transformations with Industrial Relevance
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Triple Graph Grammars or Triple Graph Transformation Systems?
Models in Software Engineering
Model Transformations for Performability Analysis of Service Configurations
Models in Software Engineering
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Using Graph Transformations in Distributed Adaptive Design System
ICCVG 2008 Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers
Essential Phenomena of General Intelligence
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Efficient Model Transformations by Combining Pattern Matching Strategies
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Algebraic Meta-structure Handling of Huge Database Schemata
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Rational Unification in 28 Characters
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation with Incremental Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
A New Version of GTXL: An Exchange Format for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in Relational Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
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)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Models and tools for managing development processes
Models and tools for managing development processes
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
From algebraic graph transformation to adhesive HLR categories and systems
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Applying model transformation by-example on business process modeling languages
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
An evolutionary graph transformation system as a modelling framework for evolutionary algorithms
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Procedural modeling for digital cultural heritage
Journal on Image and Video Processing - Special issue on image and video processing for cultural heritage
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Using parallel graph transformations in design support system
ICCVG'10 Proceedings of the 2010 international conference on Computer vision and graphics: Part II
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A dynamic logic for termgraph rewriting
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Specification and verification of model transformations using UML-RSDS
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Teaching computer language handling - from compiler theory to meta-modelling
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Autonomous units and their semantics - the concurrent case
Graph transformations and model-driven engineering
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Component-based modeling of complete buildings
Proceedings of Graphics Interface 2011
Journal of Visual Languages and Computing
Parallel graph transformations supported by replicated complementary graphs
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part II
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
Technical Section: An architectural approach to efficient 3D urban modeling
Computers and Graphics
Towards a compiler for business-IT systems: a vision statement complemented with a research agenda
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Building a software factory for pervasive systems development
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
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
Flexible interconnection of graph transformation modules
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
Verification of graph grammars using a logical approach
Science of Computer Programming
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Autonomous units and their semantics — the sequential case
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Polynomial graph transformability
Theoretical Computer Science
A model-driven framework for guided design space exploration
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Fast architecture prototyping through 3D collage
Multimedia Tools and Applications
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Change-driven model transformations
Software and Systems Modeling (SoSyM)
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Graph-based Relational Learning with Application to Security
Fundamenta Informaticae - Advances in Mining Graphs, Trees and Sequences
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Specification patterns for properties over reachable states of graph grammars
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A graph-based formalism for controlling access to a digital library ontology
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Graph transformation with focus on incident edges
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
Graph transformations for evolving domain knowledge
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Applying incremental graph transformation to existing models in relational databases
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Supporting communication and cooperation in distributed representation for adaptive design
Advanced Engineering Informatics
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Complete Conceptual Schema Algebras
Fundamenta Informaticae
Hi-index | 0.00 |