yusuke1997/dblp-id-title huggingface dataset:
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs
Hypergraph systems generating graph languages
Formalisation, Abstraction and Refinement of Bond Graphs
Map OL systems with markers
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Generation of 3-dimensional plant bodies by double wall map and stereomap systems
Space-filling curves and infinite graphs
Constructive Specifications of Abstract Data Types by Replacements
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
Hyperedge Replacement, Graph Grammars
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
A Model for Distribution and Revocation of Certificates
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Cellular Graph Automata
Parallel Generation of Maps: Developmental Systems for Cell Layers
Derivations in Object-Oriented Graph Grammars
Parameterized Verification and Model Checking for Distributed Broadcast Protocols
On context-free gragh languages generated by edge replacement
Fusion Grammars: A Novel Approach to the Generation of Graph Languages
Specifying Concurrent Languages and Systems with ???-Grammars
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars
ICGT 2010 Doctoral Symposium
Construction of Integrity Preserving Triple Graph Grammars
Satisfiability of High-Level Conditions
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework
Mobile Agents Implementing Local Computations in Graphs
Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978
Transformation Language Design: A Metamodelling Foundation
Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems
Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls
Modelling of Biological Structures
Multi-Amalgamation in Adhesive Categories
Physically-Based Graphical Interpretation of Marker Cellwork L-Systems
Borrowed Contexts for Attributed Graphs
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs
Conflict Detection for Model Versioning Based on Graph Modifications
An introduction to parallel map generating systems
Unfolding Graph Grammars with Negative Application Conditions
Structured Transformations and Computation Graphs for Actor Grammars
Abstracting Complex Data Structures by Hyperedge Replacement
Is parallelism already concurrency? Part 1: Derivations in graph grammars
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars
Chain code picture languages
Relationships Between Graph Grammars and the Design and Analysis of Concurrent Software
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars
Graph Multiset Transformation as a Framework for Massively Parallel Computation
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
General Solution to a System of Recursive Equations
Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
Specifying Graph Languages with Type Graphs
Compiling Graph Programs to C
Collage Grammars
Model Checking Reconfigurable Petri Nets with Maude
String Generating Hypergraph Grammars with Word Order Restrictions
On Pushouts of Partial Maps
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation
Causal Graph Dynamics and Kan Extensions
Can I Teach Graph Rewriting to My Chatbot?
Development of Correct Graph Transformation Systems
Abstract Semantics by Observable Contexts
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
Algorithms for the generation and drawing of maps representing cell clones
Graph Grammars as a generative tool in image understanding
Workshop TERMGRAPH 2004
Tutorial on DNA Computing and Graph Transformation
Granularity of Conflicts and Dependencies in Graph Transformation Systems
Decidability of Resilience for Well-Structured Graph Transformation Systems
GraCAD - Graph-Based Tool for Conceptual Design
Summary of the Workshop on Natural Computing and Graph Transformations
Automata on Directed Graphs: Edge Versus Vertex Marking
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Verification of Graph Transformation Systems with Context-Free Specifications
Probabilistic Graph Transformation Systems
Hierarchical Vertex Ordering
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations
Node Replacement Graph Grammars
Relating DNA Computing and Splitting/Fusion Grammars
DPO Transformation with Open Maps
Graph Grammar Engineering: A Software Specification Method
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
Extension and Restriction of Derivations in Adhesive Categories
Graph Transformation for the Semantic Web: Queries and Inference Rules
15 Years of Triple Graph Grammars
k-Inductive Invariant Checking for Graph Transformation Systems
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations
ADA-Concurrency specified by Graph Grammars
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Transformation-Based Operationalization of Graph Languages
A Graph Grammar that Describes the Set of Two-Dimensional Surface Networks
A Note on Hyperedge Replacement
Graph Transformation Units Guided by a SAT Solver
A graph-relational approach to geographic databases
Categories of Differentiable Polynomial Circuits for Machine Learning
Declarative Mesh Subdivision Using Topological Rewriting in MGS
Verifying Graph Programs with Monadic Second-Order Logic
Incorrectness Logic for Graph Programs
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
Adaptive Star Grammars for Graph Models
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts
Decomposing Graphs with Symmetries
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings
Canonical Derivations with Negative Application Conditions
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Decomposition of Graph Grammar Productions and Derivations
Parsing String Generating Hypergraph Grammars
Usefulness of Graph Grammars in Applications
Workshop on Logic, Graph Transformations and Discrete Structures
Parallelism in AGREE Transformations
Aspects of concurrency in graph grammars
Completeness-Driven Development
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars
On Switching to H-Free Graphs
GrGen: A Fast SPO-Based Graph Rewriting Tool
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
Two-Dimensional, Differential, Intercalary Plant Tissue Growth and Parallel Graph Generating and Graph Recurrence Systems
Graph Grammars for Knowledge Representation
New Algorithms and Applications of Cyclic Reference Counting
A Component Concept for Typed Graphs with Inheritance and Containment Structures
GraphEd: An Interactive Tool For Developing Graph Grammars
Composition of Relations in Enterprise Architecture Models
Constraints and Application Conditions: From Graphs to High-Level Structures
Termination of Graph Transformation Systems Using Weighted Subgraph Counting
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach
Granular Conflict Analysis for Transformation Rules with Application Conditions
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
From Core OCL Invariants to Nested Graph Constraints
Transforming Specification Architectures by GenGED
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
Knowledge Representation and Update in Hierarchies of Graphs
A Categorical Semantics for Guarded Petri Nets
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction
Tableau-Based Reasoning for Graph Properties
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars
Graph Transactions as Processes
A Formal Semantics of UML Statecharts by Model Transition Systems
Towards the Verification of Attributed Graph Transformation Systems
Locally Star Sluing Formulas for a Class of Parallel Graph Grammars
On Partially Ordered Graph Grammars
Two-level expression representation for faster evaluation
Towards a Two Layered Verification Approach for Compiled Graph Transformation
A Perspective on Graphs and Access Control Models
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment
Abstraction and Control for Shapely Nested Graph Transformation
Definitional Mechanisms for Conceptual Graphs
Workshop on Logic, Graph Transformations, Finite and Infinite Structures
Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
Graph Transformation for Topology Modelling
Restricting the complexity of regular DNLC languages
Panel discussion: The use of graph grammars in applications
Apex Graph Grammars
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations
Recognizable Graph Languages for the Verification of Dynamic Systems
Parallel and Sequential Independence for Borrowed Contexts
The Term Generating Power of Context-Free Hypergraph Grammars
Linear Ordered Graph Grammars and Their Algebraic Foundations
Applications of L-systems to computer imagery
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings
Tree Automata, Tree Decomposition and Hyperedge Replacement
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
Specification and Verification of Modal Properties for Structured Systems
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models
Coupled Transformations of Shared Packed Parse Forests
Translating Java Code to Graph Transformation Systems
Coproduct Transformations on Lattices of Closed Partial Orders
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis
A Graph-Based Design Framework for Services
Graphs of Processors
From Graph Grammars to High Level Replacement Systems
Recognizing Rooted Context-free Flowgraph Languages in Polynomial Time
A Dynamic Logic for Termgraph Rewriting
Model Checking Graph Transformations: A Comparison of Two Approaches
Towards Graph Programs for Graph Algorithms
Pattern-Based Graph Abstraction
A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal
Usefulness and Visibility of Graph Grammars
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization
A Pumping Lemma for Context-Free Graph Languages
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Graph Rewriting and Relabeling with PBPO +
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004
Graph Grammars which are Suitable for Applications
May we introduce to you: hyperedge replacement
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules
Explicit versus Implicit Parallel Rewriting on Graphs
Nested Quantification in Graph Transformation Rules
On the Operationalization of Graph Queries with Generalized Discrimination Networks
Fuzzy Presheaves are Quasitoposes
AGREE - Algebraic Graph Rewriting with Controlled Embedding
Confluence of Typed Attributed Graph Transformation Systems
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
2-Structures - A Framework For Decomposition And Transformation Of Graphs
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
Pattern-Based Model-to-Model Transformation
High-Level Programs and Program Conditions
A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
Interval Probabilistic Timed Graph Transformation Systems
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
Probabilistic Timed Graph Transformation Systems
GrapePress - A Computational Notebook for Graph Transformations
Software specification by graph grammars
Cycle Chain Code Picture Languages
Transformation: The Missing Link of MDA
Matrix Approach to Graph Transformation: Matching and Sequences
A Bigraphs Paper of Sorts
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
Concurrency Theorems for Non-linear Rewriting Theories
On the Use of Alloy to Analyze Graph Transformation Systems
Specification of data bases through rewriting rules
Graph Transformation in Constant Time
A Linguistic Formalism for Engineering Solid Modeling
Hybrid Search Plan Generation for Generalized Graph Pattern Matching
Resolution-Like Theorem Proving for High-Level Conditions
From Separation Logic to Hyperedge Replacement and Back
Equational Reasoning with Context-Free Families of String Diagrams
Layout Graph Grammars: The Placement Approach
Deriving Delay-Robust Timed Graph Transformation System Models
On Correctness of Graph Programs Relative to Recursively Nested Conditions
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints
Attribution of Graphs by Composition of M, N-adhesive Categories
Computing with Graph Relabelling Systems with Priorities
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors
Embedding in Switching Classes with Skew Gains
Delaying Constraint Solving in Symbolic Graph Transformation
Graph Grammars and Logic Programming
Weakest Preconditions for High-Level Programs
The Pullback-Pushout Approach to Algebraic Graph Transformation
Linear-Time Graph Programs for Unbounded-Degree Graphs
Graph-Reducible Term Rewriting Systems
Specifying and Checking Graph Properties with Alternating Graph Automata
Sesqui-Pushout Rewriting
Probabilistic Graph Programs for Randomised and Evolutionary Algorithms
Graph Formulas and Their Translation to Alternating Graph Automata
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems
Single Pushout Rewriting in Comprehensive Systems
LTS Semantics for Process Calculi from Their Graphical Encodings
Introductory Tutorial on Foundations and Applications of Graph Transformation
Transformations of Data Base Structures
On the Recognizability of Arrow and Graph Languages
Graph transductions in the field of automatic translation of natural languages
Complexity of Pattern Generation by Map-L-Systems
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Graph-Based Tools: The Contest
Improving Flow in Software Development Through Graphical Representations
Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002
Transformation of structures by convex homomorphisms
Autonomous Units and Their Semantics - The Sequential Case
Analysis of Programs by Reduction of Their Structure
Categorical Foundations of Distributed Graph Transformation
Formalising Behaviour Preserving Program Transformations
Tree graph grammars for pattern recognition
A Living Monograph for Graph Transformation
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Two-Level Graph Grammars
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Using Graph Transformation for Puzzle Game Level Generation and Validation
A Tutorial and Bibliographical Survey on Graph Grammars
On context-free sets of graphs and their monadic second-order theory
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
Double-wall Cellworks Systems for Plant Meristems
Global Graph Transformations
Supporting the Software Development Process with Attributed NLC Graph Grammars
Graph-Rewriting Petri Nets
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems
Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering
Map Grammars: Cycles and the Algebraic Approach
Termination Detection of Distributed Algorithms by Graph Relabelling Systems
Realizing Impure Functions in Interaction Nets
A False History of True Concurrency: From Petri to Tools
Chemical Graph Transformation with Stereo-Information
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
PLEXUS: Tools for Analyzing Graph Grammars
Call-by-Value lambda-Graph Rewriting Without Rewriting
Geometry versus topology in map grammars
Movement of Objects in Configuration Spaces modelled by graph Grammars
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Visual Smart Contracts for DAML
Graph Rewriting in Span-Categories
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle
Grammatical inference of graph grammars for syntactic pattern recognition
ICGT 2008 Doctoral Symposium
An introduction to the NLC way of rewriting graphs
A Software Development Environment based on Graph Technology
Graph Rewriting for User State-Based Dialogue Adaptation in Real-Time: An Application in Personalized Interview Training
Graph rewriting with unification and composition
Confluence up to Garbage
Initial Conflicts for Transformation Rules with Nested Application Conditions
Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine
Temporal Graph Queries to Support Software Evolution
Local Confluence for Rules with Nested Application Conditions
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles
Generalised Compositionality in Graph Transformation
Graph grammars with node-label controlled rewriting and embedding
Hypergraph Basic Categorial Grammars
Shortest Path Problems and Tree Grammars: An Algebraic Framework
The isomorphism problem is polynomially solvable for certain graph languages
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
Toposes Are Adhesive
Transformation and Refinement of Rigid Structures
Graph-Transformational Threat Modeling
Recognizing Edge Replacement Graph Languages in Cubic Time
Rosenfeld's cycle grammars and kolam
Applied Graph Transformation
Programmed Derivations of Relational Structures
Towards distributed graph grammars
Static Type Checking of Model Transformation Programs
Graph Transformation with Time: Causality and Logical Clocks
Computing by Graph Transformation: Overall Aims and New Results
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
On the Essence and Initiality of Conflicts
Election, Naming and Cellular Edge Local Computations
Attributed graph grammars for graphics
Parallel Rule Application with Doubling Avoidance
Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning
Using a Triple Graph Grammar for State Machine Implementations
Relabelling in Graph Transformation
Testing against Visual Contracts: Model-Based Coverage
Concepts for Specifying Complex Graph Transformation Systems
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Tutorial introduction to the algebraic approach of graph grammars
Graph Rewriting for Graph Neural Networks
Embedding and Confluence of Graph Transformations with Negative Application Conditions
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs
Map OL-systems with edge label control: Comparison of marker and cyclic systems
Parallelism and Concurrency of Stochastic Graph Transformations
Application of Graph Grammars to Rule-Based Systems
Characterization of graph classes by forbidden structures and reductions
Applying Graph Grammars to Software engineering
Graphs as Relational Structures: An Algebraic an Logical Approach
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL
The AUTOSAR Way of Model-Based Engineering of Automotive Systems
Attributed Graph Constraints
Model-Driven Development of Model Transformations
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
Reachability in Graph Transformation Systems and Slice Languages
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
Set theoretic approaches to graph grammars
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
Graph Grammars as a Modelling Tool in Developmental Biology
Application of Graph Grammars in Music Composing Systems
Combining Termination Criteria by Isolating Deletion
Parallel Independence in Hierarchical Graph Transformation
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars