Programmed attributed graph rewrite systems — An advanced modelling formalism

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

CoCo 2019: report on the eighth confluence competition

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-021-00620-4 ◽

2021 ◽

Author(s):

Aart Middeldorp ◽

Julian Nagele ◽

Kiraku Shintani

Keyword(s):

Software Tools ◽

Rewrite Systems

AbstractWe report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems

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

10.1145/3437992.3439918 ◽

2021 ◽

Author(s):

Alexander Lochmann ◽

Aart Middeldorp ◽

Fabian Mitterwallner ◽

Bertram Felgenhauer

Keyword(s):

Decision Procedure ◽

Order Theory ◽

Rewrite Systems ◽

First Order ◽

First Order Theory

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

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

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

TERMINATION OF ABSTRACT REDUCTION SYSTEMS

International Journal of Foundations of Computer Science ◽

10.1142/s0129054109006450 ◽

2009 ◽

Vol 20 (01) ◽

pp. 57-82

Author(s):

JEREMY E. DAWSON ◽

RAJEEV GORÉ

Keyword(s):

General Theorem ◽

Combinatory Logic ◽

Rewrite Systems ◽

Path Ordering

We present a general theorem capturing conditions required for the termination of abstract reduction systems. We show that our theorem generalises another similar general theorem about termination of such systems. We apply our theorem to give interesting proofs of termination for typed combinatory logic. Thus, our method can handle most path-orderings in the literature as well as the reducibility method typically used for typed combinators. Finally we show how our theorem can be used to prove termination for incrementally defined rewrite systems, including an incremental general path ordering. All proofs have been formally machine-checked in Isabelle/HOL.

A Novel Link Prediction Algorithm for Protein-Protein Interaction Networks by Attributed Graph Embedding

Computers in Biology and Medicine ◽

10.1016/j.compbiomed.2021.104772 ◽

2021 ◽

pp. 104772

Author(s):

Elahe Nasiri ◽

Kamal Berahmand ◽

Mehrdad Rostami ◽

Mohammad Dabiri

Keyword(s):

Protein Interaction ◽

Link Prediction ◽

Graph Embedding ◽

Protein Interaction Networks ◽

Interaction Networks ◽

Prediction Algorithm ◽

Protein Protein Interaction ◽

Attributed Graph ◽

Protein Protein Interaction Networks

Searching Target Communities with Outliers in attributed graph

Knowledge-Based Systems ◽

10.1016/j.knosys.2021.107622 ◽

2021 ◽

pp. 107622

Author(s):

Qingqing Li ◽

Huifang Ma ◽

Ju Li ◽

Zhixin Li ◽

Yanbing Jiang

Keyword(s):

Attributed Graph

О системах переписывания процессов высокого уровня

10.26456/mfcsics-21-4 ◽

2021 ◽

Author(s):

Ирина Александровна Ломазова

Keyword(s):

Rewrite Systems

Системы переписывания процессов (Process Rewrite Systems - PRS) Ричарда Майра представляют собой систему переписывания термов специального вида и задают унифицированное представление для конечных и магазинных автоматов, сетей Петри и некоторых классов алгебр процессов. В докладе рассматривается (P,P)-подкласс систем переписывания процессов, соответствующий классическим сетям Петри, и его расширение HPRS для моделирования систем с динамической структурой. Обсуждаются вопросы выразительности и разрешимости.