Symbolic coloured SCC decomposition
From MaRDI portal
Publication:2233494
DOI10.1007/978-3-030-72013-1_4zbMath1474.68210OpenAlexW3137726760MaRDI QIDQ2233494
Nikola Beneš, Samuel Pastva, David Šafránek, Luboš Brim
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-72013-1_4
Symbolic computation and algebraic computation (68W30) Graph theory (including graph drawing) in computer science (68R10) Coloring of graphs and hypergraphs (05C15) Graph algorithms (graph-theoretic aspects) (05C85) Systems biology, networks (92C42)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
- Monochromatic and heterochromatic subgraphs in edge-colored graphs - A survey
- Depth-first search is inherently sequential
- A strong-connectivity algorithm and its applications in data flow analysis
- Symbolic model checking: \(10^{20}\) states and beyond
- I/O- and CPU-optimal recognition of strongly connected components
- Hamiltonian circuits determining the order of chromosomes
- Alternating cycles and paths in edge-coloured multigraphs: A survey
- Logical analysis of the budding yeast cell cycle
- Model checking the evolution of gene regulatory networks
- AEON: attractor bifurcation analysis of parametrised Boolean networks
- Symbolic graphs: Linear solutions to connectivity related problems
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Monochromatic components in edge-colored complete uniform hypergraphs
- Distributed Algorithms for SCC Decomposition
- Complete graphs with no rainbow path
- Graph-Based Algorithms for Boolean Function Manipulation
- Detecting Attractors in Biological Models with Uncertain Parameters
- Model Checking of Biological Systems
- Paths and Trails in Edge-Colored Graphs
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Depth-First Search and Linear Graph Algorithms
- Computational Methods in Systems Biology
- Multicolored trees in complete graphs
This page was built for publication: Symbolic coloured SCC decomposition
