On the public citation graph

Handbook of Graph Grammars and Computing by Graph Transformation

https://doi.org/10.1142/4181
0 signed · 234 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/jcss.2001.1790openalex-snapshot
Hierarchical Graph Transformation
inferred← citeshttps://doi.org/10.1006/jcss.2001.1800openalex-snapshot
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/11560333_7openalex-snapshot
Model-Based Optimization of Enterprise Application and Service Deployment
inferred← citeshttps://doi.org/10.1007/11563228_9openalex-snapshot
A Formal Model for Fault-Tolerance in Distributed Systems
inferred← citeshttps://doi.org/10.1007/11758532_116openalex-snapshot
Supporting Software Agents by the Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/11773887_22openalex-snapshot
A Local Self-stabilizing Enumeration Algorithm
inferred← citeshttps://doi.org/10.1007/11777830_12openalex-snapshot
Dependability Evaluation of Web Service-Based Processes
inferred← citeshttps://doi.org/10.1007/11841883_15openalex-snapshot
Graph Transactions as Processes
inferred← citeshttps://doi.org/10.1007/11841883_18openalex-snapshot
Autonomous Units and Their Semantics — The Sequential Case
inferred← citeshttps://doi.org/10.1007/11841883_35openalex-snapshot
Workshop on Petri Nets and Graph Transformations
inferred← citeshttps://doi.org/10.1007/11947950_33openalex-snapshot
Efficient Distributed Handshake Using Mobile Agents
inferred← citeshttps://doi.org/10.1007/3-540-40011-7_23openalex-snapshot
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_30openalex-snapshot
A General Framework for Types in Graph Rewriting
inferred← citeshttps://doi.org/10.1007/3-540-44564-1_7openalex-snapshot
Agent-Oriented Modeling with Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_26openalex-snapshot
A Static Analysis Technique for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_9openalex-snapshot
Synchronized Hyperedge Replacement with Name Mobility
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_12openalex-snapshot
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_9openalex-snapshot
Strengthening UML Collaboration Diagrams by State Transformations
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_7openalex-snapshot
Observational Equivalence for Synchronized Graph Rewriting with Mobility
inferred← citeshttps://doi.org/10.1007/3-540-45711-9openalex-snapshot
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_11openalex-snapshot
Bisimulation Equivalences for Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_9openalex-snapshot
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_12openalex-snapshot
Relabelling in Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_30openalex-snapshot
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_4openalex-snapshot
Approximating the Behaviour of Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_16openalex-snapshot
Conflict Detection and Resolution in Access Control Policy Specifications
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_7openalex-snapshot
Hierarchical Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_2openalex-snapshot
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-0-387-69900-4_5openalex-snapshot
Ontology Evolution
inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_6openalex-snapshot
System Assurance in the Design of Resilient Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-58861-8_20openalex-snapshot
Transforming UML Diagrams to YAWL Models for Business Processes Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-63595-4_1openalex-snapshot
Combining Parallel Graph Rewriting and Quotient Graphs
inferred← citeshttps://doi.org/10.1007/978-3-030-73785-6_5openalex-snapshot
Parallel Coherent Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-030-81885-2_7openalex-snapshot
Graph Isomorphism
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_7openalex-snapshot
A Strict Constrained Superposition Calculus for Graphs
inferred← citeshttps://doi.org/10.1007/978-3-031-36709-0_15openalex-snapshot
A Living Monograph for Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-032-30839-9_14openalex-snapshot
A Graph Rewriting-Based Semantics and Implementation for $$\rho \pi $$
inferred← citeshttps://doi.org/10.1007/978-3-319-16766-4_15openalex-snapshot
Graph-Transformational Swarms with Stationary Members
inferred← citeshttps://doi.org/10.1007/978-3-319-21145-9_3openalex-snapshot
AGREE – Algebraic Graph Rewriting with Controlled Embedding
inferred← citeshttps://doi.org/10.1007/978-3-319-39384-1_40openalex-snapshot
On Cooperation in Multi-agent System, Based on Heterogeneous Knowledge Representation
inferred← citeshttps://doi.org/10.1007/978-3-319-45994-3_13openalex-snapshot
Insertion-Deletion Systems over Relational Words
inferred← citeshttps://doi.org/10.1007/978-3-319-61470-0_12openalex-snapshot
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
inferred← citeshttps://doi.org/10.1007/978-3-319-74730-9_2openalex-snapshot
Introduction of an OpenCL-Based Model Transformation Engine
inferred← citeshttps://doi.org/10.1007/978-3-319-75396-6_4openalex-snapshot
A Simple Notion of Parallel Graph Transformation and Its Perspectives
inferred← citeshttps://doi.org/10.1007/978-3-319-75396-6_5openalex-snapshot
A Tutorial on Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-76348-4_72openalex-snapshot
Algorithms for Finding Maximal and Maximum Cliques: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-79108-1_1openalex-snapshot
Introduction to Bidirectional Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-25959-6_26openalex-snapshot
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_14openalex-snapshot
Graph Grammars and Petri Net Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_6openalex-snapshot
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-30187-5_21openalex-snapshot
Generic and Meta-transformations for Model Transformation Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_10openalex-snapshot
Typing of Graph Transformation Units
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_12openalex-snapshot
Adhesive High-Level Replacement Categories and Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_13openalex-snapshot
Fundamental Theory for Typed Attributed Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_14openalex-snapshot
Parallel Independence in Hierarchical Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_17openalex-snapshot
Model Checking Graph Transformations: A Comparison of Two Approaches
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_27openalex-snapshot
Translating Java Code to Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_30openalex-snapshot
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_8openalex-snapshot
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_7openalex-snapshot
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_2openalex-snapshot
Towards Object-Oriented Graphs and Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_17openalex-snapshot
Approach-Independent Structuring Concepts for Rule-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_14openalex-snapshot
A Framework for NLC and ESM: Local Action Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-47450-0_17openalex-snapshot
Autonomy in Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-47450-0_8openalex-snapshot
Autonomous Units: Basic Concepts and Semantic Foundation
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_3openalex-snapshot
Unfolding Graph Transformation Systems: Theory and Applications to Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_5openalex-snapshot
Graph Transformation Units – An Overview
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_9openalex-snapshot
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
inferred← citeshttps://doi.org/10.1007/978-3-540-69389-5_72openalex-snapshot
GRADIS – Multiagent Environment Supporting Distributed Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-69731-2_115openalex-snapshot
Distributed Graphs Transformed by Multiagent System
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_5openalex-snapshot
Analysis of UML Activities Using Dynamic Meta Modeling
inferred← citeshttps://doi.org/10.1007/978-3-540-75414-5_8openalex-snapshot
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-77444-0_28openalex-snapshot
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_28openalex-snapshot
An Algebraic Semantics for MOF
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_6openalex-snapshot
Translating Model Simulators to Analysis Models
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_2openalex-snapshot
Discovery, Verification and Conformance of Workflows with Cancellation
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_34openalex-snapshot
Workshop on Petri Nets and Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_7openalex-snapshot
Inductively Sequential Term-Graph Rewrite Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_19openalex-snapshot
Visualization, Simulation and Analysis of Reconfigurable Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_20openalex-snapshot
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_21openalex-snapshot
Efficient Graph Matching with Application to Cognitive Automation
inferred← citeshttps://doi.org/10.1007/978-3-540-92295-7_26openalex-snapshot
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-01112-2_33openalex-snapshot
Lost in Translation? Transformation Nets to the Rescue!
inferred← citeshttps://doi.org/10.1007/978-3-642-01648-6_17openalex-snapshot
Model Transformations for Performability Analysis of Service Configurations
inferred← citeshttps://doi.org/10.1007/978-3-642-02408-5_3openalex-snapshot
Efficient Model Transformations by Combining Pattern Matching Strategies
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_26openalex-snapshot
Change-Driven Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-04617-9_26openalex-snapshot
An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-642-12029-9_10openalex-snapshot
Formal Analysis and Verification of Self-Healing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12029-9_9openalex-snapshot
Incremental Service Composition Based on Partial Matching of Visual Contracts
inferred← citeshttps://doi.org/10.1007/978-3-642-15461-4_1openalex-snapshot
A Graph-Based Developmental Swarm Representation and Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-15928-2_2openalex-snapshot
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6openalex-snapshot
Graph Transformations and Model-Driven Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_11openalex-snapshot
Workflow-Driven Tool Integration Using Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_2openalex-snapshot
The Edge of Graph Transformation — Graphs for Behavioural Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_6openalex-snapshot
Autonomous Units and Their Semantics – The Concurrent Case
inferred← citeshttps://doi.org/10.1007/978-3-642-19400-9_22openalex-snapshot
Deep Semantics for Dependency Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-20267-4_27openalex-snapshot
Parallel Graph Transformations Supported by Replicated Complementary Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_11openalex-snapshot
An Institution for Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-30870-3_19openalex-snapshot
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization
inferred← citeshttps://doi.org/10.1007/978-3-642-33654-6_11openalex-snapshot
Graph Transformation with Focus on Incident Edges
inferred← citeshttps://doi.org/10.1007/978-3-642-33654-6_15openalex-snapshot
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-33654-6_30openalex-snapshot
Verification of Graph Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-54804-8_22openalex-snapshot
Transformation of Attributed Structures with Cloning
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_7openalex-snapshot
Automated Model Merge by Design Space Exploration
inferred← citeshttps://doi.org/10.1007/b106390openalex-snapshot
Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
inferred← citeshttps://doi.org/10.1007/bf03194256openalex-snapshot
Formal Specification and Verification of Real-Time Systems using Graph Grammars
inferred← citeshttps://doi.org/10.1007/s00165-009-0140-9openalex-snapshot
An algebraic semantics for MOF
inferred← citeshttps://doi.org/10.1007/s00236-005-0180-4openalex-snapshot
A general framework for types in graph rewriting
inferred← citeshttps://doi.org/10.1007/s00450-019-00416-7openalex-snapshot
Pattern-based rewrite and refinement of architectures using graph theory
inferred← citeshttps://doi.org/10.1007/s10270-008-0101-4openalex-snapshot
Towards an integrated graph-based semantics for UML
inferred← citeshttps://doi.org/10.1007/s10270-013-0380-2openalex-snapshot
Converting metamodels to graph grammars: doing without advanced graph grammar features
inferred← citeshttps://doi.org/10.1007/s10270-014-0436-yopenalex-snapshot
Query-driven soft traceability links for models
inferred← citeshttps://doi.org/10.1007/s10270-022-00991-5openalex-snapshot
Checking security compliance between models and code
inferred← citeshttps://doi.org/10.1007/s10458-009-9090-0openalex-snapshot
Mobile agent systems and cellular automata
inferred← citeshttps://doi.org/10.1007/s10462-020-09881-yopenalex-snapshot
Using memetic algorithm for robustness testing of contract-based software models
inferred← citeshttps://doi.org/10.1007/s11042-021-11076-8openalex-snapshot
A general parsing algorithm with context matching for context-sensitive graph grammars
inferred← citeshttps://doi.org/10.1016/j.apal.2003.11.002openalex-snapshot
Algorithmic uses of the Feferman–Vaught Theorem
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.057openalex-snapshot
Graph Transformation with Incremental Updates
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.08.048openalex-snapshot
Termination of High-Level Replacement Units with Application to Model Transformation
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.10.025openalex-snapshot
From UML Models to Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.030openalex-snapshot
A New Version of GTXL : An Exchange Format for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.016openalex-snapshot
Transformations of Petri Nets
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.011openalex-snapshot
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.027openalex-snapshot
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.028openalex-snapshot
Modelling Calculi with Name Mobility using Graphs with Equivalences
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.04.017openalex-snapshot
Verification of Random Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.028openalex-snapshot
Undecidable Control Conditions in Graph Transformation Units
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.030openalex-snapshot
Term-graph Rewriting in Tom Using Relative Positions
inferred← citeshttps://doi.org/10.1016/j.future.2020.03.003openalex-snapshot
Modeling and Proving Distributed Algorithms for Dynamic Graphs
inferred← citeshttps://doi.org/10.1016/j.ic.2008.04.002openalex-snapshot
A framework for the verification of infinite-state graph transformation systems
inferred← citeshttps://doi.org/10.1016/j.ic.2008.10.005openalex-snapshot
Synthesising CCS bisimulation using graph rewriting
inferred← citeshttps://doi.org/10.1016/j.jvlc.2005.07.001openalex-snapshot
High-level replacement units and their termination properties
inferred← citeshttps://doi.org/10.1016/j.jvlc.2005.11.001openalex-snapshot
On translating UML models into graph transformation systems
inferred← citeshttps://doi.org/10.1016/j.scico.2011.03.010openalex-snapshot
Correct transformation: From object-based graph grammars to PROMELA
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102728openalex-snapshot
Topological consistency preservation with graph transformation schemes
inferred← citeshttps://doi.org/10.1016/j.simpat.2010.05.013openalex-snapshot
GRADIS – The multiagent environment supported by graph transformations
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.019openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.034openalex-snapshot
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00037-0openalex-snapshot
Concepts and realization of a diagram editor generator based on hypergraph transformation
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00040-0openalex-snapshot
Formal agent-oriented modeling with UML and graph transformation
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80204-4openalex-snapshot
A graph-based approach to the compositional specification of distributed systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80207-xopenalex-snapshot
Parameterized Transformation Units
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80211-1openalex-snapshot
An Abstract Module Concept for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80212-3openalex-snapshot
Visual Modeling of Distributed Object Systems by Graph Transformation
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80608-xopenalex-snapshot
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80609-1openalex-snapshot
Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80626-1openalex-snapshot
Coordinated Distributed Diagram Transformation for Software Evolution1 1Partially supported by the EC under Research and Training Network SeGraVis.
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80944-7openalex-snapshot
Specifying and Implementing Visual Process Modeling Languages with DiaGen1 1Support by the Esprit Working Group AppliGraph is gratefully acknowledged.
inferred← citeshttps://doi.org/10.1017/s0960129501003425openalex-snapshot
Double-pushout graph transformation revisited
inferred← citeshttps://doi.org/10.1017/s0960129512000357openalex-snapshot
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
inferred← citeshttps://doi.org/10.1017/s0960129522000226openalex-snapshot
Preserving consistency in geometric modeling with graph transformations
inferred← citeshttps://doi.org/10.1017/s147106840600281xopenalex-snapshot
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
inferred← citeshttps://doi.org/10.1021/acs.jced.9b00739openalex-snapshot
Semantic Interoperability and Characterization of Data Provenance in Computational Molecular Engineering
inferred← citeshttps://doi.org/10.1049/iet-sen:20070033openalex-snapshot
Conflict-aware schedule of software refactorings
inferred← citeshttps://doi.org/10.1051/ita:2005028openalex-snapshot
Adhesive and quasiadhesive categories
inferred← citeshttps://doi.org/10.1080/17445760.2012.668546openalex-snapshot
Time-varying graphs and dynamic networks
inferred← citeshttps://doi.org/10.1109/aiccsa.2008.4493575openalex-snapshot
Electing a leader in the local computation model using mobile agents
inferred← citeshttps://doi.org/10.1109/ase.2013.6693141openalex-snapshot
Tool support for automatic model transformation specification using concrete visualisations
inferred← citeshttps://doi.org/10.1109/cacsd-cca-isic.2006.4776626openalex-snapshot
Multi-domain physical system modeling and control based on meta-modeling and graph rewriting
inferred← citeshttps://doi.org/10.1109/cluster.2015.33openalex-snapshot
Ensuring Data Durability with Increasingly Interdependent Content
inferred← citeshttps://doi.org/10.1109/csmr.2002.995788openalex-snapshot
A history concept for design recovery tools
inferred← citeshttps://doi.org/10.1109/icccyb.2004.1437669openalex-snapshot
Designing the fuzzy adaptive cache swapper for MDVM system
inferred← citeshttps://doi.org/10.1109/icctd.2009.164openalex-snapshot
Towards Automated Software Verification and Validation
inferred← citeshttps://doi.org/10.1109/icctd.2009.170openalex-snapshot
Automatic Refinement of Platform Independent Models
inferred← citeshttps://doi.org/10.1109/icmcs.2014.6911322openalex-snapshot
Towards a semi automatic assessment of UML diagrams by graph transformation
inferred← citeshttps://doi.org/10.1109/icsess.2011.5982296openalex-snapshot
Automated method for verification of Stochastic Graph Transformation Systems
inferred← citeshttps://doi.org/10.1109/icst.2010.31openalex-snapshot
Specification of UML Model Transformations
inferred← citeshttps://doi.org/10.1109/iscc.2009.5202298openalex-snapshot
Transforming UML models to colored petri nets models using graph grammars
inferred← citeshttps://doi.org/10.1109/isiict.2018.8613723openalex-snapshot
Generating Maude Specifications from UML Interaction Overview Diagrams: A Graph Transformation Based Approach
inferred← citeshttps://doi.org/10.1109/ispdc.2008.35openalex-snapshot
Derivation Control Environment as a Tool for an Efficient Distributed Graph Transformations Coordination
inferred← citeshttps://doi.org/10.1109/models.2019.00-18openalex-snapshot
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings
inferred← citeshttps://doi.org/10.1109/seefm.2009.20openalex-snapshot
From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises
inferred← citeshttps://doi.org/10.1109/snpd.2015.7176258openalex-snapshot
A method of safe and efficient editing in tabular forms using a descriptive grammar of semantic structures
inferred← citeshttps://doi.org/10.1109/tla.2006.1642458openalex-snapshot
Generation of Advanced Modelling Environments by Means of Graph Transformation Techniques
inferred← citeshttps://doi.org/10.1109/tse.2014.2360690openalex-snapshot
Exploiting Model Morphology for Event-Based Testing
inferred← citeshttps://doi.org/10.1109/vlhcc.2005.6openalex-snapshot
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
inferred← citeshttps://doi.org/10.1109/vlhcc.2008.4639089openalex-snapshot
Design-time simulation of domain-specific models by incremental pattern matching
inferred← citeshttps://doi.org/10.1109/vlhcc.2011.6070373openalex-snapshot
Quick fix generation for DSMLs
inferred← citeshttps://doi.org/10.1109/weit.2011.33openalex-snapshot
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars
inferred← citeshttps://doi.org/10.1109/wicsa.2015.20openalex-snapshot
A Conversation Based Approach for Modeling REST APIs
inferred← citeshttps://doi.org/10.1145/1072997.1073000openalex-snapshot
Toward an engineering discipline for grammarware
inferred← citeshttps://doi.org/10.1145/1165734.1165739openalex-snapshot
Spatial graph grammars for graphical user interfaces
inferred← citeshttps://doi.org/10.1145/2384616.2384644openalex-snapshot
Elixir
inferred← citeshttps://doi.org/10.1145/3102071.3102079openalex-snapshot
Graph grammar-based controllable generation of puzzles for a learning game about parallel programming
inferred← citeshttps://doi.org/10.1145/333580.333588openalex-snapshot
Graphical represenation and graph transformation
inferred← citeshttps://doi.org/10.1145/3561320.3561325openalex-snapshot
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation
inferred← citeshttps://doi.org/10.1155/2009/852392openalex-snapshot
Procedural Modeling for Digital Cultural Heritage
inferred← citeshttps://doi.org/10.14279/depositonce-10242openalex-snapshot
Enterprise Modelling using Algebraic Graph Transformation - Extended Version
inferred← citeshttps://doi.org/10.14279/depositonce-1090openalex-snapshot
Visual Modelling and Validation of Distributed Systems
inferred← citeshttps://doi.org/10.14279/depositonce-1420openalex-snapshot
Formal Specification and Rule-Based Refinement of Software Components
inferred← citeshttps://doi.org/10.14279/depositonce-2032openalex-snapshot
Behavioral Congruences and Verification of Graph Transformation Systems with Applications to Model Refactoring
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.26.353openalex-snapshot
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.26.355openalex-snapshot
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.26.357openalex-snapshot
Assemblies as Graph Processes
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.26.363openalex-snapshot
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.30.404openalex-snapshot
Expressiveness of graph conditions with variables
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.30.423openalex-snapshot
Graph Modelling and Transformation: Theory meets Practice
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.73.1035openalex-snapshot
Composition of M,N-adhesive Categories with Application to Attribution of Graphs
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.8.112.112openalex-snapshot
Refactoring of UML models using AGG
inferred← citeshttps://doi.org/10.15439/2014f352openalex-snapshot
Exploratory Equivalence in Graphs: Definition and Algorithms
showing the first 200 of 234 · page through all 234
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.