On the public citation graph

Handbook of Graph Grammars and Computing by Graph Transformation

https://doi.org/10.1142/3303
0 signed · 678 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.1002/(sici)1097-024x(199903)29:3<197::aid-spe228>3.0.co;2-fopenalex-snapshot
Computing with graphs and graph transformations
inferred← citeshttps://doi.org/10.1002/9780470050118.ecse406openalex-snapshot
Visual Software Engineering
inferred← citeshttps://doi.org/10.1002/9781118554609.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1002/9781119428589.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1002/advs.202101864openalex-snapshot
Polygrammar: Grammar for Digital Polymer Representation and Generation
inferred← citeshttps://doi.org/10.1002/best.70147openalex-snapshot
Development of a Consistent Digital Process Chain from an Adaptable Modular Bridge Design to Intelligent Additive Manufacturing Utilizing Cyber‐Physical Systems
inferred← citeshttps://doi.org/10.1002/joc.4712openalex-snapshot
Potential stabilizing points to mitigate tipping point interactions in Earth's climate
inferred← citeshttps://doi.org/10.1002/qre.70052openalex-snapshot
An Innovative Heuristic to Detect Special States in Concurrent Software Systems
inferred← citeshttps://doi.org/10.1006/cviu.1996.0041openalex-snapshot
Image Analysis and Computer Vision: 1995
inferred← citeshttps://doi.org/10.1006/cviu.1998.0697openalex-snapshot
Image Analysis and Computer Vision: 1997
inferred← citeshttps://doi.org/10.1006/inco.1998.2736openalex-snapshot
The Generating Power of Total Deterministic Tree Transducers
inferred← citeshttps://doi.org/10.1007/0-387-22874-8_5openalex-snapshot
Conceptual Modeling of Styles for Mobile Systems
inferred← citeshttps://doi.org/10.1007/1-4020-3304-4_9openalex-snapshot
Transformational Development of User Interfaces with Graph Transformations
inferred← citeshttps://doi.org/10.1007/1-4020-4179-9_96openalex-snapshot
ON USING GRAPHGRAMMARSAND ARTIFICIAL EVOLUTION TOSIMULATE AND VISUALIZE THE GROWTH PROCESS OF PLANTS
inferred← citeshttps://doi.org/10.1007/11431879_12openalex-snapshot
USIXML: A Language Supporting Multi-path Development of User Interfaces
inferred← citeshttps://doi.org/10.1007/11531371_64openalex-snapshot
From Web Requirements to Navigational Design – A Transformational Approach
inferred← citeshttps://doi.org/10.1007/11560647_4openalex-snapshot
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
inferred← citeshttps://doi.org/10.1007/11568322_21openalex-snapshot
Transforming Web Requirements into Navigational Models: AN MDA Based Approach
inferred← citeshttps://doi.org/10.1007/11572329_9openalex-snapshot
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars
inferred← citeshttps://doi.org/10.1007/11573036_37openalex-snapshot
Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps
inferred← citeshttps://doi.org/10.1007/11690634_9openalex-snapshot
Distributed Unfolding of Petri Nets
inferred← citeshttps://doi.org/10.1007/11691372_13openalex-snapshot
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/11691617_19openalex-snapshot
Model Checking Dynamic States in GROOVE
inferred← citeshttps://doi.org/10.1007/11693017_5openalex-snapshot
Engineering Self-protection for Autonomous Systems
inferred← citeshttps://doi.org/10.1007/11768869_15openalex-snapshot
Defining Object-Oriented Execution Semantics Using Graph Transformations
inferred← citeshttps://doi.org/10.1007/11817949_20openalex-snapshot
Event Structure Semantics for Nominal Calculi
inferred← citeshttps://doi.org/10.1007/11841883_17openalex-snapshot
Dynamic Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/11841883_18openalex-snapshot
Autonomous Units and Their Semantics — The Sequential Case
inferred← citeshttps://doi.org/10.1007/11841883_27openalex-snapshot
GrGen: A Fast SPO-Based Graph Rewriting Tool
inferred← citeshttps://doi.org/10.1007/11966104_17openalex-snapshot
Architecture Transformation and Refinement for Model-Driven Adaptability Management: Application to QoS Provisioning in Group Communication
inferred← citeshttps://doi.org/10.1007/3-540-32390-2_104openalex-snapshot
Representation of Structures and Changes in 3D Objects with Graph Grammars and Artificial Evolution
inferred← citeshttps://doi.org/10.1007/3-540-32539-5_63openalex-snapshot
Modelling Transport Networks by Means of Autonomous Units
inferred← citeshttps://doi.org/10.1007/3-540-36189-8_21openalex-snapshot
Discovering Services: Towards High-Precision Service Retrieval
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_13openalex-snapshot
Model-Based Development of Web Applications Using Graphical Reaction Rules
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_20openalex-snapshot
Visual Specifications of Policies and Their Verification
inferred← citeshttps://doi.org/10.1007/3-540-40011-7_27openalex-snapshot
Consistent Behaviour Representation in Activity and Sequence Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_15openalex-snapshot
The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite
inferred← citeshttps://doi.org/10.1007/3-540-44522-6_14openalex-snapshot
Syntactic Pattern Recognition by Error Correcting Analysis on Tree Automata
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-44612-5_49openalex-snapshot
Automatic Graphs and Graph D0L-Systems
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-44992-2_8openalex-snapshot
Graph replacement chemistry for DNA processing
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-45104-8_13openalex-snapshot
Using Fujaba for the Development of Production Control Systems
inferred← citeshttps://doi.org/10.1007/3-540-45104-8_5openalex-snapshot
On a Uniform Representation of Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-45263-x_10openalex-snapshot
Reconfiguration of Software Architecture Styles with Name Mobility
inferred← citeshttps://doi.org/10.1007/3-540-45315-6_19openalex-snapshot
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
inferred← citeshttps://doi.org/10.1007/3-540-45612-0_4openalex-snapshot
Beyond the Plan-Length Criterion
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_10openalex-snapshot
Local Action Systems and DPO Graph Transformation
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-45740-2_2openalex-snapshot
The Flux of Interaction
inferred← citeshttps://doi.org/10.1007/3-540-45746-1_3openalex-snapshot
Structural Constraint Satisfaction
inferred← citeshttps://doi.org/10.1007/3-540-45800-x_3openalex-snapshot
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models
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_15openalex-snapshot
Abstraction and Control for Shapely Nested Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_18openalex-snapshot
Describing Policies with Graph Constraints and Rules
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_20openalex-snapshot
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_27openalex-snapshot
GraCAD – Graph-Based Tool for Conceptual Design
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_28openalex-snapshot
A Formal Semantics of UML Statecharts by Model Transition Systems
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-45868-9_10openalex-snapshot
An Error-Correction Graph Grammar to Recognize Texture Symbols
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-46020-9_12openalex-snapshot
Model Reuse with Metamodel-Based Transformations
inferred← citeshttps://doi.org/10.1007/3-540-46029-2_10openalex-snapshot
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_7openalex-snapshot
Hierarchical Graph Transformation
inferred← citeshttps://doi.org/10.1007/3-540-48005-6_9openalex-snapshot
Towards High-Precision Service Retrieval
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_7openalex-snapshot
An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_9openalex-snapshot
Parallel Admissible Graph Rewriting
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_36openalex-snapshot
An inductive view of graph transformation
inferred← citeshttps://doi.org/10.1007/978-0-387-30440-3_528openalex-snapshot
Structurally Dynamic Cellular Automata
inferred← citeshttps://doi.org/10.1007/978-0-387-84839-6_36openalex-snapshot
Towards these of Models for Autonomic Network Management
inferred← citeshttps://doi.org/10.1007/978-1-4020-5131-9_11openalex-snapshot
DESIGN OPERATORS TO SUPPORT ORGANISATIONAL DESIGN
inferred← citeshttps://doi.org/10.1007/978-1-4020-8157-6_36openalex-snapshot
Multimodality and Context-Aware Adaptation
inferred← citeshttps://doi.org/10.1007/978-1-4419-6045-0_4openalex-snapshot
Query Language and Access Methods for Graph Databases
inferred← citeshttps://doi.org/10.1007/978-1-4471-0109-3_23openalex-snapshot
Intelligent Diagrammatic Interfaces: State of the Art
inferred← citeshttps://doi.org/10.1007/978-1-4614-0508-5_14openalex-snapshot
Generating a Virtual Computational Grid by Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-1-4615-0457-3_1openalex-snapshot
Graph Grammars for Visual Programming
inferred← citeshttps://doi.org/10.1007/978-1-4939-9102-0_3openalex-snapshot
Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy
inferred← citeshttps://doi.org/10.1007/978-1-84800-907-3_6openalex-snapshot
Multipath Transformational Development of User Interfaces with Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-030-05363-5_38openalex-snapshot
Style-Oriented Evolutionary Design of Architectural Forms Directed by Aesthetic Measure
inferred← citeshttps://doi.org/10.1007/978-3-030-05363-5_5openalex-snapshot
A Comparison of Tree Search Methods for Graph Topology Design Problems
inferred← citeshttps://doi.org/10.1007/978-3-030-12988-0_10openalex-snapshot
Model Transformation with Triple Graph Grammars and Non-terminal Symbols
inferred← citeshttps://doi.org/10.1007/978-3-030-23611-3_1openalex-snapshot
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-030-60816-3_9openalex-snapshot
Textual Representation of Pushout Transformation Rules
inferred← citeshttps://doi.org/10.1007/978-3-030-61401-0_37openalex-snapshot
Automatic Story Generation Based on Graph Model Using Godot Engine
inferred← citeshttps://doi.org/10.1007/978-3-030-73689-7_93openalex-snapshot
Transformation of PrivUML into XACML Using QVT
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-77961-0_47openalex-snapshot
Estimation of Road Lighting Power Efficiency Using Graph-Controlled Spatial Data Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-030-78946-6_16openalex-snapshot
GrapePress - A Computational Notebook for Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-030-78946-6_9openalex-snapshot
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars
inferred← citeshttps://doi.org/10.1007/978-3-030-81885-2_7openalex-snapshot
Graph Isomorphism
inferred← citeshttps://doi.org/10.1007/978-3-030-88207-5_21openalex-snapshot
Designing Plots for Multiplayer Games with the Use of Graph Transformation Rules
inferred← citeshttps://doi.org/10.1007/978-3-030-92435-5_5openalex-snapshot
Intent-Based Adaptation Coordination of Highly Decentralized Networked Self-adaptive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-93547-4_24openalex-snapshot
Conceptualization of Modelling Methods in the Context of Categorical Mechanisms
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_14openalex-snapshot
Implementing the $$\lambda _{GT}$$ Language: A Functional Language with Graphs as First-Class Data
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-031-36709-0_9openalex-snapshot
A Rule-Based Procedure for Graph Query Solving
inferred← citeshttps://doi.org/10.1007/978-3-031-39764-6_14openalex-snapshot
Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-43815-8_19openalex-snapshot
Visual Design with Representation of Patterns Using Composition Graphs
inferred← citeshttps://doi.org/10.1007/978-3-031-61657-0_2openalex-snapshot
MBCO: The Materials-Based Business Case Ontology from BPMN-EMMO Integration
inferred← citeshttps://doi.org/10.1007/978-3-031-63742-1_1openalex-snapshot
Bonding Grammars
inferred← citeshttps://doi.org/10.1007/978-3-032-03711-4_13openalex-snapshot
Using Frequent Subgraph Mining in Flat Layout Quality Classification
inferred← citeshttps://doi.org/10.1007/978-3-032-29730-3_9openalex-snapshot
From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-02654-1_1openalex-snapshot
Dark Knowledge and Graph Grammars in Automated Software Design
inferred← citeshttps://doi.org/10.1007/978-3-319-03050-0_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-319-03841-4_10openalex-snapshot
Recognizing Outer 1-Planar Graphs in Linear Time
inferred← citeshttps://doi.org/10.1007/978-3-319-08311-7_4openalex-snapshot
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_54openalex-snapshot
Causal Termination of Multi-threaded Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-08915-7_2openalex-snapshot
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
inferred← citeshttps://doi.org/10.1007/978-3-319-09108-2_16openalex-snapshot
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-19369-4_66openalex-snapshot
Using Graph Grammar Systems with Memory in Computer Aided Design
inferred← citeshttps://doi.org/10.1007/978-3-319-19369-4_68openalex-snapshot
Using Co-occurring Graph Patterns in Computer Aided Design Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-21145-9_17openalex-snapshot
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-21145-9_9openalex-snapshot
Equational Reasoning with Context-Free Families of String Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-21155-8_15openalex-snapshot
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-28114-8_7openalex-snapshot
Use Case Analysis Based on Formal Methods: An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_14openalex-snapshot
Configuration Logics: Modelling Architecture Styles
inferred← citeshttps://doi.org/10.1007/978-3-319-33921-4_15openalex-snapshot
Modeling DNA Nanodevices Using Graph Rewrite Systems
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-45117-6_40openalex-snapshot
Decentralized Routing of Automated Guided Vehicles by Means of Graph-Transformational Swarms
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-53088-8_9openalex-snapshot
Procedural Adventure Generation: The Quest of Meeting Shifting Design Goals with Flexible Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-57666-4_1openalex-snapshot
Formal Models and Analysis for Self-adaptive Cyber-physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-60170-0_15openalex-snapshot
A Transducing System Between Hichart and XC on a Visual Software Development Environment
inferred← citeshttps://doi.org/10.1007/978-3-319-61470-0_13openalex-snapshot
GRAPE – A Graph Rewriting and Persistence Engine
inferred← citeshttps://doi.org/10.1007/978-3-319-61482-3_7openalex-snapshot
cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-70287-2_10openalex-snapshot
A Semiotic-Conceptual Analysis of Conceptual Development in Learning Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-70848-5_5openalex-snapshot
Graph Grammar Extraction from Source Code
inferred← citeshttps://doi.org/10.1007/978-3-319-74730-9_9openalex-snapshot
Loose Graph Simulations
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_9openalex-snapshot
The Verigraph System for Graph Transformation
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-319-89363-1_1openalex-snapshot
A Formal Framework for Incremental Model Slicing
inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_12openalex-snapshot
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_20openalex-snapshot
Adhesive Categories
inferred← citeshttps://doi.org/10.1007/978-3-540-25959-6_23openalex-snapshot
Local Specification of Surface Subdivision Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-540-25959-6_40openalex-snapshot
The GROOVE Simulator: A Tool for State Space Generation
inferred← citeshttps://doi.org/10.1007/978-3-540-25959-6_6openalex-snapshot
On Graphs in Conceptual Engineering Design
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_16openalex-snapshot
Model-Based Development of Executable Business Processes for Web Services
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_14openalex-snapshot
Parallel Independence in Hierarchical Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_23openalex-snapshot
Representing First-Order Logic Using Graphs
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_28openalex-snapshot
Extending Graph Rewriting for Refactoring
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-30203-2_7openalex-snapshot
Analysis of Metabolic Pathways by Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-30500-2_23openalex-snapshot
Stochastic Context-Free Graph Grammars for Glycoprotein Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_6openalex-snapshot
Graph Transformation with Variables
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_7openalex-snapshot
Graph Transformation in Molecular Biology
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-31959-7_1openalex-snapshot
Behavior-Preserving Refinement Relations Between Dynamic Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_5openalex-snapshot
Termination Criteria for Model Transformation
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-31988-7_3openalex-snapshot
Graph Transformation in Document Image Analysis: Approaches and Challenges
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_18openalex-snapshot
Verification of Distributed Object-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_4openalex-snapshot
Term Graph Rewriting for the π-Calculus
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-40020-2_9openalex-snapshot
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_21openalex-snapshot
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_22openalex-snapshot
A Fully Abstract Model for Graph-Interpreted Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_7openalex-snapshot
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
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_5openalex-snapshot
Graph Transformation Units – An Overview
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_8openalex-snapshot
Explicit State Model Checking for Graph Grammars
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-69149-5_57openalex-snapshot
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-70575-8_1openalex-snapshot
Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
inferred← citeshttps://doi.org/10.1007/978-3-540-71156-8_14openalex-snapshot
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems
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_29openalex-snapshot
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_7openalex-snapshot
Incremental Resolution of Model Inconsistencies
inferred← citeshttps://doi.org/10.1007/978-3-540-72586-2_123openalex-snapshot
Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_9openalex-snapshot
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73597-7_19openalex-snapshot
Improving Communication in Requirements Engineering Activities for Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-73597-7_22openalex-snapshot
A Transformation-Driven Approach to the Verification of Security Policies in Web Designs
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_3openalex-snapshot
Deriving Bisimulation Congruences with Borrowed Contexts
inferred← citeshttps://doi.org/10.1007/978-3-540-75175-5_33openalex-snapshot
Using Graph Mining Methods in Searching for Frequent Patterns in Graph-Based Design Representation
inferred← citeshttps://doi.org/10.1007/978-3-540-75209-7_11openalex-snapshot
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis
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-76862-3_33openalex-snapshot
Autonomous Units for Communication-based Dynamic Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-540-79709-8_39openalex-snapshot
A Unified Categorical Approach for Attributed Graph Rewriting
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_19openalex-snapshot
Attributed Graph Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_25openalex-snapshot
Pullback Grammars Are Context-Free
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1-31openalex-snapshot
Recursive graph pattern matching: (With magic sets and global search plans)
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_12openalex-snapshot
Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture
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_15openalex-snapshot
Shaped Generic Graph Transformation
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_31openalex-snapshot
Recursive Graph Pattern Matching
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_45openalex-snapshot
Introducing the VMTS Mobile Toolkit
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_5openalex-snapshot
Modelling of Longitudinal Information Systems with Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-01284-6_14openalex-snapshot
Graph-Rewriting Automata as a Natural Extension of Cellular Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-01284-6_15openalex-snapshot
Generative Network Automata: A Generalized Framework for Modeling Adaptive Network Dynamics Using Graph Rewritings
inferred← citeshttps://doi.org/10.1007/978-3-642-02345-3_47openalex-snapshot
Using Graph Transformations in Distributed Adaptive Design System
inferred← citeshttps://doi.org/10.1007/978-3-642-02351-4_2openalex-snapshot
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02818-2_15openalex-snapshot
Feature-Based Engineering of Compensations in Web Service Environment
showing the first 200 of 678 · page through all 678
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.