Parallel Independence in Attributed Graph Rewriting

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.334.5 ◽

2021 ◽

Vol 334 ◽

pp. 62-77

Author(s):

Thierry Boy de la Tour

Keyword(s):

Graph Rewriting ◽

Attributed Graph

Download Full-text

A Unified Categorical Approach for Attributed Graph Rewriting

Computer Science – Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79709-8_39 ◽

2008 ◽

pp. 398-409 ◽

Cited By ~ 5

Author(s):

Maxime Rebout ◽

Louis Féraud ◽

Sergei Soloviev

Keyword(s):

Categorical Approach ◽

Graph Rewriting ◽

Attributed Graph

Download Full-text

Attributed Graph Rewriting for Complex Event Processing Self-Management

ACM Transactions on Autonomous and Adaptive Systems ◽

10.1145/2967499 ◽

2016 ◽

Vol 11 (3) ◽

pp. 1-39 ◽

Cited By ~ 3

Author(s):

Wilson A. Higashino ◽

Cédric Eichler ◽

Miriam A. M. Capretz ◽

Luiz F. Bittencourt ◽

Thierry Monteil

Keyword(s):

Complex Event Processing ◽

Self Management ◽

Event Processing ◽

Graph Rewriting ◽

Attributed Graph

Download Full-text

An Efficient Method for Attributed Graph Clustering

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.01704 ◽

2014 ◽

Vol 36 (8) ◽

pp. 1704-1713 ◽

Cited By ~ 1

Author(s):

Ye WU ◽

Zhi-Nong ZHONG ◽

Wei XIONG ◽

Luo CHEN ◽

Ning JING

Keyword(s):

Efficient Method ◽

Graph Clustering ◽

Attributed Graph

Download Full-text

Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3372885.3373831 ◽

2020 ◽

Cited By ~ 1

Author(s):

Christian Doczkal ◽

Damien Pous

Keyword(s):

Graph Isomorphism ◽

Graph Rewriting

Download Full-text

Automatically inferring technology compatibility with an ontology and graph rewriting rules

Journal of Engineering Design ◽

10.1080/09544828.2020.1860202 ◽

2020 ◽

pp. 1-25

Author(s):

M. N. Roelofs ◽

Roelof Vos

Keyword(s):

Graph Rewriting ◽

Rewriting Rules

Download Full-text

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) ◽

10.1109/vlhcc.2005.37 ◽

2005 ◽

Cited By ~ 5

Author(s):

H. Ehrig ◽

K. Ehrig ◽

U. Prange ◽

G. Taentzer

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Formal Integration

Download Full-text

An overlapped execution technique for graph rewriting rules

2010 International Joint Conference on Computational Cybernetics and Technical Informatics ◽

10.1109/icccyb.2010.5491279 ◽

2010 ◽

Author(s):

Tamas Meszaros ◽

Mark Asztalos ◽

Gergely Mezei

Keyword(s):

Graph Rewriting ◽

Rewriting Rules ◽

Execution Technique

Download Full-text

Distributed Aggregation-Based Attributed Graph Summarization for Summary-Based Approximate Attributed Graph Queries

Expert Systems with Applications ◽

10.1016/j.eswa.2021.114921 ◽

2021 ◽

pp. 114921

Author(s):

Shang Yang ◽

Zhipeng Yang ◽

Xiaona Chen ◽

Jingpeng Zhao ◽

Yinglong Ma

Keyword(s):

Attributed Graph ◽

Graph Queries ◽

Graph Summarization

Download Full-text

Insider Threat Detection Through Attributed Graph Clustering

2017 IEEE Trustcom/BigDataSE/ICESS ◽

10.1109/trustcom/bigdatase/icess.2017.227 ◽

2017 ◽

Cited By ~ 1

Author(s):

Anagi Gamachchi ◽

Serdar Boztas

Keyword(s):

Graph Clustering ◽

Insider Threat ◽

Threat Detection ◽

Attributed Graph

Download Full-text

Inequational Deduction as Term Graph Rewriting

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2002.09.004 ◽

2007 ◽

Vol 72 (1) ◽

pp. 31-44 ◽

Cited By ~ 1

Author(s):

Andrea Corradini ◽

Fabio Gadducci ◽

Wolfram Kahl ◽

Barbara König

Keyword(s):

Graph Rewriting

Download Full-text