On the public citation graph
Theory and Application of Graph Transformations
0 signed · 110 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.
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.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11564751_74openalex-snapshot
Approximate Constrained Subgraph Matching
inferred← citeshttps://doi.org/10.1007/11603412_3openalex-snapshot
Comparing and Transforming Between Data Models Via an Intermediate Hypergraph Data Model
inferred← citeshttps://doi.org/10.1007/11738817_6openalex-snapshot
Analysis and Design of Physical and Social Contexts in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/11823063_5openalex-snapshot
Validation of Component and Service Federations in Automotive Software Applications
inferred← citeshttps://doi.org/10.1007/3-540-45441-1_19openalex-snapshot
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_17openalex-snapshot
Distributed Graph Transformation Units
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-45931-6_16openalex-snapshot
Conflict Detection and Resolution in Access Control Policy Specifications
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_21openalex-snapshot
Foundations for Software Configuration Management Policies Using Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-031-97274-4_12openalex-snapshot
P Colonies Generating Strings
inferred← citeshttps://doi.org/10.1007/978-3-319-02812-5_17openalex-snapshot
A Visual Logic for the Description of Highway Traffic Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_1openalex-snapshot
ProMoBox: A Framework for Generating Domain-Specific Property Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-12904-4_1openalex-snapshot
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation
inferred← citeshttps://doi.org/10.1007/978-3-540-24639-8_12openalex-snapshot
Seamless UML Support for Service-Based Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_26openalex-snapshot
Tree Transducers and Tree Compressions
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_25openalex-snapshot
Model Based Formal Verification of Distributed Production Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_5openalex-snapshot
An Engineer’s Workstation to Support Integrated Development of Flexible Production Control 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_19openalex-snapshot
Embedding in Switching Classes with Skew Gains
inferred← citeshttps://doi.org/10.1007/978-3-540-31846-0_16openalex-snapshot
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_1openalex-snapshot
On the Concurrent Semantics of Algebraic Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_3openalex-snapshot
Flexible Interconnection of Graph Transformation Modules
inferred← citeshttps://doi.org/10.1007/978-3-540-31959-7_1openalex-snapshot
Behavior-Preserving Refinement Relations Between Dynamic Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_9openalex-snapshot
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_18openalex-snapshot
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_20openalex-snapshot
A Formal Framework for Petri Net Class Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_3openalex-snapshot
Petri Net Transformations in the ≫Petri Net Baukasten≪
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_2openalex-snapshot
Ugo Montanari and Graph Transformation
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-71289-3_16openalex-snapshot
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_28openalex-snapshot
Ensuring Consistency Within Distributed Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71876-5_9openalex-snapshot
Transformations of UML 2 Models Using Concrete Syntax Patterns
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_1openalex-snapshot
A Temporal Graph Logic for Verification of Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74970-7_51openalex-snapshot
Filtering for Subgraph Isomorphism
inferred← citeshttps://doi.org/10.1007/978-3-540-75336-0_5openalex-snapshot
Software of the Future Is the Future of Software?
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_26openalex-snapshot
Verification of Architectural Refactorings by Rule Extraction
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_24openalex-snapshot
Graph Multiset Transformation as a Framework for Massively Parallel Computation
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_43openalex-snapshot
Grammar Morphisms and Weakly Adhesive Categories
inferred← citeshttps://doi.org/10.1007/978-3-540-87875-9_14openalex-snapshot
Detecting Patterns of Poor Design Solutions Using Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_11openalex-snapshot
Programmed Graph Rewriting with DEVS
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_13openalex-snapshot
Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD
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-89020-1_29openalex-snapshot
Modeling Successively Connected Repetitive Subgraphs
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_30openalex-snapshot
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-89812-2_6openalex-snapshot
Combining Two Structured Domains for Modeling Various Graph Matching Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-00434-6_14openalex-snapshot
Transformation Language Integration Based on Profiles and Higher Order Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_4openalex-snapshot
Object Flow Definition for Refined Activity Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_2openalex-snapshot
Model-Based Software Engineering and Process-Aware Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02164-0_11openalex-snapshot
Dependency Management in Smart Homes
inferred← citeshttps://doi.org/10.1007/978-3-642-02408-5_10openalex-snapshot
Solving Constraints in Model Transformations
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-03764-1_6openalex-snapshot
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_9openalex-snapshot
CSP(M): Constraint Satisfaction Problem over Models
inferred← citeshttps://doi.org/10.1007/978-3-642-14600-8_40openalex-snapshot
Diagrammatic Specification of Mobile Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15928-2_3openalex-snapshot
Graph Transformation Units Guided by a SAT Solver
inferred← citeshttps://doi.org/10.1007/978-3-642-16277-0_12openalex-snapshot
12 Fujaba4Eclipse Real-Time Tool Suite
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_10openalex-snapshot
Lessons Learned from Building a Graph Transformation System
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_22openalex-snapshot
Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_24openalex-snapshot
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_25openalex-snapshot
Multi-view Modeling to Support Embedded Systems Engineering in SysML
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-17322-6_7openalex-snapshot
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_12openalex-snapshot
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
inferred← citeshttps://doi.org/10.1007/978-3-642-20877-5_45openalex-snapshot
Switching to Hedgehog-Free Graphs Is NP-Complete
inferred← citeshttps://doi.org/10.1007/978-3-642-24485-8_46openalex-snapshot
Towards a General Composition Semantics for Rule-Based Model Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4_3openalex-snapshot
Ten Years of Analyzing Actors: Rebeca Experience
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-30476-7_15openalex-snapshot
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models
inferred← citeshttps://doi.org/10.1007/978-3-642-30982-3_5openalex-snapshot
Graph Transformations for MDE, Adaptation, and Models at Runtime
inferred← citeshttps://doi.org/10.1007/978-3-642-31555-8_2openalex-snapshot
A Logic for Categorial Grammars: Lambek’s Syntactic Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-34176-2_13openalex-snapshot
Planning Self-adaption with Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-34176-2_18openalex-snapshot
A Case Study Based Comparison of ATL and SDM
inferred← citeshttps://doi.org/10.1007/978-3-642-34176-2_20openalex-snapshot
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations
inferred← citeshttps://doi.org/10.1007/978-3-642-36089-3_8openalex-snapshot
A Framework for Bidirectional Model-to-Platform Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-37635-1_2openalex-snapshot
Behaviour Protection in Modular Rule-Based System Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-38883-5_18openalex-snapshot
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-45435-6_3openalex-snapshot
Development of Self-optimizing Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_12openalex-snapshot
GTS Families for the Flexible Composition of Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/s10270-011-0205-0openalex-snapshot
A modular timed graph transformation language for simulation-based design
inferred← citeshttps://doi.org/10.1007/s10601-009-9074-3openalex-snapshot
Solving subgraph isomorphism problems with constraint programming
inferred← citeshttps://doi.org/10.1016/j.aei.2009.06.010openalex-snapshot
Modeling and visualization of lifecycle building performance assessment
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.045openalex-snapshot
The York Abstract Machine
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.047openalex-snapshot
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.10.002openalex-snapshot
Labelled Port Graph – A Formal Structure for Models and Computations
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.08.014openalex-snapshot
A visual token-based formalization of BPMN 2.0 based on in-place transformations
inferred← citeshttps://doi.org/10.1016/j.jcss.2004.11.002openalex-snapshot
Graph-based specification of access control policies
inferred← citeshttps://doi.org/10.1016/j.jcta.2013.04.003openalex-snapshot
A new operation on partially ordered sets
inferred← citeshttps://doi.org/10.1016/j.jvlc.2004.01.002openalex-snapshot
Definition of visual processes in a language for expressing transitions
inferred← citeshttps://doi.org/10.1016/j.scico.2011.09.004openalex-snapshot
Formal modeling of evolving self-adaptive systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00191-4openalex-snapshot
GETGRATS A summary of scientific results (with annotated bibliography)
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)80940-xopenalex-snapshot
On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82624-6openalex-snapshot
Refactoring: Current Research and Future Trends
inferred← citeshttps://doi.org/10.1145/1527033.1527048openalex-snapshot
Fine-grain transformations to refactor UML models
inferred← citeshttps://doi.org/10.1145/1632149.1632154openalex-snapshot
Composite refactoring using fine-grained transformations
inferred← citeshttps://doi.org/10.1145/3328905.3332464openalex-snapshot
A Modern Approach to Situation Awareness
inferred← citeshttps://doi.org/10.1145/3426425.3426931openalex-snapshot
A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars
inferred← citeshttps://doi.org/10.1201/9781315218731-1openalex-snapshot
DEVS as a Semantic Domain for Programmed Graph Transformation
inferred← citeshttps://doi.org/10.22630/mgv.2018.27.1.1openalex-snapshot
Interpreted Graphs and ETPR(k) Graph Grammar Parsing for Syntactic Pattern Recognition
inferred← citeshttps://doi.org/10.3182/20130619-3-ru-3018.00391openalex-snapshot
Possibilities and challenges of an integrated development using a combined SysML-model and corresponding domain specific models
inferred← citeshttps://doi.org/10.3217/jucs-010-04-0428openalex-snapshot
Two Experiences in Software Dynamics
inferred← citeshttps://doi.org/10.3390/software2020010openalex-snapshot
Analysing and Transforming Graph Structures: The Graph Transformation Framework
inferred← citeshttps://doi.org/10.3990/1.9789036530415openalex-snapshot
Graph-based specification and verification for aspect-oriented languages
inferred← citeshttps://doi.org/10.4018/978-1-59140-527-6.ch002openalex-snapshot
Rule-Based Transformation of Graphs and the Product Type
inferred← citeshttps://doi.org/10.5381/jot.2009.8.6.a3openalex-snapshot
Classification of model refactoring approaches.
inferred← citeshttps://doi.org/10.5555/1929101.1929109openalex-snapshot
Concern-based (de)composition of model-driven software development processes
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.