Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Proceedings of the 24th International Conference on Software Engineering
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)
Designing the automatic transformation of visual languages
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
Local Action Systems and DPO Graph Transformation
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
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
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
Graph Transformation Modules and Their Composition
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 Note on Modeling Agent Systems by Graph Transformation
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
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
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
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
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
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
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
Workshop on Graph Transformation and Visual Modeling Techniques
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 sight-seeing tour of the computational landscape of graph transformation
Formal and natural computing
Local action systems and DPO graph transformation
Formal and natural computing
Bisimulation equivalences for graph grammars
Formal and natural computing
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
A visual modeling framework for distributed object computing
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
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)
The uniqueness condition for the double pushout transformation of algebras
Information Sciences—Informatics and Computer Science: An International Journal
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
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
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
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
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Unfolding semantics of graph transformation
Information and Computation
Hierarchical Specification Of Graphical User Interfaces Using A Graph Grammar Approach
Journal of Integrated Design & Process Science
Journal of Integrated Design & Process Science
Towards An Integration Of Different Specification Methods By Using The Viewpoint Framework
Journal of Integrated Design & Process Science
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
Decoupling web application concerns through weaving operations
Science of Computer Programming
Undecidable Control Conditions in Graph Transformation Units
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)
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)
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Electronic Notes in Theoretical Computer Science (ENTCS)
On Challenges for a Graphical Transformation Notation and the UMLX Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Ugo Montanari and Graph Transformation
Concurrency, Graphs and Models
Service Architecture Design for E-Businesses: A Pattern-Based Approach
EC-Web '08 Proceedings of the 9th international conference on E-Commerce and Web Technologies
A Decentralized Implementation of Mobile Ambients
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Network Applications of Graph Bisimulation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
High-Level Programs and Program Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Parallel and Sequential Independence for Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
On the Recognizability of Arrow and Graph Languages
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Calculus for Multigraphs with Ports
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
Applications of Graph Transformations with Industrial Relevance
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence in Domain-Independent Product Line 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
Graph transformation based reduction analysis of PID
ACM SIGSOFT Software Engineering Notes
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Towards Secrecy for Rewriting in Weakly Adhesive Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Dependent and Conflicting Change Operations of Process Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Higher-Order Graph Calculus for Autonomic Computing
Graph Theory, Computational Intelligence and Thought
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
CSP(M): Constraint Satisfaction Problem over Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Incremental Algorithm for High-Performance Runtime Model Consistency
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Collagories for Relational Adhesive Rewriting
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Approach to Service Specification and Matching based on Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Detection of Conflicts in Graph-based Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Deriving bisimulation congruences with borrowed contexts
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Graphical encoding of a spatial logic for the π-calculus
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Deriving bisimulation congruences in the presence of negative application conditions
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
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
An algebra of hierarchical graphs
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Graph transformation units guided by a sat solver
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Combining termination criteria by isolating deletion
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
Amalgamating pushout and pullback graph transformation in collagories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation
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
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
Transforming provenance using redaction
Proceedings of the 16th ACM symposium on Access control models and technologies
Dependently-typed formalisation of relation-algebraic abstractions
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Adhesivity is not enough: local church-rosser revisited
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
A formal support to business and architectural design for service-oriented systems
Rigorous software engineering for service-oriented systems
Hierarchical models for service-oriented systems
Rigorous software engineering for service-oriented systems
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
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
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
Graph transformation in molecular biology
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
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Composition and decomposition of DPO transformations with borrowed context
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Graph transactions as processes
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
Termination analysis of model transformations by petri nets
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
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
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
Dynamic computation of change operations in version management of business process models
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Concurrent rewriting for graphs with equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Confluence of graph transformation revisited
Processes, Terms and Cycles
Polynomial graph transformability
Theoretical Computer Science
Generating instance models from meta models
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
Graph representation of sessions and pipelines for structured service programming
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
On the effective distribution and maintenance of knowledge represented by complementary graphs
Transactions on Compuational Collective Intelligence VI
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
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
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
Towards certifiable implementation of graph transformation via relation categories
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Graph transformation with focus on incident edges
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Probabilistic graph transformation systems
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
Validating reconfigurations of reo circuits in an e-Banking scenario
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Causality-Based verification of multi-threaded programs
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |