Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372MaRDI QIDQ5899072zbMATH OpenOpenAlexFDO

Authors Oleg Sokolsky, Sampath Kannan, Insup Lee

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2089760
• Computing bisimulation-based comparisons
• A similarity measure for graphs with low computational complexity
• Two approaches to determining similarity of two digraphs
• Distance patterns in structural similarity

Cited in

(12)

• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• Limited approximate bisimulations and the corresponding rough approximations
• scientific article; zbMATH DE number 2089760 (Why is no real title available?)
• Fifty years of graph matching, network alignment and network comparison
• A similarity measure for graphs with low computational complexity
• A graph theoretic approach to simulation and classification
• Similarity in languages and programs
• Computing bisimulation-based comparisons
• Simulation relations for pattern matching in directed graphs
• A comparative analysis of the Tanimoto index and graph edit distance for measuring the topological similarity of trees
• Sim2vec: node similarity preserving network embedding
• Inductive Logic Programming

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899072)