Symbolic reachability graph and partial symmetries (original) (raw)
Related papers
Extremal problems for directed graphs
Journal of Combinatorial Theory, Series B, 1973
Symbolic domains and reachability for nets with trajectories
2022
Feasibility Conditions on the Parameters of a Strongly Regular Graph
Electronic Notes in Discrete Mathematics, 2011
On Graph Problems in a Semi-streaming Model
Lecture Notes in Computer Science, 2004
Join-Reachability Problems in Directed Graphs
Theory of Computing Systems, 2013
Solutions of some 2-distance graph equations
AIP Conference Proceedings, 2019
A faceted approach to reachability analysis of graph modelled collections
International Journal of Multimedia Information Retrieval, 2017
Graph Distances in the Data-Stream Model
SIAM Journal on Computing, 2009
Stronger reconstruction of distance-hereditary graphs
Işık University Press, 2021
Results and open problems in matchings in regular graphs
arXiv (Cornell University), 2011
Solutions of Detour Distance Graph Equations
Sensors, 2022
Constrained Shortest Path and Hierarchical Structures
arXiv (Cornell University), 2022
Components of geometric analogy solution
Cognitive Psychology, 1980
Partial confluence and closed subsets of a graph
Topology and its Applications, 1993
A Note on Interaction and Incompleteness
Logic Journal of IGPL, 2003
Revisiting the vertex cover of graphs
Applied Mathematical Sciences, 2015
Eliminating spurious transitions in reachability with support functions
2015
SignGram Blueprint, 2017
Fundamentals of Relational Complexity Theory
Proceedings of the 52nd Annual Meeting of the Isss 2008 Madison Wisconsin, 2008
GraphTool - a new system of graph generation
2013
Object Oriented Condensed Graphs
Scalable Computing: Practice and Experience, 2001
Universal Routing in Distributed Networks
11th International Conference on Parallel and Distributed Systems (ICPADS'05)
Steiner distance stable graphs
Discrete Mathematics, 1994
The Reflexive H-Strength on Some Graphs
Cauchy, 2024
Relational Science: A Synthesis
Axiomathes, 2011
The Theory of Connections - Connecting Points
Optimal Control of intervention for Lymphatic Filariasis Disease Incorporating Resistant Strains , 2024
2-SIZE Resolvability in Graphs
Master's thesis, August, 2004
Admissibility conditions and asymptotic behavior of strongly regular graphs
… of the 2011 international conference on …, 2011
Ensuring Reachability by Design
Lecture Notes in Computer Science, 2012
Obligate mutualistic cooperation limits evolvability
bioRxiv (Cold Spring Harbor Laboratory), 2020
Testing Expansion in Bounded-Degree Graphs
2007
Required Behavior of Sequence Diagrams: Semantics and Refinement
2011
Primary natural relationship: Bateson, Rosen, and the Vedas
Kybernetes, 2007