Graph Transformation

.- Graphs, logics and transformations for effective risk analysis.

.- Theoretical Advances.

.- Linear-Time Graph Programs for Unbounded-Degree Graphs.

.- A Bigraph Paper of Sorts.

.- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.

.- Extension and Restriction of Derivations in Adhesive Categories.

.- Causal Graph Dynamics and Kan Extensions.

.- Application Domains.

.- The 'Causality' Quagmire for Formalised Bond Graphs.

.- Localized RETE for Incremental Graph Queries.

.- Using application conditions to rank graph transformations for graph repair.

.- Deriving Delay-Robust Timed Graph Transformation System Models.

.- Taint Analysis for Graph APIs Focusing on Broken Access Control.

.- Tool and Blue Skies Presentations.

.- Checking Transaction Isolation Violations with Graph Queries.

.- Can I teach graph rewriting to my chatbot?.

.- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• A matemática discreta
• Matemática para cientistas da computação
• Algoritmos e estruturas de dados
• Teoria da informação
• Compiladores
• Teoria matemática da computação

artificial intelligence;Computer Science;artificial intelligence;computer programming;computer programming;computer systems; graph transformation;computer systems;directed graphs;graph transformation;distributed computer systems;graph theory;graphic methods;mathematical transformations;object-oriented programming;Petri nets;programming languages;software architecture;software design;software engineering