On the public citation graph
Space efficient reachability analysis through use of pseudo-root states
0 signed · 27 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380180203openalex-snapshot
An improved protocol reachability analysis technique
inferredcites →https://doi.org/10.1007/3-540-55179-4_19openalex-snapshot
Bounded-memory algorithms for verification on-the-fly
inferredcites →https://doi.org/10.1007/3-540-56496-9_15openalex-snapshot
State space caching revisited
inferredcites →https://doi.org/10.1007/3-540-56922-7_33openalex-snapshot
On-the-fly verification with stubborn sets
inferredcites →https://doi.org/10.1007/3-540-58179-0_69openalex-snapshot
Combining partial order reductions with on-the-fly model-checking
inferredcites →https://doi.org/10.1007/3-540-60761-7openalex-snapshot
Partial-Order Methods for the Verification of Concurrent Systems
inferredcites →https://doi.org/10.1007/3-540-61474-5_81openalex-snapshot
Saving space by fully exploiting invisible transitions
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1023/a:1008775109219openalex-snapshot
Saving Space by Fully Exploiting Invisible Transitions
inferredcites →https://doi.org/10.1109/43.275352openalex-snapshot
Symbolic model checking for sequential circuit verification
inferredcites →https://doi.org/10.1109/icapp.1996.562859openalex-snapshot
ARC-a tool for efficient refinement and equivalence checking for CSP
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tse.1987.233206openalex-snapshot
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
inferredcites →https://doi.org/10.1145/136035.136043openalex-snapshot
Symbolic Boolean manipulation with ordered binary-decision diagrams
inferredcites →https://doi.org/10.1145/356850.356854openalex-snapshot
Garbage Collection of Linked Data Structures
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11537328_7openalex-snapshot
Memory Efficient State Space Storage in Explicit Software Model Checking
inferred← citeshttps://doi.org/10.1007/11576280_12openalex-snapshot
Sweep-Line Analysis of TCP Connection Management
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_31openalex-snapshot
A Sweep-Line Method for State Space Exploration
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_31openalex-snapshot
A Generalised Sweep-Line Method for Safety Properties
inferred← citeshttps://doi.org/10.1007/978-3-540-24732-6_3openalex-snapshot
State Caching Reconsidered
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_19openalex-snapshot
Efficient Path Finding with the Sweep-Line Method Using External Storage
inferred← citeshttps://doi.org/10.1007/978-3-540-85114-1_13openalex-snapshot
Layered Duplicate Detection in External-Memory Model Checking
inferred← citeshttps://doi.org/10.1007/bfb0054187openalex-snapshot
Automated verification of Szymanski's algorithm
inferred← citeshttps://doi.org/10.1007/s10009-007-0050-1openalex-snapshot
Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method
inferred← citeshttps://doi.org/10.7146/dpb.v35i579.7322openalex-snapshot
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.