Simulation relations for pattern matching in directed graphs
DOI10.1016/J.TCS.2013.03.021zbMATH Open1292.68135OpenAlexW2082035152MaRDI QIDQ388784FDOQ388784
Johanna Björklund, Lars-Daniel Öhman
Publication date: 7 January 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.03.021
Recommendations
- Strong simulation
- Tools and Algorithms for the Construction and Analysis of Systems
- Directed Graph Pattern Matching and Topological Embedding
- Constraint satisfaction algorithms for graph pattern matching
- Finding approximate patterns in undirected acyclic graphs
- Relational matching for graphical calculi of relations
- A graph theoretic approach to simulation and classification
- Hypo-matchings in directed graphs
- scientific article; zbMATH DE number 1161279
Pattern recognition, speech recognition (68T10) Analysis of algorithms and problem complexity (68Q25) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)
Cites Work
- A note on two problems in connexion with graphs
- Statistical analysis of network data. Methods and models
- An Algorithm for Subgraph Isomorphism
- Fibonacci heaps and their uses in improved network optimization algorithms
- Equational Axioms for Probabilistic Bisimilarity
- Three Partition Refinement Algorithms
- A survey on tree edit distance and related problems
- Bisimulation relations for weighted automata
- Term Rewriting and All That
- Ordered and Unordered Tree Inclusion
- Understanding the Complexity of Induced Subgraph Isomorphisms
- A Backward and a Forward Simulation for Weighted Tree Automata
- More Efficient Algorithm for Ordered Tree Inclusion
- Recognizing small subgraphs
- Weighted Tree Automata and Tree Transducers
- Computing Simulations over Tree Automata
- Iteration 2-theories
- Finding approximate patterns in undirected acyclic graphs
Cited In (2)
This page was built for publication: Simulation relations for pattern matching in directed graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q388784)
